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

M Brain, M De Vos, Vos Marina~De (Editor), Provetti Alessandro (Editor)

Research output: Contribution to conferencePaper

1 Citation (SciVal)

Abstract

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.
Original languageEnglish
Pages224-238
Number of pages15
Publication statusPublished - 2003
Event2nd International Workshop on Answer Set Programming Advances in Theory and Implementation, ASP 2003 - Messina, Italy
Duration: 26 Sept 200328 Sept 2003

Conference

Conference2nd International Workshop on Answer Set Programming Advances in Theory and Implementation, ASP 2003
Country/TerritoryItaly
CityMessina
Period26/09/0328/09/03

Fingerprint

Dive into the research topics of 'Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice'. Together they form a unique fingerprint.

Cite this