Work

A framework for Conditional Reasoning in Answer Set Programming

Year: 2026

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.439.13

Authors: Mario Alviano, Laura Giordano, Daniele Theseider Dupré

Institutions: University of Calabria, Università degli Studi del Piemonte Orientale “Amedeo Avogadro”

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W4416131195

FWCI:

Cites:

Cited by:

Related to: