no code implementations • 4 Jan 2020 • Manuel Bichler, Michael Morak, Stefan Woltran
Epistemic Logic Programs (ELPs) are an extension of Answer Set Programming (ASP) with epistemic operators that allow for a form of meta-reasoning, that is, reasoning over multiple possible worlds.
no code implementations • 19 Aug 2016 • Manuel Bichler, Michael Morak, Stefan Woltran
State-of-the-art answer set programming (ASP) solvers rely on a program called a grounder to convert non-ground programs containing variables into variable-free, propositional programs.
no code implementations • 5 Aug 2016 • Manuel Bichler, Michael Morak, Stefan Woltran
In its traditional application, a fixed ASP program for a given problem is designed and the actual instance of the problem is fed into the program as a set of facts.