Sarah Alice Gaggl

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

2015 · arXiv (Cornell University)

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 advantageous alternative to its classical semantics. We show …

On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics

2021 · Journal of Artificial Intelligence Research

Abstract dialectical frameworks (ADFs) are a recently introduced powerful generalization of Dung’s popular abstract argumentation frameworks (AFs). Inspired by similar work for AFs, we introduce a decomposition scheme for ADFs, which proceeds along the ADF’s …

Winning Snake: Design Choices in Multi-Shot ASP

2024 · arXiv (Cornell University)

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 multiple applications in science and industry. The constant development of …