Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice
Brain, M. and De Vos, M., 2003. Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. In: Marina~De, V. and Alessandro, P., eds. 2nd International Workshop on Answer Set Programming Advances in Theory and Implementation, ASP 2003, 2003-09-26 - 2003-09-28, Messina.
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
Ordered Choice Logic Programming (OCLP) allows for preference-based 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.
|Item Type||Conference or Workshop Items (Paper)|
|Creators||Brain, M.and De Vos, M.|
|Editors||Marina~De, V.and Alessandro, P.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)