Negation as a Resource: a Novel View on Answer Set Semantics*

DOI10.3233/FI-2015-1255zbMath1352.68036OpenAlexW2190384259MaRDI QIDQ3187010

Andrea Formisano, Stefania Costantini

Publication date: 15 August 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2015-1255

zbMATH Keywords

autoepistemic logiclinear logicanswer set programmingdefault negation

Mathematics Subject Classification ID

Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (5)

Query answering in resource-based answer set semantics ⋮ About Epistemic Negation and World Views in Epistemic Logic Programs ⋮ Epistemic logic programs: a study of some properties ⋮ Unnamed Item ⋮ Adding Metalogic Features to Knowledge Representation Languages*

This page was built for publication: Negation as a Resource: a Novel View on Answer Set Semantics*