Picture for Antonius Weinzierl

Antonius Weinzierl

Technische Universität Wien, Institut für Logic and Computation, KBS Group, and Aalto University, Department of Computer Science

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

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

Advancing Multi-Context Systems by Inconsistency Management

Add code
Jul 11, 2011
Viaarxiv icon