Showing 2024 · cs.AIShow all
2 papers · 2 filters
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
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…