Institut für Informatik und Computational Science
Refine
Year of publication
Document Type
- Article (31)
- Conference Proceeding (1)
- Doctoral Thesis (1)
- Other (1)
Language
- English (34)
Keywords
- Answer Set Programming (4)
- answer set programming (4)
- Answer set programming (3)
- Algorithmen (1)
- Algorithms (1)
- Antwortmengenprogrammierung (1)
- Beweistheorie (1)
- Boolean logic models (1)
- Combinatorial multi-objective optimization (1)
- Complex optimization (1)
- Incremental answer set programming (1)
- Knowledge Representation and Reasoning (1)
- Logic programming (1)
- Meta-Programming (1)
- Nonmonotonic reasoning (1)
- Preference Handling (1)
- Proof Theory (1)
- Signaling transduction networks (1)
- Systems biology (1)
- Theory (1)
- Wissensrepräsentation und -verarbeitung (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)
Institute
- Institut für Informatik und Computational Science (34) (remove)