Institut für Informatik und Computational Science
Refine
Has Fulltext
- no (31) (remove)
Year of publication
Document Type
- Article (31) (remove)
Language
- English (31)
Is part of the Bibliography
- yes (31)
Keywords
- answer set programming (4)
- Answer Set Programming (3)
- Answer set programming (3)
- Boolean logic models (1)
- Combinatorial multi-objective optimization (1)
- Complex optimization (1)
- Incremental answer set programming (1)
- Logic programming (1)
- Meta-Programming (1)
- Nonmonotonic reasoning (1)
- Preference Handling (1)
- Signaling transduction networks (1)
- Systems biology (1)
- Theory (1)
- action and change (1)
- acyclicity properties (1)
- automated guided vehicle routing (1)
- automated planning (1)
- bioinformatics (1)
- car assembly operations (1)
- competition (1)
- consistency (1)
- declarative problem solving (1)
- diagnosis (1)
- finite model computation (1)
- knowledge representation and nonmonotonic reasoning (1)
- logic-based modeling (1)
- loop formulas (1)
- proof complexity (1)
- satisfiability (1)
- stable model semantics (1)
- tableau calculi (1)
- technical notes and rapid communications (1)
- unfounded sets (1)