004 Datenverarbeitung; Informatik
Refine
Document Type
- Postprint (5)
- Article (2)
- Conference Proceeding (1)
- Doctoral Thesis (1)
Language
- English (9)
Keywords
- answer set programming (3)
- Algorithmen (1)
- Algorithms (1)
- Answer Set Programming (1)
- Antwortmengenprogrammierung (1)
- Beweistheorie (1)
- Knowledge Representation and Reasoning (1)
- Proof Theory (1)
- SAT (1)
- Wissensrepräsentation und -verarbeitung (1)
- action and change (1)
- algorithm (1)
- automated planning (1)
- bioinformatics (1)
- clause elimination (1)
- complex optimization (1)
- consistency (1)
- diagnosis (1)
- knowledge representation and nonmonotonic reasoning (1)
- loop formulas (1)
- meta-programming (1)
- nested expressions (1)
- parallel execution (1)
- platypus (1)
- preference handling (1)
- propositional satisfiability (1)
- search (1)
- solver (1)
- stable model semantics (1)
- systems (1)
- technical notes and rapid communications (1)
- unfounded sets (1)
The Potsdam answer set solving collection, or Potassco for short, bundles various tools implementing and/or applying answer set programming. The article at hand succeeds an earlier description of the Potassco project published in Gebser et al. (AI Commun 24(2):107-124, 2011). Hence, we concentrate in what follows on the major features of the most recent, fifth generation of the ASP system clingo and highlight some recent resulting application systems.