5 papers · 1 filter
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…
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…