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. 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.
Volltext Dateien herunterladen
SHA-1:9c922a8594c427404505c8b8794405855f2429d4
Weitere Dienste
| Verfasserangaben: | Martin GebserORCiD, Henrik Hinrichs, Torsten H. SchaubORCiDGND, Sven Thiele |
|---|---|
| URN: | urn:nbn:de:kobv:517-opus-41466 |
| Publikationstyp: | Konferenzveröffentlichung |
| Sprache: | Englisch |
| Erscheinungsjahr: | 2010 |
| Veröffentlichende Institution: | Universität Potsdam |
| Beteiligte Körperschaft: | Gesellschaft für Logische Programmierung e.V. |
| Datum der Freischaltung: | 04.03.2010 |
| Quelle: | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 51 - 58 |
| RVK - Regensburger Verbundklassifikation: | ST 304 |
| Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
| Extern / Extern | |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Sammlung(en): | Universität Potsdam / Tagungsbände/Proceedings (nicht fortlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Answer Set Programming |
| Lizenz (Deutsch): |  Keine öffentliche Lizenz: Unter Urheberrechtsschutz |
