51 citations · 51 across the 1 of their papers we have counts for
2 papers
cs.LO2019
On Uniform Equivalence of Epistemic Logic Programs
Wolfgang Faber, Michael Morak, Stefan Woltran
Epistemic Logic Programs (ELPs) extend Answer Set Programming (ASP) with epistemic negation and have received renewed interest in recent years. This led to the development of new r…
cs.AI2011★ 51 cited
Answer Set Planning Under Action Costs
T. Eiter, W. Faber, N. Leone +2
Recently, planning based on answer set programming has been proposed as an approach towards realizing declarative planning systems. In this paper, we present the language Kc, which…