Picture for Sarah Alice Gaggl

Sarah Alice Gaggl

Winning Snake: Design Choices in Multi-Shot ASP

Add code
Aug 15, 2024
Viaarxiv icon

IASCAR: Incremental Answer Set Counting by Anytime Refinement

Add code
Nov 13, 2023
Viaarxiv icon

Rushing and Strolling among Answer Sets -- Navigation Made Easy

Add code
Dec 14, 2021
Figure 1 for Rushing and Strolling among Answer Sets -- Navigation Made Easy
Figure 2 for Rushing and Strolling among Answer Sets -- Navigation Made Easy
Figure 3 for Rushing and Strolling among Answer Sets -- Navigation Made Easy
Viaarxiv icon

Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning

Add code
Nov 08, 2016
Figure 1 for Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning
Figure 2 for Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning
Figure 3 for Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning
Figure 4 for Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning
Viaarxiv icon

Bound Your Models! How to Make OWL an ASP Modeling Language

Add code
Nov 03, 2015
Figure 1 for Bound Your Models! How to Make OWL an ASP Modeling Language
Figure 2 for Bound Your Models! How to Make OWL an ASP Modeling Language
Figure 3 for Bound Your Models! How to Make OWL an ASP Modeling Language
Figure 4 for Bound Your Models! How to Make OWL an ASP Modeling Language
Viaarxiv icon

Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems

Add code
Aug 24, 2011
Figure 1 for Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Figure 2 for Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Figure 3 for Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Figure 4 for Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Viaarxiv icon