Search Results for author:
Found 3 papers, 0 papers with code
selp: A Single-Shot Epistemic Logic Program Solver
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.
lpopt: A Rule Optimization Tool for Answer Set Programming
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.
The Power of Non-Ground Rules in Answer Set Programming
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
