Showing cs.AIShow all
2 papers · 1 filter
cs.AI2024
Reasoning about Study Regulations in Answer Set Programming
Susana Hahn, Cedric Martens, Amade Nemes +4
We are interested in automating reasoning with and about study regulations, catering to various stakeholders, ranging from administrators, over faculty, to students at different st…
cs.AI2024
Metric Temporal Equilibrium Logic over Timed Traces
Arvid Becker, Pedro Cabalar, MartÃn Diéguez +2
In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects…