research
∙
12/14/2016
Scalable Computation of Optimized Queries for Sequential Diagnosis
In many model-based diagnosis applications it is impossible to provide s...
share
research
∙
08/02/2016
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Answer Set Programming (ASP) is a popular logic programming paradigm tha...
research
∙
08/12/2015
OOASP: Connecting Object-oriented and Logic Programming
Most of contemporary software systems are implemented using an object-or...
research
∙
03/20/2014
Interactive Debugging of ASP Programs
Broad application of answer set programming (ASP) for declarative 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
∙
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