dblp.uni-trier.dewww.uni-trier.de

Giacomo Terreni

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
8EEPaolo Mancarella, Giacomo Terreni, Francesca Toni: Web Sites Repairing through Abduction. Electr. Notes Theor. Comput. Sci. 235: 137-152 (2009)
2007
7EEPaolo Mancarella, Giacomo Terreni, Francesca Toni: Web Sites Verification: An Abductive Logic Programming Tool. ICLP 2007: 434-435
6EEPaolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Programming Applications in CIFF. LPNMR 2007: 284-289
2004
5EEPaolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Planning Partially for Situated Agents. CLIMA V 2004: 230-248
4EEAndrea 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: 340-367
3EEUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA 2004: 31-43
2EEUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684
2003
1EEPaolo Mancarella, Giacomo Terreni: An Abductive Proof Procedure Handling Active Rules. AI*IA 2003: 105-117

Coauthor Index

1Andrea Bracciali [4]
2Neophytos Demetriou [4]
3Ulrich Endriss (Ulle Endriss) [2] [3] [4]
4Antonis C. Kakas [4]
5Wenjin Lu [4]
6Paolo Mancarella [1] [2] [3] [4] [5] [6] [7] [8]
7Fariba Sadri [2] [3] [4] [5] [6]
8Kostas Stathis [4]
9Francesca Toni [2] [3] [4] [5] [6] [7] [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)