A framework for Conditional Reasoning in Answer Set Programming

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) to provide an interpretation of conditionals.

@article{alviano2025_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={ 2025 }
}