Institut für Informatik und Computational Science
Filtern
Erscheinungsjahr
Dokumenttyp
- Wissenschaftlicher Artikel (154)
- Sonstiges (7)
- Monographie/Sammelband (1)
- Konferenzveröffentlichung (1)
Sprache
- Englisch (160)
- Deutsch (2)
- Französisch (1)
Schlagworte
- answer set programming (6)
- Answer Set Programming (5)
- Answer set programming (5)
- Theory (2)
- bioinformatics (2)
- Aggregates (1)
- Algorithm configuration (1)
- Algorithm portfolios (1)
- Automated parallelization (1)
- Boolean logic models (1)
Institut
- Institut für Informatik und Computational Science (163) (entfernen)
A polynomial translation of logic programs with nested expressions into disjunctive logic programs
(2002)
Preferred well-founded semantics for logic programming by alternating fixpoints : preliminary report
(2002)
Significant inferences
(2000)
Compressions and extensions
(1998)
The family of default logics
(1998)