dblp.uni-trier.dewww.uni-trier.de

Paolo Mancarella Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
58EEPaolo 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)
57EEPaolo Mancarella, Giacomo Terreni, Francesca Toni: Web Sites Repairing through Abduction. Electr. Notes Theor. Comput. Sci. 235: 137-152 (2009)
2008
56EEAntonis 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
55EEPaolo Mancarella, Giacomo Terreni, Francesca Toni: Web Sites Verification: An Abductive Logic Programming Tool. ICLP 2007: 434-435
54EEPaolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Programming Applications in CIFF. LPNMR 2007: 284-289
53EEPhan Minh Dung, Paolo Mancarella, Francesca Toni: Computing ideal sceptical argumentation. Artif. Intell. 171(10-15): 642-674 (2007)
2006
52EEPhan Minh Dung, Paolo Mancarella, Francesca Toni: A dialectic procedure for sceptical, assumption-based argumentation. COMMA 2006: 145-156
2005
51EEMaurizio Atzori, Paolo Mancarella, Franco Turini: Memory-Aware Frequent k-Itemset Mining. KDID 2005: 38-54
2004
50EEPaolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Planning Partially for Situated Agents. CLIMA V 2004: 230-248
49EEAntonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Declarative Agent Control. CLIMA V 2004: 96-110
48EEAndrea 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
46EEAndrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni: Engineering Stable Multi-agent Systems. ESAW 2004: 322-334
45EEAndrea 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
44EEUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA 2004: 31-43
43EEUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684
42EEPaolo 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
41EEPaolo Mancarella, Giacomo Terreni: An Abductive Proof Procedure Handling Active Rules. AI*IA 2003: 105-117
40EEMaurizio Atzori, Paolo Mancarella, Franco Turini: Abduction in Classification Tasks. AI*IA 2003: 213-224
2002
39EEPaolo 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
38EEPaolo Mancarella, Dino Pedreschi, Salvatore Ruggieri: Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond 2002: 240-272
37EEPhan 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
36EEPhan Minh Dung, Paolo Mancarella: Production Systems with Negation as Failure. IEEE Trans. Knowl. Data Eng. 14(2): 336-352 (2002)
2000
35EEPaolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini: MuTACLP: A Language for Declarative GIS Analysis. Computational Logic 2000: 1002-1016
1999
34EEPaolo 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
31EEPaolo Mancarella, Alessandra Raffaetà, Franco Turini: Time in a Multi-Theory Logical Framework. TIME 1997: 62-70
30EEAntonio 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
28EERoberto 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
23EEAntonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini: Implementations of Program Composition Operations. PLILP 1994: 292-307
22EEAntonio 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
9EEAntonio 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
7EEAntonis 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
2EERoberto 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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)