Giacomo Terreni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2004–2007
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICLP | Web Sites Verification: An Abductive Logic Programming Tool. | Paolo Mancarella, Giacomo Terreni, Francesca Toni |
| 2007 | LPNMR | Programming Applications in CIFF. | Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2004 | JELIA | The CIFF Proof Procedure for Abductive Logic Programming with Constraints. | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2004 | JELIA | Abductive Logic Programming with CIFF: System Description. | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |