Search Results for author:
Found 5 papers, 1 papers with code
Scalable Computation of Optimized Queries for Sequential Diagnosis
During query computation, existing sequential diagnosis methods often require the generation of many unnecessary query candidates and strongly rely on expensive logical reasoners.
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
In this paper the combination of ASP and domain-specific heuristics is studied with the goal of effectively solving real-world problem instances of PUP and CCP.
OOASP: Connecting Object-oriented and Logic Programming
Modeling phases -- during which software engineers analyze requirements to the future system using some modeling language -- are an important part of the development process, since modeling errors are often hard to recognize and correct.
Interactive Debugging of ASP Programs
That is, the query an answer of which reduces the overall number of queries required for the identification of a preferred explanation.
Interactive ontology debugging: two query strategies for efficient fault localization
The latter allows knowledge about typical user errors to be exploited to minimize the number of queries.
