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.
Identifer | oai:union.ndltd.org:Potsdam/oai:kobv.de-opus-ubp:4146 |
Date | January 2010 |
Creators | Gebser, Martin, Hinrichs, Henrik, Schaub, Torsten, Thiele, Sven |
Contributors | Gesellschaft für Logische Programmierung e.V. |
Publisher | Universität Potsdam, Mathematisch-Naturwissenschaftliche Fakultät. Institut für Informatik, Extern. Extern |
Source Sets | Potsdam University |
Language | English |
Detected Language | English |
Type | InProceedings |
Format | application/pdf |
Source | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 51 - 58 |
Rights | http://opus.kobv.de/ubp/doku/urheberrecht.php |
Page generated in 0.0013 seconds