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