The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Evelina Lamma: [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. Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari
    Improving the SLA Algorithm Using Association Rules. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:165-175 [Conf]
  16. Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi
    Learning Multiple Predicates. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:303-316 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. Marco Alberti, Evelina Lamma
    Synthesis of Object Models from Partial Models: A CSP Perspective. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:116-120 [Conf]
  27. Antonio Brogi, Evelina Lamma, Paola Mello
    Inheritance and Hypothetical Reasoning in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:105-110 [Conf]
  28. Antonio Brogi, Evelina Lamma, Paola Mello
    ATMS for Implementing Logic Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:114-118 [Conf]
  29. 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]
  30. 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]
  31. Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
    Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:500-504 [Conf]
  32. 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]
  33. Antonio Brogi, Evelina Lamma, Paola Mello
    Open Logic Theories. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:73-88 [Conf]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. Evelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi
    Belief Revision by Lamarckian Evolution. [Citation Graph (0, 0)][DBLP]
    EvoWorkshops, 2001, pp:404-413 [Conf]
  39. 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]
  40. 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]
  41. 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]
  42. Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
    Belief Revision via Lamarckian Evolution. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2002, pp:1264-1270 [Conf]
  43. 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]
  44. 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]
  45. 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]
  46. Evelina Lamma, Paola Mello
    Modularity in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:15-17 [Conf]
  47. Evelina Lamma, Michela Milano, Paola Mello
    Reasoning on Constraints in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:413- [Conf]
  48. 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]
  49. Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia
    Bayesian Networks Learning for Gene Expression Datasets. [Citation Graph (0, 0)][DBLP]
    IDA, 2005, pp:109-120 [Conf]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. Giacomo Gamberoni, Evelina Lamma, Sergio Storari, Diego Arcelli, Francesca Francioso, Stefano Volinia
    Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster. [Citation Graph (0, 0)][DBLP]
    ISBMDA, 2004, pp:498-506 [Conf]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. Antonio Brogi, Evelina Lamma, Paola Mello
    Objects in a Logic Programming Framework. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:102-113 [Conf]
  63. 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]
  64. 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]
  65. 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]
  66. Evelina Lamma, Paola Mello
    Processing Abductive Reasoning via Contextual Logic Programming. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:336-343 [Conf]
  67. 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]
  68. 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]
  69. Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
    Abductive Coordination for Logic Agents. [Citation Graph (0, 0)][DBLP]
    SAC, 1999, pp:134-140 [Conf]
  70. Michele Bugliesi, Evelina Lamma, Paola Mello
    Partial Evaluation for Hierarchies of Logic Theories. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:359-376 [Conf]
  71. Evelina Lamma, Paola Mello, Michela Milano
    Temporal Reasoning in a Meta Constraint Logic Programming Architecture. [Citation Graph (0, 0)][DBLP]
    TIME, 1996, pp:- [Conf]
  72. 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]
  73. 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]
  74. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma
    The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:111-122 [Conf]
  75. 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]
  76. 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]
  77. 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]
  78. 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]
  79. 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]
  80. 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]
  81. 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]
  82. 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]
  83. 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]
  84. 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]
  85. 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]
  86. 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]
  87. 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]
  88. 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]
  89. 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]
  90. 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]
  91. 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]
  92. 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]
  93. 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]
  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. Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
    Strategies in Combined Learning via Logic Programs. [Citation Graph (0, 0)][DBLP]
    Machine Learning, 2000, v:38, n:1-2, pp:63-87 [Journal]
  104. 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]
  105. 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]
  106. Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
    Belief Revision via Lamarckian Evolution. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2003, v:21, n:3, pp:- [Journal]
  107. 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]
  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. 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]
  117. 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]
  118. 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]
  119. 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]
  120. 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]

  121. Automatic Cluster Selection Using Index Driven Search Strategy. [Citation Graph (, )][DBLP]


  122. Integrating Abduction and Constraint Optimization in Constraint Handling Rules. [Citation Graph (, )][DBLP]


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


  124. Integration of Abductive Reasoning and Constraint Optimization in SCIFF. [Citation Graph (, )][DBLP]


  125. Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. [Citation Graph (, )][DBLP]


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


  127. An AI Tool for the Petroleum Industry Based on Image Analysis and Hierarchical Clustering. [Citation Graph (, )][DBLP]


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


  129. Probabilistic Declarative Process Mining. [Citation Graph (, )][DBLP]


  130. Exploiting Semantic Technology in Computational Logic-based Service Contracting. [Citation Graph (, )][DBLP]


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


  132. Fun&Co: identification of key functional differences in transcriptomes. [Citation Graph (, )][DBLP]


Search in 0.089secs, Finished in 0.095secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002