xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP

xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP

We introduce a simple approach extending the input language of Answer Set Programming (ASP) systems by multi-valued propositions. Our approach is implemented as a (prototypical) preprocessor translating logic programs with multi-valued propositions into logic programs with Boolean propositions only....

Full description

Bibliographic Details
Main Authors: Gebser, Martin, Hinrichs, Henrik, Schaub, Torsten, Thiele, Sven
Other Authors: Gesellschaft für Logische Programmierung e.V.
Format: Others
Language:English
Published: Universität Potsdam 2010
Subjects:
Data processing Computer science
Online Access:http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41466
http://opus.kobv.de/ubp/volltexte/2010/4146/
Description
Summary:We introduce a simple approach extending the input language of Answer Set Programming (ASP) systems by multi-valued propositions. Our approach is implemented as a (prototypical) preprocessor translating logic programs with multi-valued propositions into logic programs with Boolean propositions only. Our translation is modular and heavily benefits from the expressive input language of ASP. The resulting approach, along with its implementation, allows for solving interesting constraint satisfaction problems in ASP, showing a good performance.

Similar Items