Giacomo Terreni

According to our database, Giacomo Terreni authored at least 10 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

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

2008

The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Definition, Implementation and a Web Application.

Giacomo Terreni

PhD thesis, 2008

Web Sites Repairing through Abduction.

Paolo Mancarella, Giacomo Terreni, Francesca Toni

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

2007

Programming Applications in CIFF.

Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Web Sites Verification: An Abductive Logic Programming Tool.

Paolo Mancarella, Giacomo Terreni, Francesca Toni

Proceedings of the Logic Programming, 23rd International Conference, 2007

2004

Abductive Logic Programming with CIFF: System Description.

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The CIFF Proof Procedure for Abductive Logic Programming with Constraints.

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 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

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Planning Partially for Situated Agents.

Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003

An Abductive Proof Procedure Handling Active Rules.

Paolo Mancarella, Giacomo Terreni

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003