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)
Circumscribing inconsistency
(1997)