35 citations · 40 across the 8 of their papers we have counts for
10 papers
Grounding Rule-Based Argumentation Using Datalog
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch +2
ASPIC+ is one of the main general frameworks for rule-based argumentation for AI. Although first-order rules are commonly used in ASPIC+ examples, most existing approaches to reaso…
Winning Snake: Design Choices in Multi-Shot ASP
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Answer set programming is a well-understood and established problem-solving and knowledge representation paradigm. It has become more prominent amongst a wider audience due to its…
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Johannes K. Fichte, Sarah Alice Gaggl, Markus Hecher +1
Answer set programming (ASP) is a popular declarative programming paradigm with various applications. Programs can easily have many answer sets that cannot be enumerated in practic…
Proceedings 39th International Conference on Logic Programming
Enrico Pontelli, Stefania Costantini, Carmine Dodaro +7
This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 t…
Rushing and Strolling among Answer Sets -- Navigation Made Easy
Johannes K. Fichte, Sarah Alice Gaggl, Dominik Rusovac
Answer set programming (ASP) is a popular declarative programming paradigm with a wide range of applications in artificial intelligence. Oftentimes, when modeling an AI problem wit…
Design and Results of the Second International Competition on Computational Models of Argumentation
Sarah A. Gaggl, Thomas Linsbichler, Marco Maratea +1
Argumentation is a major topic in the study of Artificial Intelligence. Since the first edition in 2015, advancements in solving (abstract) argumentation frameworks are assessed in…
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass
This volume contains the papers presented at Arg-LPNMR 2016: First International Workshop on Argumentation in Logic Programming and Nonmonotonic Reasoning held on July 8-10, 2016 i…
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)
Sarah A. Gaggl, Matthias Thimm
This volume contains the thesis abstracts presented at the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'2016) held on September 8-12 in Pot…
Bound Your Models! How to Make OWL an ASP Modeling Language
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
To exploit the Web Ontology Language OWL as an answer set programming (ASP) language, we introduce the notion of bounded model semantics, as an intuitive and computationally advant…
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Wallner +1
Dung's famous abstract argumentation frameworks represent the core formalism for many problems and applications in the field of argumentation which significantly evolved within the…