An Abductive Proof Procedure Handling Active Rules. - Paolo Mancarella; Giacomo Terreni (AI*IA, 2003)

Planning Partially for Situated Agents. - Paolo Mancarella; Fariba Sadri; Giacomo Terreni; Francesca Toni (CLIMA, 2004)

The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. - Andrea Bracciali; Neophytos Demetriou; Ulrich Endriss; Antonis C. Kakas; Wenjin Lu; Paolo Mancarella; Fariba Sadri; Kostas Stathis; Giacomo Terreni; Francesca Toni (Global Computing, 2004)

The CIFF Proof Procedure for Abductive Logic Programming with Constraints. - Ulrich Endriss; Paolo Mancarella; Fariba Sadri; Giacomo Terreni; Francesca Toni (JELIA, 2004)

Abductive Logic Programming with CIFF: System Description. - Ulrich Endriss; Paolo Mancarella; Fariba Sadri; Giacomo Terreni; Francesca Toni (JELIA, 2004)

Web Sites Verification: An Abductive Logic Programming Tool. - Paolo Mancarella; Giacomo Terreni; Francesca Toni (ICLP, 2007)

Programming Applications in CIFF. - Paolo Mancarella; Fariba Sadri; Giacomo Terreni; Francesca Toni (LPNMR, 2007)

Web Sites Repairing through Abduction. - Paolo Mancarella; Giacomo Terreni; Francesca Toni (WWV, 2008)

The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Definition, Implementation and a Web Application. - Giacomo Terreni (2008)

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. - Paolo Mancarella; Giacomo Terreni; Fariba Sadri; Francesca Toni; Ulle Endriss (Theory Pract. Log. Program., 2009)