Sciweavers

Share
ASP
2003
Springer

Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice

11 years 12 months ago
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complete absence of negation does not weaken the language as both forms (classical and as-failure) can be intuitively simulated in the language. The semantics of the language is based on the preference between alternatives, yielding both a skeptical and a credulous approach. In this paper we discuss the theoretical basis for the implementation of an OCLP front-end for answer set solvers that can compute both semantics in an efficient manner. Both the basic algorithm and the proposed optimizations can be used in general and are not tailored towards any particular answer set solver.
Martin Brain, Marina De Vos
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where ASP
Authors Martin Brain, Marina De Vos
Comments (0)
books