A framework for Conditional Reasoning in Answer Set Programming
Artificial Intelligence
2026-01-08 v3 Logic in Computer Science
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.
Cite
@article{arxiv.2506.03997,
title = {A framework for Conditional Reasoning in Answer Set Programming},
author = {Mario Alviano and Laura Giordano and Daniele Theseider Dupré},
journal= {arXiv preprint arXiv:2506.03997},
year = {2026}
}
Comments
In Proceedings ICLP 2025, arXiv:2601.00047