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 programmingquantitative reasoninglanguage extensionsnon-monotonic logic programming

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)

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

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)