A High Level Analysis Tool for Concurrent Programs. - Paolo Mancarella; Franco Turini (ICPP, 1983)

Intensional Negation of Logic Programs: Examples and Implementation Techniques. - Roberto Barbuti; Paolo Mancarella; Dino Pedreschi; Franco Turini (TAPSOFT, Vol.2, 1987)

A Progress Report on the LML Project. - Bruno Bertolino; Paolo Mancarella; Luigi Meo; Luca Nini; Dino Pedreschi; Franco Turini (FGCS, 1988)

An Algebra of Logic Programs. - Paolo Mancarella; Dino Pedreschi (ICLP/SLP, 1988)

Complete Logic Programs with Domain-Closure Axiom. - Paolo Mancarella; Simone Martini 001; Dino Pedreschi (J. Log. Program., 1988)

Universal Quantification by Case Analysis. - Antonio Brogi; Paolo Mancarella; Dino Pedreschi; Franco Turini (ECAI, 1990)

Generalized Stable Models: A Semantics for Abduction. - Antonis C. Kakas; Paolo Mancarella (ECAI, 1990)

Knowledge Assimilation and Abduction. - Antonis C. Kakas; Paolo Mancarella (Truth Maintenance Systems (ECAI Workshop), 1990)

Abductive Logic Programming. - Antonis C. Kakas; Paolo Mancarella (LPNMR, 1990)

Logic Programming within a Functional Framework. - Antonio Brogi; Paolo Mancarella; Dino Pedreschi; Franco Turini (PLILP, 1990)

Algebraic Properties of a Class of Logic Programs. - Paolo Mancarella; Dino Pedreschi; Marina Rondinelli; Marco Tagliatti (NACLP, 1990)

Database Updates through Abduction. - Antonis C. Kakas; Paolo Mancarella (VLDB, 1990)

A Transformational Approach to Negation in Logic Programming. - Roberto Barbuti; Paolo Mancarella; Dino Pedreschi; Franco Turini (J. Log. Program., 1990)

Abductive Reasoning in a Multi-Theory Framework. - Antonio Brogi; Evelina Lamma; Paolo Mancarella; Paola Mello (AI*IA, 1991)

Theory Construction in Computational Logic. - Antonio Brogi; Paolo Mancarella; Dino Pedreschi; Franco Turini (ICLP Workshop on Construction of Logic Programs, 1991)

Negation as Stable Hypotheses. - Antonis C. Kakas; Paolo Mancarella (LPNMR, 1991)

Stable Theories for Logic Programs. - Antonis C. Kakas; Paolo Mancarella (ISLP, 1991)

Normal Logic Programs as Open Positive Programs. - Antonio Brogi; Evelina Lamma; Paolo Mancarella; Paola Mello (JICSLP, 1992)

Meta for Modularising Logic Programming. - Antonio Brogi; Paolo Mancarella; Dino Pedreschi; Franco Turini (META, 1992)

Short Note: Preferred Extensions are Partial Stable Models. - Antonis C. Kakas; Paolo Mancarella (J. Log. Program., 1992)

Abduction and Abductive Logic Programming. - Antonis C. Kakas; Paolo Mancarella (ICLP, 1994)

The Acceptability Semantics for Logic Programs. - Antonis C. Kakas; Paolo Mancarella; Phan Minh Dung (ICLP, 1994)

Implementations of Program Composition Operations. - Antonio Brogi; A. Chiarelli; Paolo Mancarella; V. Mazzotta; Dino Pedreschi; Chiara Renso; Franco Turini (PLILP, 1994)

Modular Logic Programming. - Antonio Brogi; Paolo Mancarella; Dino Pedreschi; Franco Turini (ACM Trans. Program. Lang. Syst., 1994)

LOO: An Object Oriented Logic Programming Language. - Paolo Mancarella; Alessandra Raffaetà; Franco Turini (GULP-PRODE, 1995)

An Abductive Framework for Extended Logic Programming. - Antonio Brogi; Evelina Lamma; Paolo Mancarella; Paola Mello (LPNMR, 1995)

Production Systems Need Negation as Failure. - Phan Minh Dung; Paolo Mancarella (AAAI/IAAI, Vol. 2, 1996)

A Multiple-Valued Logical Semantics for Prolog. - Roberto Barbuti; Paolo Mancarella (ESOP, 1996)

Time in a Multi-Theory Logical Framework. - Paolo Mancarella; Alessandra Raffaetà; Franco Turini (TIME, 1997)

A Unifying View for Logic Programming with Non-Monotonic Reasoning. - Antonio Brogi; Evelina Lamma; Paolo Mancarella; Paola Mello (Theor. Comput. Sci., 1997)

Towards a Logical Semantics for Pure Prolog. - Roberto Barbuti; Nicoletta De Francesco; Paolo Mancarella; Antonella Santone (Sci. Comput. Program., 1998)

Temporal Annotated Constraint Logic Programming with Multiple Theories. - Paolo Mancarella; Alessandra Raffaetà; Franco Turini (DEXA Workshop, 1999)

Knowledge representation with multiple logical theories and time. - Paolo Mancarella; Alessandra Raffaetà; Franco Turini (J. Exp. Theor. Artif. Intell., 1999)

MuTACLP: A Language for Declarative GIS Analysis. - Paolo Mancarella; Gianluca Nerbini; Alessandra Raffaetà; Franco Turini (Computational Logic, 2000)

MuTACLP: A Language for Temporal Reasoning with Multiple Theories. - Paolo Baldan; Paolo Mancarella; Alessandra Raffaetà; Franco Turini (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 (Computational Logic: Logic Programming and Beyond, 2002)

Negation as Failure through Abduction: Reasoning about Termination. - Paolo Mancarella; Dino Pedreschi; Salvatore Ruggieri (Computational Logic: Logic Programming and Beyond, 2002)

Production Systems with Negation as Failure. - Phan Minh Dung; Paolo Mancarella (IEEE Trans. Knowl. Data Eng., 2002)

Abduction in Classification Tasks. - Maurizio Atzori; Paolo Mancarella; Franco Turini (AI*IA, 2003)

An Abductive Proof Procedure Handling Active Rules. - Paolo Mancarella; Giacomo Terreni (AI*IA, 2003)

Declarative Agent Control. - Antonis C. Kakas; Paolo Mancarella; Fariba Sadri; Kostas Stathis; Francesca Toni (CLIMA, 2004)

Planning Partially for Situated Agents. - Paolo Mancarella; Fariba Sadri; Giacomo Terreni; Francesca Toni (CLIMA, 2004)

On Modelling Multi-agent Systems Declaratively. - Andrea Bracciali; Paolo Mancarella; Kostas Stathis; Francesca Toni (DALT, 2004)

The KGP Model of Agency. - Antonis C. Kakas; Paolo Mancarella; Fariba Sadri; Kostas Stathis; Francesca Toni (ECAI, 2004)

Engineering Stable Multi-agent Systems. - Andrea Bracciali; Paolo Mancarella; Kostas Stathis; Francesca Toni (ESAW, 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 (Global Computing, 2004)

The CIFF Proof Procedure for Abductive Logic Programming with Constraints. - Ulrich Endriss; Paolo Mancarella; Fariba Sadri; Giacomo Terreni; Francesca Toni (JELIA, 2004)

Abductive Logic Programming with CIFF: System Description. - Ulrich Endriss; Paolo Mancarella; Fariba Sadri; Giacomo Terreni; Francesca Toni (JELIA, 2004)

Integrating knowledge representation and reasoning in Geographical Information Systems. - Paolo Mancarella; Alessandra Raffaetà; Chiara Renso; Franco Turini (Int. J. Geogr. Inf. Sci., 2004)

Memory-Aware Frequent k-Itemset Mining. - Maurizio Atzori; Paolo Mancarella; Franco Turini (KDID, 2005)

A dialectic procedure for sceptical, assumption-based argumentation. - Phan Minh Dung; Paolo Mancarella; Francesca Toni (COMMA, 2006)

Web Sites Verification: An Abductive Logic Programming Tool. - Paolo Mancarella; Giacomo Terreni; Francesca Toni (ICLP, 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 (JFSMA, 2007)

Programming Applications in CIFF. - Paolo Mancarella; Fariba Sadri; Giacomo Terreni; Francesca Toni (LPNMR, 2007)

Computing ideal sceptical argumentation. - Phan Minh Dung; Paolo Mancarella; Francesca Toni (Artif. Intell., 2007)

An Argumentative Model for Service-Oriented Agents. - Maxime Morge; Paolo Mancarella; Jarred McGinnis; Stefano Bromuri; Kostas Stathis (AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 2008)

Computational Logic and Agent Based Systems. - Paolo Mancarella; Francesca Toni (Il Milione, 2008)

Abduction and legal reasoning. - Giada Maggenti; Andrea Bracciali; Paolo Mancarella (e-Forensics, 2008)

Web Sites Repairing through Abduction. - Paolo Mancarella; Giacomo Terreni; Francesca Toni (WWV, 2008)

Computational Logic Foundations of KGP Agents. - Antonis C. Kakas; Paolo Mancarella; Fariba Sadri; Kostas Stathis; Francesca Toni (J. Artif. Intell. Res., 2008)

Assumption-Based Argumentation for the Minimal Concession Strategy. - Maxime Morge; Paolo Mancarella (ArgMAS, 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)

Some design guidelines for practical argumentation systems. - Phan Minh Dung; Francesca Toni; Paolo Mancarella (COMMA, 2010)

Computational logic in agent based systems. - Paolo Mancarella; Francesca Toni (Intelligenza Artificiale, 2011)

Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties. - Paolo Mancarella; Francesca Toni (Logic Programs, Norms and Action, 2012)

On the semantics of abstract argumentation. - Antonis C. Kakas; Paolo Mancarella (J. Log. Comput., 2013)

Argumentative Agents for Service-Oriented Computing. - Maxime Morge; Jarred McGinnis; Stefano Bromuri; Paolo Mancarella; Kostas Stathis; Francesca Toni (Multiagent Systems and Applications - Volume 1, 2013)

Argumentation for Propositional Logic and Nonmonotonic Reasoning. - Antonis C. Kakas; Francesca Toni; Paolo Mancarella (CILC, 2014)

Argumentation Logic. - Antonis C. Kakas; Francesca Toni; Paolo Mancarella (COMMA, 2014)

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 (AAATE Conf., 2015)

On Argumentation Logic and Propositional Logic. - Antonis C. Kakas; Paolo Mancarella; Francesca Toni (Stud Logica, 2018)

On the Extension of Argumentation Logic. - Antonis C. Kakas; Paolo Mancarella (CILC, 2024)