Henry Otunuya

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Propositional Logic

Answer Set Programming

Constraint Logic Programming

Top Venues

Publications

Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). ICLP Workshops (2023)