38 citations · 38 across the 2 of their papers we have counts for
2 papers
cs.AI2014★ 38 cited
Computational Logic Foundations of KGP Agents
Antonis Kakas, Paolo Mancarella, Fariba Sadri +2
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan model. This model allows the specification of heterogeneous a…
cs.AI2009
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments
P. Mancarella, G. Terreni, F. Sadri +2
We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive lo…