Search the dblp DataBase

Publications of Author

1. Paolo Mancarella, Giacomo Terreni
   An Abductive Proof Procedure Handling Active Rules. [Citation Graph (0, 0)][DBLP]
   AI*IA, 2003, pp:105-117 [Conf]
   
2. Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
   Planning Partially for Situated Agents. [Citation Graph (0, 0)][DBLP]
   CLIMA V, 2004, pp:230-248 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   Global Computing, 2004, pp:340-367 [Conf]
   
4. Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
   The CIFF Proof Procedure for Abductive Logic Programming with Constraints. [Citation Graph (0, 0)][DBLP]
   JELIA, 2004, pp:31-43 [Conf]
   
5. Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
   Abductive Logic Programming with CIFF: System Description. [Citation Graph (0, 0)][DBLP]
   JELIA, 2004, pp:680-684 [Conf]
   
6. Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
   Programming Applications in CIFF. [Citation Graph (0, 0)][DBLP]
   LPNMR, 2007, pp:284-289 [Conf]
   
7. Paolo Mancarella, Giacomo Terreni, Francesca Toni
   Web Sites Verification: An Abductive Logic Programming Tool. [Citation Graph (0, 0)][DBLP]
   ICLP, 2007, pp:434-435 [Conf]
   
8. 
   The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments [Citation Graph (, )][DBLP]
   
   
9. 
   Web Sites Repairing through Abduction. [Citation Graph (, )][DBLP]