Peter Schüller — accepted AI-conference papers

2022

Abstraction for Non-Ground Answer Set Programs (Extended Abstract)

Zeynep G. Saribatur, Thomas Eiter, Peter Schüller

IJCAI 2022poster

Abstraction is a powerful technique that has not been considered much for nonmonotonic reasoning formalisms including Answer Set Programming (ASP), apart from related simplification methods. We introduce a notion for abstracting from the domain of an ASP program that shrinks the domain size and over…

Cited by 0 Source ↗PDF ↗Scholar ↗

2020

Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators

Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller

IJCAI 2020poster

Answer Set Programming (ASP) is a well-known formalism for Knowledge Representation and Reasoning, successfully employed to solve many AI problems, also thanks to the availability of efficient implementations. Traditionally, ASP systems are based on the ground&solve approach, where the grounding tra…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗