A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming

no code implementations • 13 Dec 2023 • Zeynep G. Saribatur, Stefan Woltran

Answer Set Programming (ASP) is a prominent rule-based language for knowledge representation and reasoning with roots in logic programming and non-monotonic reasoning.

Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems

no code implementations • 11 Sep 2019 • Thomas Eiter, Zeynep G. Saribatur, Peter Schüller

Humans are capable of abstracting away irrelevant details when studying problems.

Towards Abstraction in ASP with an Application on Reasoning about Agent Policies

no code implementations • 18 Sep 2018 • Zeynep G. Saribatur, Thomas Eiter

ASP programs are a convenient tool for problem solving, whereas with large problem instances the size of the state space can be prohibitive.

Reactive Policies with Planning for Action Languages

no code implementations • 31 Mar 2016 • Zeynep G. Saribatur, Thomas Eiter

We describe a representation in a high-level transition system for policies that express a reactive behavior for the agent.