Filtern
Volltext vorhanden
- nein (12)
Dokumenttyp
- Wissenschaftlicher Artikel (12) (entfernen)
Sprache
- Englisch (12)
Gehört zur Bibliographie
- ja (12)
Schlagworte
- Answer set programming (3)
- Answer Set Programming (ASP) (1)
- Constraint Answer Set Programming (CASP) (1)
- Constraint Programming (CP) (1)
- Course timetabling (1)
- Educational timetabling (1)
- Logic programming (1)
- Minimal perturbation problems (1)
- Multi-objective optimization (1)
- Nonmonotonic reasoning (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.