Negation as a resource: a novel view on answer set semantics

DOI10.1007/978-3-642-40564-8_26MaRDI QIDQ2851258zbMATH OpenOpenAlexFDO

Authors Stefania Costantini, Andrea Formisano

Publication date 10 October 2013

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

Full work available at URL https://doi.org/10.1007/978-3-642-40564-8_26

zbMATH Keywords

answer set programminglinear logicdefault negation

Mathematics Subject Classification ID

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

Recommendations

• Negation as a resource: a novel view on answer set semantics
• Query answering in resource-based answer set semantics
• RASP and ASP as a fragment of linear logic
• Answer Set Programming: A Primer
• Answer Set Programming with Resources

Cited in

(5)

• RASP and ASP as a fragment of linear logic
• Evaluating epistemic negation in answer set programming
• Query answering in resource-based answer set semantics
• Negation as a resource: a novel view on answer set semantics
• scientific article; zbMATH DE number 7455722 (Why is no real title available?)

This page was built for publication: Negation as a resource: a novel view on answer set semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851258)