Università di Pisa - Anagrafe della Ricerca

Lista funzioni di navigazione

Autore

PAOLO MARIA MANCARELLA

Unimap Dati autore

Professore Ordinario presso Dipartimento di Informatica
Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
Settore scientifico disciplinare INF/01 INFORMATICA
In servizio

Prodotti

lista concisa
lista espansa
tipo
anno

Articolo in rivista
1. A. Brogi, E. Lamma, P. Mancarella e P. Mello,A Unifying View for Logic Programming with Non-Monotonic Reasoning, THEORETICAL COMPUTER SCIENCE,vol. 184,num. 1-2,pp 1,tot.pag 60,1997
2. R. Barbuti, N. De Francesco, P. Mancarella e A. Santone,Towards a Logical Semantics for Pure Prolog, SCIENCE OF COMPUTER PROGRAMMING,vol. 32,num. 1-3,pp 145,tot.pag 32,1998
3. P. Mancarella, A. Raffaet� e F. Turini,Knowledge representation with multiple logical theories and time, Journal of Experimental & Theoretical Artificial Intelligence,vol. 11,num. 1,pp 47,tot.pag 30,1999
4. Phan Minh Dung, Paolo Mancarella,Production Systems with Negation as Failure, IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING,vol. 14,num. 2,pp 336-352,tot.pag 17,2002
5. P. Mancarella A. Raffaeta' C. Renso F. Turini,Integrating knowledge representation and reasoning in Geographical Information Systems, INTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SCIENCE,vol. 18,num. 4,pp 417-446,tot.pag 30,2004
6. Dung Phan minh, MANCARELLA PAOLO MARIA, Toni Francesca,Computing ideal sceptical argumentation, ARTIFICIAL INTELLIGENCE,vol. 171,pp 642,tot.pag 33,tot. autori 3,2007
7. Aliprandi Carlo, CARMIGNANI NICOLA, Deha Nedjma, MANCARELLA PAOLO MARIA, Rubino Michele,UnipiSynthema POS Tagger, Description and Evaluation, INTELLIGENZA ARTIFICIALE,vol. anno IV, vol. 2,pp 16,tot.pag 2,2007
8. Kakas Antonis, MANCARELLA PAOLO MARIA, Sadri Fariba, Toni Francesca, Stathis Kostas,Computational Logic Foundations of KGP Agents, JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH,pp 1,tot.pag 64,2007
9. MANCARELLA PAOLO MARIA, Terreni Giacomo, Toni Francesca,Web Sites Repairing through Abduction, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,pp 137,tot.pag 16,2009
10. MANCARELLA PAOLO MARIA, Terreni Giacomo, Sadri Fariba, Toni Francesca, Endriss Ulle,The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments, THEORY AND PRACTICE OF LOGIC PROGRAMMING,vol. 9/6,pp 691,tot.pag 750,2009
11. MANCARELLA PAOLO MARIA, Toni Francesca,Computational logic in agent based systems, INTELLIGENZA ARTIFICIALE,pp 139,tot.pag 5,2011
Capitolo, parte o articolo in libro
1. P.Baldan, P.Mancarella, A,Raffaeta`, F.Turini,MuTACLP: A Language for Temporal Reasoning with Multiple Theories in Computational Logic: Logic Programming and beyond.,pp 41, 60, Springer,tot.pag. 20,2002
2. Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri,Negation as Failure through Abduction: Reasoning about Termination in Computational Logic: Logic Programming and Beyond,pp 240, 272, Springer,tot.pag. 33,2002
3. Phan Minh Dung, Paolo Mancarella, Francesca Toni,Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning in Computational Logic: Logic Programming and Beyond,pp 289, 310, Springer,tot.pag. 21,2002
4. A. Bracciali N. Demetriou U. Endriss A. Kakas W. Lu P. Mancarella F. Sadri K. Stathis G. Terreni F. Toni,The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation in Global Computing (LNCS 3267),pp 340, 367, Springer Verlag,tot.pag. 28,2005
Atti di convegni nazionale con revisori articolo in extenso
1. Berni Maurizio, Bonsignori Alessandro, Fornaciari Patrizia, MANCARELLA PAOLO MARIA,MIEL, un percorso per le competenze ICT nella formazione iniziale dei futuri insegnanti, Informatica per la Didattica - DIDAMATICA 2007, pp 680-686, Cesena,2007
2. MANCARELLA PAOLO MARIA, Terreni Giacomo, Toni Francesca,Web Site Verification: an Abductive Logic Programming Tool, Convegno Italiano di Logica Computazionale, pp 1-15, S. Agata di Messina,2007
3. Morge Maxime, Mcginnis Jarred, Bromuri Stefano, Toni Francesca, MANCARELLA PAOLO MARIA, Stathis Kostas,Vers une architecture modulaire d'agent argumentatif pour la composition de services, Journ�es Francophones sur les Syst�mes Multi-Agents (JFSMA), pp nn-nn,2007
4. Morge Maxime, MANCARELLA PAOLO MARIA,Mod�le d'argumentation pour le raisonnement pratique, Journ�es Francophones Planification, D�cision, Apprentissage pour la conduite de syst�mes, pp 123-134,2007
Atti di convegni nazionale con revisori articolo breve / poster
1. D. Caramella C. Aliprandi P. Mancarella N. Carmignani E. Croci C. Bartolozzi,Scrittura assistita per la refertazione radiologica, 42� Congresso Nazionale SIRM, pp 371, Milano,vol. Atti P-08/1, tot. autori 6,2006
2. Morge Maxime, MANCARELLA PAOLO MARIA,The hedgehog and the fox. An argumentation-based decision support system, Quatri�me Journ�es Francophones Mod�les Formels de l'Interaction, pp 357-364,2007
Articolo in atti di congresso
1. Roberto Barturi e Paolo Mancarella,A Multiple-Valued Logical Semantics for Prolog, 6th European Symposium on Programming (ESOP'96), pp 62, Link�ping, Sweden,vol. 1058,1996
2. Phan Minh Dung e Paolo Mancarella,Production Systems Need Negation as Failure, 13th National Conference on Artificial Intelligence and 8th Innovative Applications of Artificial Intelligence (AAAI 96 / IAAI 96), pp 1242, Portland, Oregon USA,vol. 2,1996
3. P.Mancarella, A. Raffaet� e F. Turini,Time in a Multi-Theory Logical Framework, 4th International Workshop on Temporal Representation and Reasoning (TIME '97), pp 62, Daytona Beach, Florida, USA,vol. 1,1997
4. Paolo Mancarella, Alessandra Raffaet� e Franco Turini,Temporal Annotated Constraint Logic Programming with Multiple Theories, Database and Expert Systems Applications (DEXA 99), pp 501, Firenze, Italia,vol. 1,1999
5. P. Mancarella, G. Nerbini, A. Raffaet� e F. Turini,MuTACLP: A Language for Declarative GIS Analysis, Computational Logic 2000, pp 1002, London, U.K.,vol. 1861,2000
6. G. Terreni P. Mancarella,An abductive proof procedure handling active rules, AI*IA 2003: Advances in Artificial Intelligence, pp 105, Pisa,vol. 1,2003
7. M. Atzori P. Mancarella F. Turini,Abduction in Classification Tasks, AI*IA 2003: Advances in Artificial Intelligence, pp 213, Pisa,vol. 1,2003
8. C. Aliprandi D. Barsocchi F. Fanciulli P. Mancarella D. Pupillo R. Raffaelli C. Scudellari,AWE, an Innovative Writing Prediction Environment, HCI International 2003 - 10th International Conference on Human-Computer Interaction, pp 237-238, Grecia,vol. 1 (Adjunct Proceedings),2003
9. P. Mancarella F. Sadri G. Terreni F. Toni,Abductive Logic Programming with CIFF: Implementation and Applications, Convegno Italiano di Logica Computazionale (CILC 04), pp 28-42, Parma,vol. 390,2004
10. U. Endriss P. Mancarella F. Sadri G. Terreni F. Toni,Abductive Logic Programming with CIFF: System Description, Logics in Artificial Intelligence, 9th European Conference (JELIA 2004), pp 680-684, Lisbon,vol. LNCS 3229,2004
11. U. EndrissP P. Mancarella F. Sadri G. Terreni F. Toni,Abductive logic programming with CIFF (Extended Abstract), Proceedings of the 11th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, pp nn-nn,vol. nn,2004
12. A. Bracciali P. Mancarella K. Stathis F. Toni,Engineering Stable Multi-agent Systems, Engineering Societies in the Agents World V, pp 322-334,vol. LNCS 3451,2005
13. A. Bracciali P. Mancarella K. Stathis F. Toni,On Modelling Multi-agent Systems Declaratively, Declarative Agent Languages and Technologies II, pp 53-68,vol. LNCS 3476,2005
14. A.C. Kakas P. Mancarella F. Sadri K. Stathis F. Toni,Declarative agent control, Computational Logic in Multi-Agent Systems (CLIMA V), pp 96-110,vol. LNCS 3487,2005
15. M. Atzori P. Mancarella F. Turini,Memory-Aware Frequent k-Itemset Mining, Knowledge Discovery in Inductive Databases, pp 38-54, Porto, Portugal,vol. LNCS 3933, tot. autori 3,2006
Atto di convegno internazionale con revisori articolo in extenso
1. A.C. Kakas P. Mancarella F. Sadri K. Stathis F. Toni,The KGP model of agency, ECAI 04, pp 33-37, Valencia (Spagna),vol. 1,2004
2. Endriss Ulle, MANCARELLA PAOLO MARIA, Sadri Fariba, Terreni Giacomo, Toni Francesca,Refinements of the CIFF Procedure, 12th Workshop on Automated Reasoning, pp nn-nn, Edinburgh,2005
3. P. Mancarella F. Sadri G. Terreni F. Toni,Planning Partially for Situated Agents, Computational Logic in Multi-Agent Systems (CLIMA V), pp 230-248,vol. LNCS 3487, tot. autori 4,2005
4. Aliprandi Carlo, CARMIGNANI NICOLA, MANCARELLA PAOLO MARIA,An Inflected-Sensitive Letter and Word Prediction System, Intenational Conference on Interactive Computer Aided Learning, pp nn-nn, Villach, Austria,2006
5. Dung Phan minh, MANCARELLA PAOLO MARIA, Toni Francesca,A dialectic procedure for sceptical, assumption-based argumentation, Computational Models of Argument, pp 145-156, Liverpool,vol. 144, tot. autori 3,2006
6. Morge M., Mcginnis J., Bromuri S., Toni F., MANCARELLA PAOLO MARIA, Stathis K.,Toward a Modular Architecture of Argumentative Agents to Compose Services, EUMAS 07, pp n.d.-n.d.,2007
7. MANCARELLA PAOLO MARIA, Sadri Fariba, Terreni Giacomo, Toni Francesca,Programming Applications in CIFF, LPNMR 2007, pp 284-289, Tempe, AZ, USA,vol. 4483, tot. autori 4,2007
8. Aliprandi Carlo, CARMIGNANI NICOLA, MANCARELLA PAOLO MARIA, Rubino Michele,A Word Predictor for Inflected Languages: System Design and User-Centric Interface, International Conference on Human-Computer Interaction, pp 148-153,2007
9. Aliprandi Carlo, CARMIGNANI NICOLA, Deha Nedjma, MANCARELLA PAOLO MARIA, Rubino Michele,FastType, a Word Predictor for Inflected Languages: Syntactic Prediction Features and User-Centric Interface, European Conference for the Advancement of Assistive Technology, pp nn-nn, San Sebastian, Spagna,2007
10. Morge Maxime, MANCARELLA PAOLO MARIA,The hedgehog and the fox. An argumentation-based decision support system, International Workshop on Argumentation in Multi-Agent Systems, pp 53-68,2007
11. MANCARELLA PAOLO MARIA, Morge Maxime,Argumentation-based decision making for selecting communication services in ambient home environments, Symposium on Artificial Societies for Ambient Intelligence, pp 46-49,2007
12. Morge M., MANCARELLA PAOLO MARIA, Mcginnis J., Bromuri S., Stathis K.,An Argumentative Model for Service-Oriented Agents, AAAI Sprng Symposium Architectures for Intelligent Theory-Based Agents, pp n.d.-n.d.,2008
13. MANCARELLA PAOLO MARIA, TERRENI GIACOMO, Toni F.,Web Sites Repairing through abduction, 4th Int'l Workshop on Automated Specification and Verification of Web Systems, pp n.d.-n.d.,2008
14. Aliprandi C., Neri F., Deha N., MANCARELLA PAOLO MARIA,Mining Open-Domain Language Resources for Word Prediction and Advanced Speech Recognition, International Conference on Multivariate Statistical Modeling and High-Dimensional Data Mining, pp n.d.-n.d.,2008
15. MANCARELLA PAOLO MARIA, Toni Francesca,A Semantics for Positive Abductive Programs with Implicative and Denial Integrity Constraints, NonMon@30, Thirty Years of Nonmonotonic Reasoning, pp 1-15,2010
16. Dung Phan minh, MANCARELLA PAOLO MARIA, Toni Francesca,Some design guidelines for practical argumentation systems, COMMA, pp 183-194, Desenzano del Garda, Italy,2010
17. MANCARELLA PAOLO MARIA, Toni Francesca,A semantics for semi-negative abductive logic programs with implicative integrity constraints, LPMAS 2011, Logic Programming and Multi-Agent Systems, pp 1-13,2011
Atto di convegno internazionale con revisori articolo breve / poster
1. MANCARELLA PAOLO MARIA, Terreni Giacomo, Toni Francesca,Web Sites Verification: An Abductive Logic Programming Tool, ICLP 2007, pp 434-435, Porto, Portugal,vol. LNCS 4670, tot. autori 3,2007
2. Aliprandi Carlo, Carmignani Nicola, Deha Nedjma, MANCARELLA PAOLO MARIA, Rubino Michele,Advances in NLP applied to Word Prediction, Langtech 2008, pp nn-nn,2008
Articolo su atti di congresso internazionale
1. U. Endriss P. Mancarella F. Sadri G. Terreni F. Toni,The CIFF Proof Procedure for Abductive Logic Programming with Constraints, Logics in Artificial Intelligence, 9th European Conference (JELIA 2004), pp 31-43, Lisbon,vol. LNCS 3229,2004
2. Morge Maxime, MANCARELLA PAOLO MARIA,Assumption-based argumentation for the minimal concession strategy, ARGMAS, pp 1-18,2009
3. MANCARELLA PAOLO MARIA, Toni Francesca,A semantics for positive abductive logic programs with implicative integrity constraints, NMR 2010, pp 1-7,2010
Articolo su atti di congresso nazionale
1. Morge Maxime, Mathieu Philippe, MANCARELLA PAOLO MARIA,Assumption-based argumentation for the minimal concession strategy of agents engaged in resource negotiation, MOD�LES FORMELS de l�INTERACTION (MFI 09), pp 233-242, Lannion,2009
Rapporto finale di ricerca pubblicato
1. Paolo Mancarella,An application of ACLP to timetabling at University of Pisa, KIT Project 962109,2000
2. Morge M., MANCARELLA PAOLO MARIA,Prototype for argumentative agents, EU,2007
3. Morge M., MANCARELLA PAOLO MARIA,Internal representation and reasoning of the argumentative agent, EU,2007
Software
1. MANCARELLA PAOLO MARIA, Aliprandi Carlo, Carmignani Nicola,FastType,categoria ,2009