A framework for Conditional Reasoning in Answer Set Programming

Electronic Proceedings in Theoretical Computer Science 2026 Open access

Read full text
Authors: Mario Alviano, Laura Giordano, Daniele Theseider Dupré
DOI: 10.4204/eptcs.439.13
Cited by: 0

Abstract

In this paper we introduce a Conditional Answer Set Programming framework (Conditional ASP) for the definition of conditional extensions of Answer Set Programming (ASP). The approach builds on a conditional logic with typicality, and on the combination of a conditional knowledge base with an ASP program, and allows for conditional reasoning over the answer sets of the program. The formalism relies on a multi-preferential semantics, and on the KLM preferential semantics, as a special case. Conditional entailment is encoded in ASP and a complexity upper-bound is provided.

Fields of Study & Subjects

Logic Reasoning and Knowledge Multi-Agent Systems and Negotiation Advanced Algebra and Logic

Publication details

Journal / source
Electronic Proceedings in Theoretical Computer Science
Volume
439
Pages
188–201
Publication date
8 January 2026
Language
EN