Paolo Mancarella Coauthor index DBLP Vis pubzone.org

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

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

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)