Extending and Implementing RASP

DOI10.3233/FI-2010-356MaRDI QIDQ3084978zbMATH OpenOpenAlexFDO

Authors Stefania Costantini, Andrea Formisano, Davide Petturiti

Publication date 28 March 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2010-356

zbMATH Keywords

answer set programminglanguage extensionspreferencesquantitative reasoning

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Extending R
• Strong equivalence of RASP programs
• Functional Extension of the RSDS System
• The External Interface for Extending WASP
• Extensor-coding

Cited in

(9)

• An epistemic logic for multi-agent systems with budget and costs
• Extending R
• Strong equivalence of RASP programs
• Weight constraints with preferences in ASP
• Modeling preferences on resource consumption and production in ASP
• Modeling preferences and conditional preferences on resource consumption and production in ASP
• RASP and ASP as a fragment of linear logic
• The External Interface for Extending WASP
• Logic programming

This page was built for publication: Extending and Implementing RASP

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