Extern
Refine
Has Fulltext
- yes (122) (remove)
Document Type
- Conference Proceeding (122) (remove)
Language
- English (122) (remove)
Keywords
- Bildung (1)
- Computer Science Education (1)
- Constraint Solving (1)
- Deduction (1)
- ICT (1)
- ISSEP (1)
- Informatics (1)
- Informatics Education (1)
- Informatik (1)
- Informatikdidaktik (1)
- Key Competencies (1)
- Logic Programming (1)
- Logics (1)
- Massenverlust (1)
- Optimization (1)
- Planing (1)
- Prolog (1)
- Schlüsselkompetenzen (1)
- Sternwinde (1)
- Strahlungstransport (1)
- XM (1)
- bottom–up (1)
- built–in predicates (1)
- complexity (1)
- deductive databases (1)
- education (1)
- extensions of logic programs (1)
- forward / backward chaining (1)
- function symbols (1)
- generalized logic programs (1)
- hydrodynamic modeling (1)
- hydrodynamische Modellierung (1)
- knowledge representation (1)
- mass loss (1)
- massereiche Sterne (1)
- massive stars (1)
- micro- and nanotechnologies (1)
- multi-valued logic (1)
- nonlinear dynamics (1)
- paraconsistency (1)
- radiative transfer (1)
- self-organization (1)
- semantics (1)
- stellar winds (1)
- stratification (1)
- top– down (1)
Institute
- Extern (122)
- Interdisziplinäres Zentrum für Musterdynamik und Angewandte Fernerkundung (8)
- Institut für Physik und Astronomie (4)
- Institut für Geowissenschaften (3)
- Institut für Informatik und Computational Science (3)
- Institut für Biochemie und Biologie (2)
- Institut für Umweltwissenschaften und Geographie (1)
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.