 | 2009 |
|---|
| 9 |       | Paolo Mancarella,
Giacomo Terreni,
Fariba Sadri,
Francesca Toni,
Ulrich Endriss:
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments
CoRR abs/0906.1182: (2009) |
| 8 | | Paolo Mancarella,
Giacomo Terreni,
Francesca Toni:
Web Sites Repairing through Abduction.
Electr. Notes Theor. Comput. Sci. 235: 137-152 (2009) |
| 2007 |
|---|
| 7 | | Paolo Mancarella,
Giacomo Terreni,
Francesca Toni:
Web Sites Verification: An Abductive Logic Programming Tool.
ICLP 2007: 434-435 |
| 6 | | Paolo Mancarella,
Fariba Sadri,
Giacomo Terreni,
Francesca Toni:
Programming Applications in CIFF.
LPNMR 2007: 284-289 |
| 2004 |
|---|
| 5 | | Paolo Mancarella,
Fariba Sadri,
Giacomo Terreni,
Francesca Toni:
Planning Partially for Situated Agents.
CLIMA V 2004: 230-248 |
| 4 | | 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 | | 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 | | Ulrich Endriss,
Paolo Mancarella,
Fariba Sadri,
Giacomo Terreni,
Francesca Toni:
Abductive Logic Programming with CIFF: System Description.
JELIA 2004: 680-684 |
| 2003 |
|---|
| 1 | | Paolo Mancarella,
Giacomo Terreni:
An Abductive Proof Procedure Handling Active Rules.
AI*IA 2003: 105-117 |
