The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paola Mello: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Evelina Lamma, Paola Mello, Antonio Natali
    An Extended Warren Abstract Machine for the Execution of Structured Logic Programs. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1992, v:14, n:3&4, pp:187-222 [Journal]
  2. Anna Ciampolini, Evelina Lamma, Paola Mello
    Improving the Efficiency of Dynamic Modular Logic Languages. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:347-358 [Conf]
  3. Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello
    Domains as First Class Objects in CLP(FD). [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:411-424 [Conf]
  4. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
    Interpreting Abduction in CLP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:25-35 [Conf]
  5. Evelina Lamma, Michela Milano, Rita Cucchiara, Paola Mello, Massimo Piccardi
    Interactive Constraint Satisfaction and its Application to Visual Object Recognition. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:57-70 [Conf]
  6. Evelina Lamma, Paola Mello, Michela Milano
    Enhancing Constraint Logic Programming through Meta Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:523-534 [Conf]
  7. Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
    An Algorithm for Learning Abductive Rules. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:295-306 [Conf]
  8. Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
    Comsumption-based Distributed Unification. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:207-218 [Conf]
  9. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    An Abductive Interpretation for Open Agent Societies. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:287-299 [Conf]
  10. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    The SCIFF Abductive Proof-Procedure. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2005, pp:135-147 [Conf]
  11. 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]
  12. Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni
    An Implementation for Abductive Logic Agents. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1999, pp:61-71 [Conf]
  13. Evelina Lamma, Paola Mello
    Computing 3-valued Stable Models by using the ATMS. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:23-34 [Conf]
  14. Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
    Introducing Abduction into (Extensional) Inductive Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1997, pp:183-194 [Conf]
  15. Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma
    Coordinating the safe execution of tasks in a constrained multi-agent system. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:940-941 [Conf]
  16. Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari
    Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. [Citation Graph (0, 0)][DBLP]
    CBMS, 2005, pp:503-505 [Conf]
  17. Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti
    An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. [Citation Graph (0, 0)][DBLP]
    CBMS, 2002, pp:13-20 [Conf]
  18. Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    A Social ACL Semantics by Deontic Constraints. [Citation Graph (0, 0)][DBLP]
    CEEMAS, 2003, pp:204-213 [Conf]
  19. Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
    Expressing Collaborative and Competitive Coordination among Abductive. [Citation Graph (0, 0)][DBLP]
    CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:35-43 [Conf]
  20. Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
    Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:243-264 [Conf]
  21. Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    An Abductive Framework for Information Exchange in Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    CLIMA IV, 2004, pp:34-52 [Conf]
  22. 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]
  23. Evelina Lamma, Paola Mello, Michela Milano
    A Meta Constraint Logic Programming Architecture (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:549-550 [Conf]
  24. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. [Citation Graph (0, 0)][DBLP]
    DALT, 2003, pp:243-262 [Conf]
  25. Antonio Brogi, Evelina Lamma, Paola Mello
    Inheritance and Hypothetical Reasoning in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:105-110 [Conf]
  26. Antonio Brogi, Evelina Lamma, Paola Mello
    ATMS for Implementing Logic Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:114-118 [Conf]
  27. Marco Cavalieri, Evelina Lamma, Paola Mello
    An Extended Prolog Machine for Dynamic Context Handling. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:284-289 [Conf]
  28. Evelina Lamma, Paola Mello
    An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:119-123 [Conf]
  29. Paola Mello, Antonio Natali
    Objects as Communicating Prolog Units. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1987, pp:181-191 [Conf]
  30. Rosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano
    Least Commitment on Variable Binding in Presence of Incomplete Knowledge. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:159-171 [Conf]
  31. Antonio Brogi, Evelina Lamma, Paola Mello
    Open Logic Theories. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:73-88 [Conf]
  32. Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
    Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:62-76 [Conf]
  33. Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
    Techniques for Implementing Contexts in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:339-358 [Conf]
  34. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Security Protocols Verification in Abductive Logic Programming: A Case Study. [Citation Graph (0, 0)][DBLP]
    ESAW, 2005, pp:106-124 [Conf]
  35. Paola Mello, Antonio Natali
    Programs as Collections of Communicating Prolog Units. [Citation Graph (0, 0)][DBLP]
    ESOP, 1986, pp:274-288 [Conf]
  36. Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
    Improving Distributed Unification through Type Analysis. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:1181-1190 [Conf]
  37. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    Exploiting Constraints for Domain Managing in CLP(FD). [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:177-191 [Conf]
  38. Evelina Lamma, Michela Milano, Paola Mello
    Combining Solvers in a Meta Constraint Logic Programming Architecture. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:267-283 [Conf]
  39. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:314-339 [Conf]
  40. Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi
    3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    ICIAP, 1999, pp:508-513 [Conf]
  41. Rita Cucchiara, Massimo Piccardi, Michele Bariani, Paola Mello
    Learning for Feature Selection and Shape Detection. [Citation Graph (0, 0)][DBLP]
    ICIAP (1), 1997, pp:535-542 [Conf]
  42. 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]
  43. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    Domains as First Class Objects in CLP(FD). [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:608- [Conf]
  44. Evelina Lamma, Paola Mello
    Modularity in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:15-17 [Conf]
  45. Evelina Lamma, Michela Milano, Paola Mello
    Reasoning on Constraints in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:413- [Conf]
  46. Evelina Lamma, Paola Mello, Antonio Natali
    The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:303-317 [Conf]
  47. Massimo Piccardi, Rita Cucchiara, Michele Bariani, Paola Mello
    Exploiting Symbolic Learning in Visual Inspection. [Citation Graph (0, 0)][DBLP]
    IDA, 1997, pp:223-234 [Conf]
  48. Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari
    An Expert System for the Oral Anticoagulation Treatment. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2005, pp:773-782 [Conf]
  49. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Abduction with Hypotheses Confirmation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1545-1546 [Conf]
  50. Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi
    Constraint Propagation and Value Acquisition: Why we should do it Interactively. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:468-477 [Conf]
  51. Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari, Giuseppe Trocino
    Learning the Dose Adjustment for the Oral Anticoagulation Treatment. [Citation Graph (0, 0)][DBLP]
    ISBMDA, 2004, pp:171-181 [Conf]
  52. Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari
    An Expert System for Microbiological Data Validation and Surveillance. [Citation Graph (0, 0)][DBLP]
    ISMDA, 2001, pp:153-160 [Conf]
  53. Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi
    A System for Monitoring Nosocomial Infections. [Citation Graph (0, 0)][DBLP]
    ISMDA, 2000, pp:282-292 [Conf]
  54. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
    A Verifiable Logic-Based Agent Architecture. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2006, pp:188-197 [Conf]
  55. Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani
    Resource-Based vs. Task-Based Approaches for Scheduling Problems. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1996, pp:325-334 [Conf]
  56. Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari
    A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2006, pp:338-343 [Conf]
  57. Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano
    An Interactive Constraint-Based System for Selective Attention in Visual Search. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1997, pp:431-440 [Conf]
  58. Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
    A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:14-26 [Conf]
  59. Evelina Lamma, Paola Mello
    A Rationalisation of the ATMS in Terms of Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1992, pp:118-131 [Conf]
  60. Antonio Brogi, Evelina Lamma, Paola Mello
    Objects in a Logic Programming Framework. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:102-113 [Conf]
  61. Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
    A System for Abductive Learning of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPKR, 1997, pp:102-122 [Conf]
  62. 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]
  63. Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali
    Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:399-415 [Conf]
  64. Evelina Lamma, Paola Mello
    Processing Abductive Reasoning via Contextual Logic Programming. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:336-343 [Conf]
  65. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
    An abductive framework for a-priori verification of web services. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:39-50 [Conf]
  66. Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
    Specification and verification of agent interaction protocols in a logic-based system. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:72-78 [Conf]
  67. Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
    Abductive Coordination for Logic Agents. [Citation Graph (0, 0)][DBLP]
    SAC, 1999, pp:134-140 [Conf]
  68. Michele Bugliesi, Evelina Lamma, Paola Mello
    Partial Evaluation for Hierarchies of Logic Theories. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:359-376 [Conf]
  69. Paola Mello, Antonio Natali, Cristina Ruggieri
    Logic Programming in a Software Engineering Perspective. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:441-458 [Conf]
  70. Evelina Lamma, Paola Mello, Michela Milano
    Temporal Reasoning in a Meta Constraint Logic Programming Architecture. [Citation Graph (0, 0)][DBLP]
    TIME, 1996, pp:- [Conf]
  71. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
    A Logic based Approach to Interaction Design in Open Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    WETICE, 2004, pp:387-392 [Conf]
  72. Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
    Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:53-64 [Conf]
  73. Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari
    Protocol Specification and Verification by Using Computational Logic. [Citation Graph (0, 0)][DBLP]
    WOA, 2005, pp:184-192 [Conf]
  74. Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
    Expressing Collaboration And Competition Among Abductive Logic Agents. [Citation Graph (0, 0)][DBLP]
    WOA, 2000, pp:64-69 [Conf]
  75. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
    Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:58-72 [Conf]
  76. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
    Compliance verification of agent interaction: a logic-based software tool. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2006, v:20, n:2-4, pp:133-157 [Journal]
  77. Evelina Lamma, Paola Mello, Michela Milano
    A distributed constraint-based scheduler. [Citation Graph (0, 0)][DBLP]
    AI in Engineering, 1997, v:11, n:2, pp:91-105 [Journal]
  78. Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni
    Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:37, n:1-2, pp:65-91 [Journal]
  79. Evelina Lamma, Michela Milano, Paola Mello
    Extending Constraint Logic Programming for Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:1-2, pp:139-158 [Journal]
  80. Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello
    Blackboard- and Object-Based Systems via Multi-Head Clauses. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 1997, v:16, n:4, pp:- [Journal]
  81. Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
    Exploiting Type Analysis for Unification in a Distributed Environment. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 1999, v:18, n:5, pp:- [Journal]
  82. Evelina Lamma, Paola Mello, Fabrizio Riguzzi
    A System for Measuring Function Points from an ER-DFD Specification. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2004, v:47, n:3, pp:358-372 [Journal]
  83. Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
    LAILA: a language for coordinating abductive reasoning among logic agents. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2001, v:27, n:4, pp:137-161 [Journal]
  84. Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello
    Distributed Logic Objects. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1996, v:22, n:4, pp:237-258 [Journal]
  85. Evelina Lamma, Paola Mello, Gianfranco Rossi
    Parametric Composable Modules in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:18, n:2, pp:105-123 [Journal]
  86. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    A CHR-based Implementation of Known Arc-Consistency [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  87. Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
    Optimizing Modular Logic Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:10- [Journal]
  88. Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
    Distributed logic objects: A fragment of rewriting logic and its implementation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  89. Sergio Storari, Evelina Lamma, R. Mancini, Paola Mello, R. Motta, D. Patrono, G. Canova
    Validation of biochemical laboratory results using the DNSev expert system. [Citation Graph (0, 0)][DBLP]
    Expert Syst. Appl., 2003, v:25, n:4, pp:503-515 [Journal]
  90. Bruno Fringuelli, Evelina Lamma, Paola Mello, Giovanni Santocchia
    Knowledge-Based Technology for Controlling Railway Stations. [Citation Graph (0, 0)][DBLP]
    IEEE Expert, 1992, v:7, n:6, pp:45-52 [Journal]
  91. Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni
    Expressing interaction in combinatorial auction through social integrity constraints. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2005, v:2, n:1, pp:22-29 [Journal]
  92. Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari
    A knowledge based system for the anticoagulant oral therapy. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2004, v:1, n:4, pp:9-15 [Journal]
  93. Rita Cucchiara, Paola Mello, Massimo Piccardi, Fabrizio Riguzzi
    An application of machine learning and statistics to defect detection. [Citation Graph (0, 0)][DBLP]
    Intell. Data Anal., 2001, v:5, n:2, pp:151-164 [Journal]
  94. Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paola Mello
    The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:42, n:6, pp:331-338 [Journal]
  95. Antonio Brogi, Evelina Lamma, Paola Mello
    Hypothetical Reasoning in Logic Programming: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1990, v:36, n:6, pp:285-291 [Journal]
  96. Anna Ciampolini, Evelina Lamma, Paola Mello
    An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:58, n:4, pp:163-170 [Journal]
  97. Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
    Integrating Induction and Abduction in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:116, n:1, pp:25-54 [Journal]
  98. Evelina Lamma, Paola Mello
    An assumption-based truth maintenance system dealing with non-ground justifications. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 1996, v:8, n:1, pp:21-42 [Journal]
  99. Michele Bugliesi, Evelina Lamma, Paola Mello
    Partial Deduction for Structured Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:16, n:1, pp:89-122 [Journal]
  100. Michele Bugliesi, Evelina Lamma, Paola Mello
    Modularity in Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:443-502 [Journal]
  101. Evelina Lamma, Michela Milano, Paola Mello
    Reasoning on Constraints in CLP(FD). [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:38, n:1, pp:93-110 [Journal]
  102. Antonio Brogi, Evelina Lamma, Paola Mello
    Composing Open Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:4, pp:417-439 [Journal]
  103. Antonio Brogi, Evelina Lamma, Paola Mello
    Compositional Model-Theoretic Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1992, v:11, n:1, pp:1-21 [Journal]
  104. Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara
    From Eager to Lazy Constrained Data Acquisition: A General Framework. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2001, v:19, n:4, pp:339-368 [Journal]
  105. Paola Mello, Antonio Natali
    Extending Prolog with Moduarity, Concurrency and Meta-Rules. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1992, v:10, n:4, pp:335-360 [Journal]
  106. Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti
    Discovering Validation Rules from Microbiological Data. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2003, v:21, n:2, pp:- [Journal]
  107. Paola Mello
    Concurrent objects in a logic programming framework. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1989, v:24, n:4, pp:37-39 [Journal]
  108. Alberto Caprara, Filippo Focacci, Evelina Lamma, Paola Mello, Michela Milano, Paolo Toth, Daniele Vigo
    Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1998, v:28, n:1, pp:49-76 [Journal]
  109. Evelina Lamma, Paola Mello, Antonio Natali
    Reflection Mechanisms for Combining Prolog Databases. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1991, v:21, n:6, pp:603-624 [Journal]
  110. Anna Ciampolini, Evelina Lamma, Paola Mello
    An Optimized Implementation of a Dynamic Modular Logic Language. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:4, pp:148-162 [Journal]
  111. 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]
  112. Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari
    Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  113. Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, G. Valastro
    Artificial Intelligence Techniques for Monitoring Dangerous Infections. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Technology in Biomedicine, 2006, v:10, n:1, pp:143-155 [Journal]
  114. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    Dealing with incomplete knowledge on CLP(FD) variable domains. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:236-263 [Journal]
  115. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    A CHR-based implementation of known arc-consistency. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:419-440 [Journal]
  116. Federico Chesani, Paola Mello, Marco Montali, Sergio Storari
    Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. [Citation Graph (0, 0)][DBLP]
    AIME, 2007, pp:479-488 [Conf]
  117. Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
    Inducing Declarative Logic-Based Models from Labeled Traces. [Citation Graph (0, 0)][DBLP]
    BPM, 2007, pp:344-359 [Conf]
  118. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
    Expressing and Verifying Business Contracts with Abductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    Normative Multi-agent Systems, 2007, pp:- [Conf]
  119. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
    Web Service Contracting: Specification and Reasoning with SCIFF. [Citation Graph (0, 0)][DBLP]
    ESWC, 2007, pp:68-83 [Conf]
  120. Davide Sottara, Luca Luccarini, Paola Mello
    AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR. [Citation Graph (0, 0)][DBLP]
    KES (1), 2007, pp:639-646 [Conf]
  121. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
    A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:279-288 [Conf]
  122. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
    Policy-based Reasoning for Smart Web Service Interaction. [Citation Graph (0, 0)][DBLP]
    SWAP, 2006, pp:- [Conf]

  123. A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. [Citation Graph (, )][DBLP]


  124. Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. [Citation Graph (, )][DBLP]


  125. Checking Compliance of Execution Traces to Business Rules. [Citation Graph (, )][DBLP]


  126. -Tropos. [Citation Graph (, )][DBLP]


  127. Social Commitments in Time: Satisfied or Compensated. [Citation Graph (, )][DBLP]


  128. Verification from Declarative Specifications Using Logic Programming. [Citation Graph (, )][DBLP]


  129. Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. [Citation Graph (, )][DBLP]


  130. A Knowledge-Based System for Fashion Trend Forecasting. [Citation Graph (, )][DBLP]


  131. An Abductive Multi-Agent System for Medical Services Coordination. [Citation Graph (, )][DBLP]


  132. Commitment Tracking via the Reactive Event Calculus. [Citation Graph (, )][DBLP]


  133. Applying Inductive Logic Programming to Process Mining. [Citation Graph (, )][DBLP]


  134. Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems. [Citation Graph (, )][DBLP]


  135. Adding Uncertainty to a Rete-OO Inference Engine. [Citation Graph (, )][DBLP]


  136. A wawelet based heuristic to dimension Neural Networks for simple signal approximation. [Citation Graph (, )][DBLP]


  137. Verification of Choreographies During Execution Using the Reactive Event Calculus. [Citation Graph (, )][DBLP]


  138. A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules. [Citation Graph (, )][DBLP]


  139. Role Monitoring in Open Agent Societies. [Citation Graph (, )][DBLP]


  140. Declarative Technologies for Open Agent Systems and Beyond. [Citation Graph (, )][DBLP]


  141. Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. [Citation Graph (, )][DBLP]


  142. Modelling Radial Basis Functions with Rational Logic Rules. [Citation Graph (, )][DBLP]


  143. A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants. [Citation Graph (, )][DBLP]


  144. An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. [Citation Graph (, )][DBLP]


  145. E-learning by Doing with Computational Logic. [Citation Graph (, )][DBLP]


  146. Mapping of Deontic Operators to Abductive Expectations. [Citation Graph (, )][DBLP]


  147. Verifying A-Priori the Composition of Declarative Specified Services. [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.030secs
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