Giacomo Terreni

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Paolo Mancarella, Giacomo Terreni, Francesca Toni
Web Sites Repairing through Abduction. Electron. Notes Theor. Comput. Sci. 235 (2009)
Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. Theory Pract. Log. Program. 9 (6) (2009)
Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulrich Endriss
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments CoRR (2009)
Paolo Mancarella, Giacomo Terreni, Francesca Toni
Web Sites Verification: An Abductive Logic Programming Tool. ICLP (2007)
Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Programming Applications in CIFF. LPNMR (2007)
Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing (2004)
Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Planning Partially for Situated Agents. CLIMA (2004)
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA (2004)
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Abductive Logic Programming with CIFF: System Description. JELIA (2004)
Paolo Mancarella, Giacomo Terreni
An Abductive Proof Procedure Handling Active Rules. AI*IA (2003)