- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c50 |      | Paolo Mancarella, Francesca Toni: Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties. Logic Programs, Norms and Action 2012: 33-51 |
| 2011 | ||
| j14 | | Paolo Mancarella, Francesca Toni: Computational logic in agent based systems. Intelligenza Artificiale 5(1): 139-143 (2011) |
| 2010 | ||
| c49 | | Phan Minh Dung, Francesca Toni, Paolo Mancarella: Some design guidelines for practical argumentation systems. COMMA 2010: 183-194 |
| 2009 | ||
| j13 | | Paolo Mancarella, Giacomo Terreni, Francesca Toni: Web Sites Repairing through Abduction. Electr. Notes Theor. Comput. Sci. 235: 137-152 (2009) |
| j12 | | Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss: The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. TPLP 9(6): 691-750 (2009) |
| c48 | | Maxime Morge, Paolo Mancarella: Assumption-Based Argumentation for the Minimal Concession Strategy. ArgMAS 2009: 114-133 |
| i1 | | 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 abs/0906.1182 (2009) |
| 2008 | ||
| j11 | | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. (JAIR) 33: 285-348 (2008) |
| c47 | | 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: 37-42 |
| 2007 | ||
| j10 | | Phan Minh Dung, Paolo Mancarella, Francesca Toni: Computing ideal sceptical argumentation. Artif. Intell. 171(10-15): 642-674 (2007) |
| c46 | | Paolo Mancarella, Giacomo Terreni, Francesca Toni: Web Sites Verification: An Abductive Logic Programming Tool. ICLP 2007: 434-435 |
| c45 |  | 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: 233-242 |
| c44 | | Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Programming Applications in CIFF. LPNMR 2007: 284-289 |
| 2006 | ||
| c43 | | Phan Minh Dung, Paolo Mancarella, Francesca Toni: A dialectic procedure for sceptical, assumption-based argumentation. COMMA 2006: 145-156 |
| 2005 | ||
| c42 | | Maurizio Atzori, Paolo Mancarella, Franco Turini: Memory-Aware Frequent k-Itemset Mining. KDID 2005: 38-54 |
| 2004 | ||
| j9 | | Paolo Mancarella, Alessandra Raffaetà, Chiara Renso, Franco Turini: Integrating knowledge representation and reasoning in Geographical Information Systems. International Journal of Geographical Information Science 18(4): 417-447 (2004) |
| c41 | | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Declarative Agent Control. CLIMA 2004: 96-110 |
| c40 | | Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Planning Partially for Situated Agents. CLIMA 2004: 230-248 |
| c39 | | Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni: On Modelling Multi-agent Systems Declaratively. DALT 2004: 53-68 |
| c38 | | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: The KGP Model of Agency. ECAI 2004: 33-37 |
| c37 | | Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni: Engineering Stable Multi-agent Systems. ESAW 2004: 322-334 |
| c36 | | 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: 340-367 |
| c35 | | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA 2004: 31-43 |
| c34 | | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684 |
| 2003 | ||
| c33 | | Paolo Mancarella, Giacomo Terreni: An Abductive Proof Procedure Handling Active Rules. AI*IA 2003: 105-117 |
| c32 | | Maurizio Atzori, Paolo Mancarella, Franco Turini: Abduction in Classification Tasks. AI*IA 2003: 213-224 |
| 2002 | ||
| j8 | | Phan Minh Dung, Paolo Mancarella: Production Systems with Negation as Failure. IEEE Trans. Knowl. Data Eng. 14(2): 336-352 (2002) |
| c31 | | Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini: MuTACLP: A Language for Temporal Reasoning with Multiple Theories. Computational Logic: Logic Programming and Beyond 2002: 1-40 |
| c30 | | Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri: Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond 2002: 240-272 |
| c29 | | 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: 289-310 |
| 2000 | ||
| c28 | | Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini: MuTACLP: A Language for Declarative GIS Analysis. Computational Logic 2000: 1002-1016 |
| 1999 | ||
| j7 | | Paolo Mancarella, Alessandra Raffaetà, Franco Turini: Knowledge representation with multiple logical theories and time. J. Exp. Theor. Artif. Intell. 11(1): 47-76 (1999) |
| c27 | | Paolo Mancarella, Alessandra Raffaetà, Franco Turini: Temporal Annotated Constraint Logic Programming with Multiple Theories. DEXA Workshop 1999: 501-508 |
| 1998 | ||
| j6 | | Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone: Towards a Logical Semantics for Pure Prolog. Sci. Comput. Program. 32(1-3): 145-176 (1998) |
| 1997 | ||
| j5 | | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theor. Comput. Sci. 184(1-2): 1-5 (1997) |
| c26 | | Paolo Mancarella, Alessandra Raffaetà, Franco Turini: Time in a Multi-Theory Logical Framework. TIME 1997: 62-68 |
| 1996 | ||
| c25 | | Phan Minh Dung, Paolo Mancarella: Production Systems Need Negation as Failure. AAAI/IAAI, Vol. 2 1996: 1242-1247 |
| c24 | | |
| 1995 | ||
| c23 | | Paolo Mancarella, Alessandra Raffaetà, Franco Turini: LOO: An Object Oriented Logic Programming Language. GULP-PRODE 1995: 271-282 |
| c22 | | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: An Abductive Framework for Extended Logic Programming. LPNMR 1995: 330-343 |
| 1994 | ||
| j4 | | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994) |
| c21 | | |
| c20 | | Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung: The Acceptability Semantics for Logic Programs. ICLP 1994: 504-519 |
| c19 | | Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini: Implementations of Program Composition Operations. PLILP 1994: 292-307 |
| 1992 | ||
| j3 | | Antonis C. Kakas, Paolo Mancarella: Short Note: Preferred Extensions are Partial Stable Models. J. Log. Program. 14(3&4): 341-348 (1992) |
| c18 | | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal logic programs as open positive programs. CNKBS 1992: 9-11 |
| c17 | | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal Logic Programs as Open Positive Programs. JICSLP 1992: 783-797 |
| c16 | | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Meta for Modularising Logic Programming. META 1992: 105-119 |
| 1991 | ||
| c15 | | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Abductive Reasoning in a Multi-Theory Framework. AI*IA 1991: 137-146 |
| c14 | | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991: 241-250 |
| c13 | | |
| c12 | | |
| 1990 | ||
| j2 | | Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8(3): 201-228 (1990) |
| c11 | | Antonis C. Kakas, Paolo Mancarella: Knowledge Assimilation and Abduction. Truth Maintenance Systems (ECAI Workshop) 1990: 54-70 |
| c10 | | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Universal Quantification by Case Analysis. ECAI 1990: 111-116 |
| c9 | | Antonis C. Kakas, Paolo Mancarella: Generalized Stable Models: A Semantics for Abduction. ECAI 1990: 385-391 |
| c8 | | |
| c7 | | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Logic Programming within a Functional Framework. PLILP 1990: 372-386 |
| c6 | | Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti: Algebraic Properties of a Class of Logic Programs. NACLP 1990: 23-39 |
| c5 | | |
| 1988 | ||
| j1 | | Paolo Mancarella, Simone Martini, Dino Pedreschi: Complete Logic Programs with Domain-Closure Axiom. J. Log. Program. 5(3): 263-276 (1988) |
| c4 | | Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini: A Progress Report on the LML Project. FGCS 1988: 675-684 |
| c3 | | |
| 1987 | ||
| c2 | | Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987: 96-110 |
| 1983 | ||
| c1 | | Paolo Mancarella, Franco Turini: A High Level Analysis Tool for Concurrent Programs. ICPP 1983: 293-302 |
Data released under the ODC-BY 1.0 license — See also our legal information page