Computing the acceptability semantics

DOI10.1007/3-540-59487-6_29zbMath1496.68325OpenAlexW1588413856MaRDI QIDQ5101465

Francesca Toni, Antonis C. Kakas

Publication date: 30 August 2022

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59487-6_29

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

An abstract, argumentation-theoretic approach to default reasoning, An abductive proof procedure for conditional logic programming, Dialectic proof procedures for assumption-based, admissible argumentation, Computing ideal sceptical argumentation

Cites Work

• A logical framework for default reasoning