The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giacomo Terreni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002