4 papers
Meta-Programming for Linear-time Temporal Answer Set Programming
Susana Hahn, Amadé Nemes, Javier Romero +1
The development of temporal extensions of Answer Set Programming (ASP) has led to the emergence of non-monotonic linear-time (TEL), dynamic (DEL), and metric (MEL) temporal equilib…
Event Calculus Meets Hybrid ASP
OndÅej VaÅ¡ÃÄek, JoaquÃn Arias, Jan Fiedor +5
Event Calculus (EC) implemented in answer set programming (ASP) has proven suitable for specifying requirements on safety-critical systems thanks to its elegant representation of b…
On the generalization of learned constraints for ASP solving in temporal domains
Javier Romero, Torsten Schaub, Klaus Strauch
The representation of a dynamic problem in ASP usually boils down to using copies of variables and constraints, one for each time stamp, no matter whether it is directly encoded or…
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…