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....
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
Universität Potsdam
2010
|
| Subjects: | |
| Online Access: | http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41466 http://opus.kobv.de/ubp/volltexte/2010/4146/ |