Picture for Gerhard Friedrich

Gerhard Friedrich

Universität Klagenfurt

Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming

Add code
Sep 19, 2022
Figure 1 for Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Figure 2 for Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Figure 3 for Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Figure 4 for Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Viaarxiv icon

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Add code
Sep 19, 2020
Viaarxiv icon

Advancing Lazy-Grounding ASP Solving Techniques -- Restarts, Phase Saving, Heuristics, and More

Add code
Aug 08, 2020
Viaarxiv icon

Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints

Add code
Aug 07, 2020
Figure 1 for Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
Figure 2 for Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
Figure 3 for Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
Figure 4 for Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
Viaarxiv icon

Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP

Add code
Sep 18, 2019
Figure 1 for Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
Viaarxiv icon

Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving

Add code
Mar 29, 2019
Figure 1 for Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
Figure 2 for Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
Figure 3 for Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
Figure 4 for Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
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

The Partner Units Configuration Problem: Completing the Picture

Add code
Oct 17, 2013
Figure 1 for The Partner Units Configuration Problem: Completing the Picture
Figure 2 for The Partner Units Configuration Problem: Completing the Picture
Figure 3 for The Partner Units Configuration Problem: Completing the Picture
Figure 4 for The Partner Units Configuration Problem: Completing the Picture
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