Institut für Informatik und Computational Science
Refine
Year of publication
Document Type
- Article (154)
- Other (7)
- Monograph/Edited Volume (1)
- Conference Proceeding (1)
Keywords
- 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)
Institute
- Institut für Informatik und Computational Science (163) (remove)
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)