1 citations · 1 across the 2 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2011★ 4 cited
Representing First-Order Causal Theories by Logic Programs
Paolo Ferraris, Joohyung Lee, Yuliya Lierler +2
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain's embedding of definite pr…
cs.AI2008★ 1 cited
Logic programs with propositional connectives and aggregates
Paolo Ferraris
Answer set programming (ASP) is a logic programming paradigm that can be used to solve complex combinatorial search problems. Aggregates are an ASP construct that plays an importan…
cs.AI2007
Propositional theories are strongly equivalent to logic programs
Pedro Cabalar, Paolo Ferraris
This paper presents a property of propositional theories under the answer sets semantics (called Equilibrium Logic for this general syntax): any theory can always be reexpressed as…