Strong Equivalence of RASP Programs

DOI10.1007/978-3-642-30743-0_11zbMath1357.68030OpenAlexW2111553163MaRDI QIDQ2900516

No author found.

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)

Related Items (1)

RASP and ASP as a fragment of linear logic

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Extending and Implementing RASP
• Answer Set Programming with Resources
• Modeling preferences and conditional preferences on resource consumption and production in ASP
• Strongly equivalent logic programs

This page was built for publication: Strong Equivalence of RASP Programs