Answer Set Programming with Resources

DOI10.1093/LOGCOM/EXP071MaRDI QIDQ3553920zbMATH OpenOpenAlexFDO

Authors Stefania Costantini, Andrea Formisano

Publication date 21 April 2010

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exp071

zbMATH Keywords

answer set programminglanguage extensionsnon-monotonic logic programmingquantitative reasoning

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Answer set programming
• Answer set programming
• Answer set programming with external sources
• Answer Set Programming: A Primer
• Answer set programming with external source access
• Answer Set Programming: A Declarative Approach to Solving Search Problems
• Answer set programming based on propositional satisfiability

Cited in

(11)

• An epistemic logic for multi-agent systems with budget and costs
• Negation as a resource: a novel view on answer set semantics
• Strong equivalence of RASP programs
• Modeling preferences on resource consumption and production in ASP
• Negation as a resource: a novel view on answer set semantics
• Shift Design with Answer Set Programming
• Modeling preferences and conditional preferences on resource consumption and production in ASP
• RASP and ASP as a fragment of linear logic
• Query answering in resource-based answer set semantics
• scientific article; zbMATH DE number 7368413 (Why is no real title available?)
• Answer set programming made easy

This page was built for publication: Answer Set Programming with Resources

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