Paolo Mancarella
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
10
Active years
1983–2014
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | COMMA | Argumentation Logic. | Antonis C. Kakas, Francesca Toni, Paolo Mancarella |
| 2010 | COMMA | Some design guidelines for practical argumentation systems. | Phan Minh Dung, Francesca Toni, Paolo Mancarella |
| 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 |
| 2006 | COMMA | A dialectic procedure for sceptical, assumption-based argumentation. | Phan Minh Dung, Paolo Mancarella, Francesca Toni |
| 2004 | ECAI | The KGP Model of Agency. | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, 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 |
| 1997 | TIME | Time in a Multi-Theory Logical Framework. | Paolo Mancarella, Alessandra Raffaet, Franco Turini |
| 1996 | AAAI | Production Systems Need Negation as Failure. | Phan Minh Dung, Paolo Mancarella |
| 1996 | ESOP | A Multiple-Valued Logical Semantics for Prolog. | Roberto Barbuti, Paolo Mancarella |
| 1995 | LPNMR | An Abductive Framework for Extended Logic Programming. | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello |
| 1994 | ICLP | Abduction and Abductive Logic Programming. | Antonis C. Kakas, Paolo Mancarella |
| 1994 | ICLP | The Acceptability Semantics for Logic Programs. | Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung |
| 1992 | ICLP | Normal Logic Programs as Open Positive Programs. | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello |
| 1991 | ICLP | Theory Construction in Computational Logic. | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini |
| 1991 | LPNMR | Negation as Stable Hypotheses. | Antonis C. Kakas, Paolo Mancarella |
| 1990 | ECAI | Universal Quantification by Case Analysis. | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini |
| 1990 | ECAI | Generalized Stable Models: A Semantics for Abduction. | Antonis C. Kakas, Paolo Mancarella |
| 1990 | ECAI | Knowledge Assimilation and Abduction. | Antonis C. Kakas, Paolo Mancarella |
| 1990 | LPNMR | Abductive Logic Programming. | Antonis C. Kakas, Paolo Mancarella |
| 1990 | VLDB | Database Updates through Abduction. | Antonis C. Kakas, Paolo Mancarella |
| 1988 | ICLP | An Algebra of Logic Programs. | Paolo Mancarella, Dino Pedreschi |
| 1983 | ICPP | A High Level Analysis Tool for Concurrent Programs. | Paolo Mancarella, Franco Turini |