Eingang zum Volltext
Home | Suche | BrowsenURN: urn:nbn:de:kobv:517-opus-41466
URL: http://opus.kobv.de/ubp/volltexte/2010/4146/
Gebser, Martin ; Hinrichs, Henrik ; Schaub, Torsten ; Thiele, Sven
Gesellschaft für Logische Programmierung e.V.
xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP
| pdf-Format: |
|
Kurzfassung auf Englisch
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.
| RVK - Regensburger Verbundklassifikation | ST 304 | |
| Collection | Universität Potsdam / Tagungen / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Answer Set Programming | |
| Institut 1: | Institut für Informatik | |
| Institut 2: | Extern | |
| DDC-Sachgruppe: | Informatik | |
| Dokumentart: | c InProceedings (Aufsatz / Paper einer Konferenz etc.) | |
| Quelle: | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 51 - 58 | |
| Sprache: | Englisch | |
| Erstellungsjahr: | 2010 | |
| Publikationsdatum: | 04.03.2010 | |
| Lizenz: | Diese Nutzungsbedingung gilt nicht, wenn in den Metadaten eine modifizierende Lizenz genannt ist. Keine Nutzungslizenz vergeben - es gilt das deutsche Urheberrecht |
Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
| Ihr Kontakt für Fragen und
Anregungen: Universitätsbibliothek Potsdam |
 
|