The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paolo Mancarella: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Antonis C. Kakas, Paolo Mancarella
    Database Updates through Abduction. [Citation Graph (12, 19)][DBLP]
    VLDB, 1990, pp:650-661 [Conf]
  2. Antonis C. Kakas, Paolo Mancarella
    Generalized Stable Models: A Semantics for Abduction. [Citation Graph (1, 0)][DBLP]
    ECAI, 1990, pp:385-391 [Conf]
  3. Phan Minh Dung, Paolo Mancarella
    Production Systems Need Negation as Failure. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 2, 1996, pp:1242-1247 [Conf]
  4. Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    LOO: An Object Oriented Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:271-282 [Conf]
  5. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    Abductive Reasoning in a Multi-Theory Framework. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1991, pp:137-146 [Conf]
  6. Maurizio Atzori, Paolo Mancarella, Franco Turini
    Abduction in Classification Tasks. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:213-224 [Conf]
  7. Paolo Mancarella, Giacomo Terreni
    An Abductive Proof Procedure Handling Active Rules. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:105-117 [Conf]
  8. Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    MuTACLP: A Language for Temporal Reasoning with Multiple Theories. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:1-40 [Conf]
  9. Phan Minh Dung, Paolo Mancarella, Francesca Toni
    Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:289-310 [Conf]
  10. Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri
    Negation as Failure through Abduction: Reasoning about Termination. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:240-272 [Conf]
  11. Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini
    MuTACLP: A Language for Declarative GIS Analysis. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1002-1016 [Conf]
  12. Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
    Declarative Agent Control. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:96-110 [Conf]
  13. Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
    Planning Partially for Situated Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:230-248 [Conf]
  14. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    Normal logic programs as open positive programs. [Citation Graph (0, 0)][DBLP]
    CNKBS, 1992, pp:9-11 [Conf]
  15. Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
    On Modelling Multi-agent Systems Declaratively. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:53-68 [Conf]
  16. Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    Temporal Annotated Constraint Logic Programming with Multiple Theories. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1999, pp:501-508 [Conf]
  17. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Universal Quantification by Case Analysis. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:111-116 [Conf]
  18. Antonis C. Kakas, Paolo Mancarella
    Knowledge Assimilation and Abduction. [Citation Graph (0, 0)][DBLP]
    Truth Maintenance Systems (ECAI Workshop), 1990, pp:54-70 [Conf]
  19. Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
    The KGP Model of Agency. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:33-37 [Conf]
  20. Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
    Engineering Stable Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    ESAW, 2004, pp:322-334 [Conf]
  21. Roberto Barbuti, Paolo Mancarella
    A Multiple-Valued Logical Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:62-76 [Conf]
  22. Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini
    A Progress Report on the LML Project. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:675-684 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:340-367 [Conf]
  24. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    Normal Logic Programs as Open Positive Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:783-797 [Conf]
  25. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Theory Construction in Computational Logic. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Construction of Logic Programs, 1991, pp:241-250 [Conf]
  26. Antonis C. Kakas, Paolo Mancarella
    Abduction and Abductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:18-19 [Conf]
  27. Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung
    The Acceptability Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:504-519 [Conf]
  28. Paolo Mancarella, Dino Pedreschi
    An Algebra of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1006-1023 [Conf]
  29. Paolo Mancarella, Franco Turini
    A High Level Analysis Tool for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ICPP, 1983, pp:293-302 [Conf]
  30. Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
    The CIFF Proof Procedure for Abductive Logic Programming with Constraints. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:31-43 [Conf]
  31. Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
    Abductive Logic Programming with CIFF: System Description. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:680-684 [Conf]
  32. Maurizio Atzori, Paolo Mancarella, Franco Turini
    Memory-Aware Frequent k-Itemset Mining. [Citation Graph (0, 0)][DBLP]
    KDID, 2005, pp:38-54 [Conf]
  33. Antonis C. Kakas, Paolo Mancarella
    Abductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:49-61 [Conf]
  34. Antonis C. Kakas, Paolo Mancarella
    Negation as Stable Hypotheses. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1991, pp:275-288 [Conf]
  35. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    An Abductive Framework for Extended Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:330-343 [Conf]
  36. Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
    Programming Applications in CIFF. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:284-289 [Conf]
  37. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Meta for Modularising Logic Programming. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:105-119 [Conf]
  38. Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini
    Implementations of Program Composition Operations. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:292-307 [Conf]
  39. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Logic Programming within a Functional Framework. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:372-386 [Conf]
  40. Antonis C. Kakas, Paolo Mancarella
    Stable Theories for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:85-100 [Conf]
  41. Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti
    Algebraic Properties of a Class of Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:23-39 [Conf]
  42. Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Intensional Negation of Logic Programs: Examples and Implementation Techniques. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:96-110 [Conf]
  43. Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    Time in a Multi-Theory Logical Framework. [Citation Graph (0, 0)][DBLP]
    TIME, 1997, pp:62-70 [Conf]
  44. Paolo Mancarella, Alessandra Raffaetà, Chiara Renso, Franco Turini
    Integrating knowledge representation and reasoning in Geographical Information Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Geographical Information Science, 2004, v:18, n:4, pp:417-447 [Journal]
  45. Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    Knowledge representation with multiple logical theories and time. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 1999, v:11, n:1, pp:47-76 [Journal]
  46. Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
    A Transformational Approach to Negation in Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1990, v:8, n:3, pp:201-228 [Journal]
  47. Antonis C. Kakas, Paolo Mancarella
    Short Note: Preferred Extensions are Partial Stable Models. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:14, n:3&4, pp:341-348 [Journal]
  48. Paolo Mancarella, Simone Martini, Dino Pedreschi
    Complete Logic Programs with Domain-Closure Axiom. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1988, v:5, n:3, pp:263-276 [Journal]
  49. Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone
    Towards a Logical Semantics for Pure Prolog. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:32, n:1-3, pp:145-176 [Journal]
  50. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    A Unifying View for Logic Programming with Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:184, n:1-2, pp:1-5 [Journal]
  51. Phan Minh Dung, Paolo Mancarella
    Production Systems with Negation as Failure. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2002, v:14, n:2, pp:336-352 [Journal]
  52. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Modular Logic Programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:4, pp:1361-1398 [Journal]
  53. Paolo Mancarella, Giacomo Terreni, Francesca Toni
    Web Sites Verification: An Abductive Logic Programming Tool. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:434-435 [Conf]
  54. Phan Minh Dung, Paolo Mancarella, Francesca Toni
    Computing ideal sceptical argumentation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2007, v:171, n:10-15, pp:642-674 [Journal]

  55. Assumption-Based Argumentation for the Minimal Concession Strategy. [Citation Graph (, )][DBLP]


  56. A dialectic procedure for sceptical, assumption-based argumentation. [Citation Graph (, )][DBLP]


  57. The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments [Citation Graph (, )][DBLP]


  58. Web Sites Repairing through Abduction. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002