Paolo Mancarella

	2009
59		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)
58		Paolo Mancarella, Giacomo Terreni, Francesca Toni: Web Sites Repairing through Abduction. Electr. Notes Theor. Comput. Sci. 235: 137-152 (2009)
57		Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss: The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. TPLP 9(6): 691-750 (2009)
	2008
56		Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. (JAIR) 33: 285-348 (2008)
	2007
55		Paolo Mancarella, Giacomo Terreni, Francesca Toni: Web Sites Verification: An Abductive Logic Programming Tool. ICLP 2007: 434-435
54		Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Programming Applications in CIFF. LPNMR 2007: 284-289
53		Phan Minh Dung, Paolo Mancarella, Francesca Toni: Computing ideal sceptical argumentation. Artif. Intell. 171(10-15): 642-674 (2007)
	2006
52		Phan Minh Dung, Paolo Mancarella, Francesca Toni: A dialectic procedure for sceptical, assumption-based argumentation. COMMA 2006: 145-156
	2005
51		Maurizio Atzori, Paolo Mancarella, Franco Turini: Memory-Aware Frequent k-Itemset Mining. KDID 2005: 38-54
	2004
50		Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Planning Partially for Situated Agents. CLIMA V 2004: 230-248
49		Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Declarative Agent Control. CLIMA V 2004: 96-110
48		Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni: On Modelling Multi-agent Systems Declaratively. DALT 2004: 53-68
47		Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: The KGP Model of Agency. ECAI 2004: 33-37
46		Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni: Engineering Stable Multi-agent Systems. ESAW 2004: 322-334
45		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
44		Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA 2004: 31-43
43		Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684
42		Paolo Mancarella, Alessandra Raffaetà, Chiara Renso, Franco Turini: Integrating knowledge representation and reasoning in Geographical Information Systems. International Journal of Geographical Information Science 18(4): 417-447 (2004)
	2003
41		Paolo Mancarella, Giacomo Terreni: An Abductive Proof Procedure Handling Active Rules. AI*IA 2003: 105-117
40		Maurizio Atzori, Paolo Mancarella, Franco Turini: Abduction in Classification Tasks. AI*IA 2003: 213-224
	2002
39		Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini: MuTACLP: A Language for Temporal Reasoning with Multiple Theories. Computational Logic: Logic Programming and Beyond 2002: 1-40
38		Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri: Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond 2002: 240-272
37		Phan Minh Dung, Paolo Mancarella, Francesca Toni: Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. Computational Logic: Logic Programming and Beyond 2002: 289-310
36		Phan Minh Dung, Paolo Mancarella: Production Systems with Negation as Failure. IEEE Trans. Knowl. Data Eng. 14(2): 336-352 (2002)
	2000
35		Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini: MuTACLP: A Language for Declarative GIS Analysis. Computational Logic 2000: 1002-1016
	1999
34		Paolo Mancarella, Alessandra Raffaetà, Franco Turini: Temporal Annotated Constraint Logic Programming with Multiple Theories. DEXA Workshop 1999: 501-508
33		Paolo Mancarella, Alessandra Raffaetà, Franco Turini: Knowledge representation with multiple logical theories and time. J. Exp. Theor. Artif. Intell. 11(1): 47-76 (1999)
	1998
32		Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone: Towards a Logical Semantics for Pure Prolog. Sci. Comput. Program. 32(1-3): 145-176 (1998)
	1997
31		Paolo Mancarella, Alessandra Raffaetà, Franco Turini: Time in a Multi-Theory Logical Framework. TIME 1997: 62-70
30		Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theor. Comput. Sci. 184(1-2): 1-5 (1997)
	1996
29		Phan Minh Dung, Paolo Mancarella: Production Systems Need Negation as Failure. AAAI/IAAI, Vol. 2 1996: 1242-1247
28		Roberto Barbuti, Paolo Mancarella: A Multiple-Valued Logical Semantics for Prolog. ESOP 1996: 62-76
	1995
27		Paolo Mancarella, Alessandra Raffaetà, Franco Turini: LOO: An Object Oriented Logic Programming Language. GULP-PRODE 1995: 271-282
26		Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: An Abductive Framework for Extended Logic Programming. LPNMR 1995: 330-343
	1994
25		Antonis C. Kakas, Paolo Mancarella: Abduction and Abductive Logic Programming. ICLP 1994: 18-19
24		Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung: The Acceptability Semantics for Logic Programs. ICLP 1994: 504-519
23		Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini: Implementations of Program Composition Operations. PLILP 1994: 292-307
22		Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994)
	1992
21		Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal logic programs as open positive programs. CNKBS 1992: 9-11
20		Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal Logic Programs as Open Positive Programs. JICSLP 1992: 783-797
19		Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Meta for Modularising Logic Programming. META 1992: 105-119
18		Antonis C. Kakas, Paolo Mancarella: Short Note: Preferred Extensions are Partial Stable Models. J. Log. Program. 14(3&4): 341-348 (1992)
	1991
17		Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Abductive Reasoning in a Multi-Theory Framework. AI*IA 1991: 137-146
16		Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991: 241-250
15		Antonis C. Kakas, Paolo Mancarella: Stable Theories for Logic Programs. ISLP 1991: 85-100
14		Antonis C. Kakas, Paolo Mancarella: Negation as Stable Hypotheses. LPNMR 1991: 275-288
	1990
13		Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Universal Quantification by Case Analysis. ECAI 1990: 111-116
12		Antonis C. Kakas, Paolo Mancarella: Generalized Stable Models: A Semantics for Abduction. ECAI 1990: 385-391
11		Antonis C. Kakas, Paolo Mancarella: Abductive Logic Programming. LPNMR 1990: 49-61
10		Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti: Algebraic Properties of a Class of Logic Programs. NACLP 1990: 23-39
9		Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Logic Programming within a Functional Framework. PLILP 1990: 372-386
8		Antonis C. Kakas, Paolo Mancarella: Knowledge Assimilation and Abduction. Truth Maintenance Systems (ECAI Workshop) 1990: 54-70
7		Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661
6		Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8(3): 201-228 (1990)
	1988
5		Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini: A Progress Report on the LML Project. FGCS 1988: 675-684
4		Paolo Mancarella, Dino Pedreschi: An Algebra of Logic Programs. ICLP/SLP 1988: 1006-1023
3		Paolo Mancarella, Simone Martini, Dino Pedreschi: Complete Logic Programs with Domain-Closure Axiom. J. Log. Program. 5(3): 263-276 (1988)
	1987
2		Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987: 96-110
	1983
1		Paolo Mancarella, Franco Turini: A High Level Analysis Tool for Concurrent Programs. ICPP 1983: 293-302

Coauthor Index

1	Maurizio Atzori	[40] [51]
2	Paolo Baldan	[39]
3	Roberto Barbuti	[2] [6] [28] [32]
4	Bruno Bertolino	[5]
5	Andrea Bracciali	[45] [46] [48]
6	Antonio Brogi	[9] [13] [16] [17] [19] [20] [21] [22] [23] [26] [30]
7	A. Chiarelli	[23]
8	Neophytos Demetriou	[45]
9	Phan Minh Dung	[24] [29] [36] [37] [52] [53]
10	Ulrich Endriss (Ulle Endriss)	[43] [44] [45] [57] [59]
11	Nicoletta De Francesco	[32]
12	Antonis C. Kakas	[7] [8] [11] [12] [14] [15] [18] [24] [25] [45] [47] [49] [56]
13	Evelina Lamma	[17] [20] [21] [26] [30]
14	Wenjin Lu	[45]
15	Simone Martini	[3]
16	V. Mazzotta	[23]
17	Paola Mello	[17] [20] [21] [26] [30]
18	Luigi Meo	[5]
19	Gianluca Nerbini	[35]
20	Luca Nini	[5]
21	Dino Pedreschi	[2] [3] [4] [5] [6] [9] [10] [13] [16] [19] [22] [23] [38]
22	Alessandra Raffaetà	[27] [31] [33] [34] [35] [39] [42]
23	Chiara Renso	[23] [42]
24	Marina Rondinelli	[10]
25	Salvatore Ruggieri	[38]
26	Fariba Sadri	[43] [44] [45] [47] [49] [50] [54] [56] [57] [59]
27	Antonella Santone	[32]
28	Kostas Stathis	[45] [46] [47] [48] [49] [56]
29	Marco Tagliatti	[10]
30	Giacomo Terreni	[41] [43] [44] [45] [50] [54] [55] [57] [58] [59]
31	Francesca Toni	[37] [43] [44] [45] [46] [47] [48] [49] [50] [52] [53] [54] [55] [56] [57] [58] [59]
32	Franco Turini	[1] [2] [5] [6] [9] [13] [16] [19] [22] [23] [27] [31] [33] [34] [35] [39] [40] [42] [51]