Paolo Mancarella

76 papers A* 1A 4B 10C 4Journal 18Unranked 38

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