activity
20092018
most citedPreservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks

3 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing 2009 · cs.AIShow all

1 paper · 2 filters

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…