research
∙
09/19/2022
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Domain-specific heuristics are an essential technique for solving combin...
share
research
∙
08/08/2020
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
Answer-Set Programming (ASP) is a powerful and expressive knowledge repr...
research
∙
08/07/2020
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
Generalising and re-using knowledge learned while solving one problem in...
research
∙
09/18/2019
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
Domain-specific heuristics are an important technique for solving combin...
research
∙
03/29/2019
Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
The traditional ground-and-solve approach to Answer Set Programming (ASP...
research
∙
07/11/2011