Picture for Kostyantyn Shchekotykhin

Kostyantyn Shchekotykhin

Scalable Computation of Optimized Queries for Sequential Diagnosis

Add code
Dec 16, 2016
Figure 1 for Scalable Computation of Optimized Queries for Sequential Diagnosis
Figure 2 for Scalable Computation of Optimized Queries for Sequential Diagnosis
Viaarxiv icon

Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)

Add code
Aug 02, 2016
Figure 1 for Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Figure 2 for Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Figure 3 for Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Viaarxiv icon

OOASP: Connecting Object-oriented and Logic Programming

Add code
Aug 12, 2015
Figure 1 for OOASP: Connecting Object-oriented and Logic Programming
Figure 2 for OOASP: Connecting Object-oriented and Logic Programming
Figure 3 for OOASP: Connecting Object-oriented and Logic Programming
Figure 4 for OOASP: Connecting Object-oriented and Logic Programming
Viaarxiv icon

Interactive Debugging of ASP Programs

Add code
Oct 28, 2014
Figure 1 for Interactive Debugging of ASP Programs
Viaarxiv icon

Interactive ontology debugging: two query strategies for efficient fault localization

Add code
Apr 27, 2014
Figure 1 for Interactive ontology debugging: two query strategies for efficient fault localization
Figure 2 for Interactive ontology debugging: two query strategies for efficient fault localization
Figure 3 for Interactive ontology debugging: two query strategies for efficient fault localization
Figure 4 for Interactive ontology debugging: two query strategies for efficient fault localization
Viaarxiv icon

RIO: Minimizing User Interaction in Debugging of Knowledge Bases

Add code
Mar 06, 2013
Figure 1 for RIO: Minimizing User Interaction in Debugging of Knowledge Bases
Figure 2 for RIO: Minimizing User Interaction in Debugging of Knowledge Bases
Viaarxiv icon

RIO: Minimizing User Interaction in Ontology Debugging

Add code
Sep 17, 2012
Figure 1 for RIO: Minimizing User Interaction in Ontology Debugging
Figure 2 for RIO: Minimizing User Interaction in Ontology Debugging
Viaarxiv icon

Direct computation of diagnoses for ontology debugging

Add code
Sep 05, 2012
Figure 1 for Direct computation of diagnoses for ontology debugging
Figure 2 for Direct computation of diagnoses for ontology debugging
Figure 3 for Direct computation of diagnoses for ontology debugging
Figure 4 for Direct computation of diagnoses for ontology debugging
Viaarxiv icon

Query strategy for sequential ontology debugging

Add code
Jul 21, 2011
Figure 1 for Query strategy for sequential ontology debugging
Figure 2 for Query strategy for sequential ontology debugging
Figure 3 for Query strategy for sequential ontology debugging
Figure 4 for Query strategy for sequential ontology debugging
Viaarxiv icon