Paolo Mancarella

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 2

Top Topics

Propositional Logic

Logic Based Argumentation

Defeasible Logic

Top Venues

Publications

Antonis C. Kakas, Paolo Mancarella
On the Extension of Argumentation Logic. CILC (2024)
Antonis C. Kakas, Paolo Mancarella, Francesca Toni
On Argumentation Logic and Propositional Logic. Stud Logica 106 (2) (2018)
Luca Ciampi, Alfonso Curreri, Massimiliano Donati, Luca Fanucci, Federica Gorrasi, Stefano Landucci, Paolo Mancarella, Fiammetta Savoia
Bridging the gap between high school and University studies for student with disability. AAATE Conf. (2015)
Antonis C. Kakas, Francesca Toni, Paolo Mancarella
Argumentation for Propositional Logic and Nonmonotonic Reasoning. CILC (2014)
Antonis C. Kakas, Francesca Toni, Paolo Mancarella
Argumentation Logic. COMMA (2014)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
Computational Logic Foundations of KGP Agents. CoRR (2014)
Antonis C. Kakas, Paolo Mancarella
On the semantics of abstract argumentation. J. Log. Comput. 23 (5) (2013)
Paolo Mancarella, Francesca Toni
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties. Logic Programs, Norms and Action (2012)
Paolo Mancarella, Francesca Toni
Computational logic in agent based systems. Intelligenza Artificiale 5 (1) (2011)
Phan Minh Dung, Francesca Toni, Paolo Mancarella
Some design guidelines for practical argumentation systems. COMMA (2010)
Maxime Morge, Paolo Mancarella
Assumption-Based Argumentation for the Minimal Concession Strategy. ArgMAS (2009)
Paolo Mancarella, Giacomo Terreni, Francesca Toni
Web Sites Repairing through Abduction. Electron. Notes Theor. Comput. Sci. 235 (2009)
Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. Theory Pract. Log. Program. 9 (6) (2009)
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 (2009)
Paolo Mancarella, Francesca Toni
Computational Logic and Agent Based Systems. Il Milione (2008)
Maxime Morge, Paolo Mancarella, Jarred McGinnis, Stefano Bromuri, Kostas Stathis
An Argumentative Model for Service-Oriented Agents. AAAI Spring Symposium: Emotion, Personality, and Social Behavior (2008)
Giada Maggenti, Andrea Bracciali, Paolo Mancarella
Abduction and legal reasoning. e-Forensics (2008)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. 33 (2008)
Maxime Morge, Jarred McGinnis, Stefano Bromuri, Francesca Toni, Paolo Mancarella, Kostas Stathis
Vers une architecture modulaire d'agent argumentatif pour la composition de services. JFSMA (2007)
Paolo Mancarella, Giacomo Terreni, Francesca Toni
Web Sites Verification: An Abductive Logic Programming Tool. ICLP (2007)
Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Programming Applications in CIFF. LPNMR (2007)
Phan Minh Dung, Paolo Mancarella, Francesca Toni
Computing ideal sceptical argumentation. Artif. Intell. 171 (10-15) (2007)
Phan Minh Dung, Paolo Mancarella, Francesca Toni
A dialectic procedure for sceptical, assumption-based argumentation. COMMA (2006)
Maurizio Atzori, Paolo Mancarella, Franco Turini
-Itemset Mining. KDID (2005)
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)
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
Engineering Stable Multi-agent Systems. ESAW (2004)
Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Planning Partially for Situated Agents. CLIMA (2004)
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA (2004)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
Declarative Agent Control. CLIMA (2004)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
The KGP Model of Agency. ECAI (2004)
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
On Modelling Multi-agent Systems Declaratively. DALT (2004)
Paolo Mancarella, Alessandra Raffaetà, Chiara Renso, Franco Turini
Integrating knowledge representation and reasoning in Geographical Information Systems. Int. J. Geogr. Inf. Sci. 18 (4) (2004)
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Abductive Logic Programming with CIFF: System Description. JELIA (2004)
Maurizio Atzori, Paolo Mancarella, Franco Turini
Abduction in Classification Tasks. AI*IA (2003)
Paolo Mancarella, Giacomo Terreni
An Abductive Proof Procedure Handling Active Rules. AI*IA (2003)
Phan Minh Dung, Paolo Mancarella
Production Systems with Negation as Failure. IEEE Trans. Knowl. Data Eng. 14 (2) (2002)
Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini
MuTACLP: A Language for Temporal Reasoning with Multiple Theories. Computational Logic: Logic Programming and Beyond (2002)
Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri
Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond (2002)
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)
Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini
MuTACLP: A Language for Declarative GIS Analysis. Computational Logic (2000)
Paolo Mancarella, Alessandra Raffaetà, Franco Turini
Temporal Annotated Constraint Logic Programming with Multiple Theories. DEXA Workshop (1999)
Paolo Mancarella, Alessandra Raffaetà, Franco Turini
Knowledge representation with multiple logical theories and time. J. Exp. Theor. Artif. Intell. 11 (1) (1999)
Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone
Towards a Logical Semantics for Pure Prolog. Sci. Comput. Program. 32 (1-3) (1998)
Paolo Mancarella, Alessandra Raffaetà, Franco Turini
Time in a Multi-Theory Logical Framework. TIME (1997)
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theor. Comput. Sci. 184 (1-2) (1997)
Roberto Barbuti, Paolo Mancarella
A Multiple-Valued Logical Semantics for Prolog. ESOP (1996)
Phan Minh Dung, Paolo Mancarella
Production Systems Need Negation as Failure. AAAI/IAAI, Vol. 2 (1996)
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
An Abductive Framework for Extended Logic Programming. LPNMR (1995)
Paolo Mancarella, Alessandra Raffaetà, Franco Turini
LOO: An Object Oriented Logic Programming Language. GULP-PRODE (1995)
Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung
The Acceptability Semantics for Logic Programs. ICLP (1994)
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16 (4) (1994)
Antonis C. Kakas, Paolo Mancarella
Abduction and Abductive Logic Programming. ICLP (1994)
Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini
Implementations of Program Composition Operations. PLILP (1994)
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
Meta for Modularising Logic Programming. META (1992)
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
Normal Logic Programs as Open Positive Programs. JICSLP (1992)
Antonis C. Kakas, Paolo Mancarella
Short Note: Preferred Extensions are Partial Stable Models. J. Log. Program. 14 (3&4) (1992)
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
Normal logic programs as open positive programs. CNKBS (1992)
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs (1991)
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
Abductive Reasoning in a Multi-Theory Framework. AI*IA (1991)
Antonis C. Kakas, Paolo Mancarella
Stable Theories for Logic Programs. ISLP (1991)
Antonis C. Kakas, Paolo Mancarella
Negation as Stable Hypotheses. LPNMR (1991)
Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8 (3) (1990)
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
Logic Programming within a Functional Framework. PLILP (1990)
Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti
Algebraic Properties of a Class of Logic Programs. NACLP (1990)
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
Universal Quantification by Case Analysis. ECAI (1990)
Antonis C. Kakas, Paolo Mancarella
Abductive Logic Programming. LPNMR (1990)
Antonis C. Kakas, Paolo Mancarella
Knowledge Assimilation and Abduction. Truth Maintenance Systems (ECAI Workshop) (1990)
Antonis C. Kakas, Paolo Mancarella
Database Updates through Abduction. VLDB (1990)
Antonis C. Kakas, Paolo Mancarella
Generalized Stable Models: A Semantics for Abduction. ECAI (1990)
Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini
A Progress Report on the LML Project. FGCS (1988)
Paolo Mancarella, Simone Martini, Dino Pedreschi
Complete Logic Programs with Domain-Closure Axiom. J. Log. Program. 5 (3) (1988)
Paolo Mancarella, Dino Pedreschi
An Algebra of Logic Programs. ICLP/SLP (1988)
Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 (1987)
Paolo Mancarella, Franco Turini
A High Level Analysis Tool for Concurrent Programs. ICPP (1983)