Knowledge Processing and Information Systems
Henry Chuks Otunuya

MSc Henry Chuks Otunuya

University of Potsdam
Institute of Computer Science
An der Bahn 2
D-14476 Potsdam

Campus Golm, Building 70, Room 02.27

Phone   +49-331-977-3097
Email  otunuya@uni-potsdam.de

Publications

2024

  1. Hahn, S., Martens, C., Nemes, A., Otunuya, H., Romero, J., Schaub, T., & Schellhorn, S. (2024). Reasoning about Study Regulations in Answer Set Programming. CoRR, abs/2408.04528. [pdf] [bib]
  2. Hahn, S., Schaub, T., Martens, C., Nemes, A., Otunuya, H., Romero, J., & Schellhorn, S. (2024). Reasoning About Study Regulations in Answer Set Programming. Theory Pract. Log. Program., 24(4), 790–804. [bib]

2023

  1. Hahn, S., Martens, C., Nemes, A., Otunuya, H., Romero, J., Schaub, T., & Schellhorn, S. (2023). Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). In ICLP Workshops (Vol. 3437). CEUR-WS.org. [pdf] [bib]