Extending and Implementing RASP

DOI10.3233/FI-2010-356zbMath1211.68059OpenAlexW1821751192MaRDI QIDQ3084978

Andrea Formisano, Stefania Costantini, 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

preferencesanswer set programmingquantitative reasoninglanguage extensions

Mathematics Subject Classification ID

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

Related Items (3)

Strong Equivalence of RASP Programs ⋮ RASP and ASP as a fragment of linear logic ⋮ An epistemic logic for multi-agent systems with budget and costs

This page was built for publication: Extending and Implementing RASP