Paolo Mancarella

According to our database, Paolo Mancarella authored at least 72 papers between 1983 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Extension of Argumentation Logic.

Antonis C. Kakas, Paolo Mancarella

Proceedings of the 39th Italian Conference on Computational Logic, 2024

2018

On Argumentation Logic and Propositional Logic.

Antonis C. Kakas, Paolo Mancarella, Francesca Toni

Stud Logica, 2018

2015

Bridging the gap between high school and University studies for student with disability.

Luca Ciampi, Alfonso Curreri, Massimiliano Donati, Luca Fanucci, Federica Gorrasi, Stefano Landucci, Paolo Mancarella, Fiammetta Savoia

Proceedings of the Assistive Technology, 2015

2014

Argumentation Logic.

Antonis C. Kakas, Francesca Toni, Paolo Mancarella

Proceedings of the Computational Models of Argument, 2014

Argumentation for Propositional Logic and Nonmonotonic Reasoning.

Antonis C. Kakas, Francesca Toni, Paolo Mancarella

Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013

Argumentative Agents for Service-Oriented Computing.

Maxime Morge, Jarred McGinnis, Stefano Bromuri, Paolo Mancarella, Kostas Stathis, Francesca Toni

Proceedings of the Multiagent Systems and Applications - Volume 1: Practice and Experience, 2013

On the semantics of abstract argumentation.

Antonis C. Kakas, Paolo Mancarella

J. Log. Comput., 2013

2012

Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.

Paolo Mancarella, Francesca Toni

Proceedings of the Logic Programs, Norms and Action, 2012

2011

Computational logic in agent based systems.

Paolo Mancarella, Francesca Toni

Intelligenza Artificiale, 2011

2010

Some design guidelines for practical argumentation systems.

Phan Minh Dung, Francesca Toni, Paolo Mancarella

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2009

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments.

Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss

Theory Pract. Log. Program., 2009

Assumption-Based Argumentation for the Minimal Concession Strategy.

Maxime Morge, Paolo Mancarella

Proceedings of the Argumentation in Multi-Agent Systems, 6th International Workshop, 2009

2008

Computational Logic Foundations of KGP Agents.

Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni

J. Artif. Intell. Res., 2008

Web Sites Repairing through Abduction.

Paolo Mancarella, Giacomo Terreni, Francesca Toni

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

Abduction and legal reasoning.

Giada Maggenti, Andrea Bracciali, Paolo Mancarella

Proceedings of the 1st International ICST Conference on Forensic Applications and Techniques in Telecommunications, 2008

Computational Logic and Agent Based Systems.

Paolo Mancarella, Francesca Toni

Proceedings of the Il Milione (i.e. 2^6), 2008

An Argumentative Model for Service-Oriented Agents.

Maxime Morge, Paolo Mancarella, Jarred McGinnis, Stefano Bromuri, Kostas Stathis

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007

Computing ideal sceptical argumentation.

Phan Minh Dung, Paolo Mancarella, Francesca Toni

Artif. Intell., 2007

Programming Applications in CIFF.

Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Vers une architecture modulaire d'agent argumentatif pour la composition de services.

Maxime Morge, Jarred McGinnis, Stefano Bromuri, Francesca Toni, Paolo Mancarella, Kostas Stathis

Proceedings of the Les Modèles de Comportements - JFSMA 07, 2007

Web Sites Verification: An Abductive Logic Programming Tool.

Paolo Mancarella, Giacomo Terreni, Francesca Toni

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

A dialectic procedure for sceptical, assumption-based argumentation.

Phan Minh Dung, Paolo Mancarella, Francesca Toni

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006

2005

Memory-Aware Frequent <i>k</i>-Itemset Mining.

Maurizio Atzori, Paolo Mancarella, Franco Turini

Proceedings of the Knowledge Discovery in Inductive Databases, 4th International Workshop, 2005

2004

Integrating knowledge representation and reasoning in Geographical Information Systems.

Paolo Mancarella, Alessandra Raffaetà, Chiara Renso, Franco Turini

Int. J. Geogr. Inf. Sci., 2004

Abductive Logic Programming with CIFF: System Description.

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The CIFF Proof Procedure for Abductive Logic Programming with Constraints.

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.

Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Engineering Stable Multi-agent Systems.

Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni

Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

The KGP Model of Agency.

Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

On Modelling Multi-agent Systems Declaratively.

Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni

Proceedings of the Declarative Agent Languages and Technologies II, 2004

Planning Partially for Situated Agents.

Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Declarative Agent Control.

Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003

An Abductive Proof Procedure Handling Active Rules.

Paolo Mancarella, Giacomo Terreni

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Abduction in Classification Tasks.

Maurizio Atzori, Paolo Mancarella, Franco Turini

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002

Production Systems with Negation as Failure.

Phan Minh Dung, Paolo Mancarella

IEEE Trans. Knowl. Data Eng., 2002

Negation as Failure through Abduction: Reasoning about Termination.

Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning.

Phan Minh Dung, Paolo Mancarella, Francesca Toni

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

MuTACLP: A Language for Temporal Reasoning with Multiple Theories.

Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2000

MuTACLP: A Language for Declarative GIS Analysis.

Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini

Proceedings of the Computational Logic, 2000

1999

Knowledge representation with multiple logical theories and time.

Paolo Mancarella, Alessandra Raffaetà, Franco Turini

J. Exp. Theor. Artif. Intell., 1999

Temporal Annotated Constraint Logic Programming with Multiple Theories.

Paolo Mancarella, Alessandra Raffaetà, Franco Turini

Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998

Towards a Logical Semantics for Pure Prolog.

Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone

Sci. Comput. Program., 1998

1997

A Unifying View for Logic Programming with Non-Monotonic Reasoning.

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello

Theor. Comput. Sci., 1997

Time in a Multi-Theory Logical Framework.

Paolo Mancarella, Alessandra Raffaetà, Franco Turini

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

1996

A Multiple-Valued Logical Semantics for Prolog.

Roberto Barbuti, Paolo Mancarella

Proceedings of the Programming Languages and Systems, 1996

Production Systems Need Negation as Failure.

Phan Minh Dung, Paolo Mancarella

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

An Abductive Framework for Extended Logic Programming.

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

LOO: An Object Oriented Logic Programming Language.

Paolo Mancarella, Alessandra Raffaetà, Franco Turini

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Modular Logic Programming.

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini

ACM Trans. Program. Lang. Syst., 1994

Implementations of Program Composition Operations.

Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini

Proceedings of the Programming Language Implementation and Logic Programming, 1994

The Acceptability Semantics for Logic Programs.

Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung

Proceedings of the Logic Programming, 1994

Abduction and Abductive Logic Programming.

Antonis C. Kakas, Paolo Mancarella

Proceedings of the Logic Programming, 1994

1992

Short Note: Preferred Extensions are Partial Stable Models.

Antonis C. Kakas, Paolo Mancarella

J. Log. Program., 1992

Meta for Modularising Logic Programming.

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Normal Logic Programs as Open Positive Programs.

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello

Proceedings of the Logic Programming, 1992

1991

Stable Theories for Logic Programs.

Antonis C. Kakas, Paolo Mancarella

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Negation as Stable Hypotheses.

Antonis C. Kakas, Paolo Mancarella

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Theory Construction in Computational Logic.

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini

Proceedings of the Constructing Logic Programs, 1991

Abductive Reasoning in a Multi-Theory Framework.

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello

Proceedings of the Trends in Artificial Intelligence, 1991

1990

A Transformational Approach to Negation in Logic Programming.

Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini

J. Log. Program., 1990

Database Updates through Abduction.

Antonis C. Kakas, Paolo Mancarella

Proceedings of the 16th International Conference on Very Large Data Bases, 1990

Algebraic Properties of a Class of Logic Programs.

Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Logic Programming within a Functional Framework.

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini

Proceedings of the Programming Language Implementation and Logic Programming, 1990

Abductive Logic Programming.

Antonis C. Kakas, Paolo Mancarella

Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

Knowledge Assimilation and Abduction.

Antonis C. Kakas, Paolo Mancarella

Proceedings of the Truth Maintenance Systems, 1990

Generalized Stable Models: A Semantics for Abduction.

Antonis C. Kakas, Paolo Mancarella

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Universal Quantification by Case Analysis.

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1988

Complete Logic Programs with Domain-Closure Axiom.

Paolo Mancarella, Simone Martini, Dino Pedreschi

J. Log. Program., 1988

An Algebra of Logic Programs.

Paolo Mancarella, Dino Pedreschi

Proceedings of the Logic Programming, 1988

A Progress Report on the LML Project.

Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Intensional Negation of Logic Programs: Examples and Implementation Techniques.

Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1983

A High Level Analysis Tool for Concurrent Programs.

Paolo Mancarella, Franco Turini

Proceedings of the International Conference on Parallel Processing, 1983