Strong equivalence of RASP programs

DOI10.1007/978-3-642-30743-0_11MaRDI QIDQ2900516zbMATH OpenOpenAlexFDO

Authors Stefania Costantini, Andrea Formisano, D. Pearce

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_11

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Extending and Implementing RASP
• Answer Set Programming with Resources
• RASP and ASP as a fragment of linear logic
• Modeling preferences on resource consumption and production in ASP
• scientific article; zbMATH DE number 2090116

Cites work

• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1453071 (Why is no real title available?)
• Answer Set Programming with Resources
• Extending and Implementing RASP
• Linear logic
• Modeling preferences and conditional preferences on resource consumption and production in ASP
• Strongly equivalent logic programs

Cited in

(3)

• RASP and ASP as a fragment of linear logic
• Modeling preferences on resource consumption and production in ASP
• Extending and Implementing RASP

This page was built for publication: Strong equivalence of RASP programs

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