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
∙
09/19/2020
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the ...
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
∙
08/28/2013
The Partner Units Configuration Problem: Completing the Picture
The partner units problem (PUP) is an acknowledged hard benchmark proble...
research
∙
02/11/2013
RIO: Minimizing User Interaction in Debugging of Knowledge Bases
The best currently known interactive debugging systems rely upon some me...
research
∙
09/17/2012
RIO: Minimizing User Interaction in Ontology Debugging
Efficient ontology debugging is a cornerstone for many activities in the...
research
∙
09/05/2012
Direct computation of diagnoses for ontology debugging
Modern ontology debugging methods allow efficient identification and loc...
research
∙
09/01/2011
(Re)configuration based on model generation
Reconfiguration is an important activity for companies selling configura...
research
∙
07/20/2011
Interactive ontology debugging: two query strategies for efficient fault localization
Effective debugging of ontologies is an important prerequisite for their...
research
∙
04/29/2010
