E. Lamma

Evelina Lamma, Paola Mello, R. Cremonini, 1989, Proceedings. Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering.

ADES: An expert system for ATP design

Evelina Lamma, Paola Mello, Roberto Cremonini, 1989, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

A semantics for Hybrid Probabilistic Logic programs with function symbols

Evelina Lamma, Fabrizio Riguzzi, Damiano Azzolini, 2021, Artif. Intell..

Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2004, ECAI.

Discovering validation rules from microbiological data

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2003, New Generation Computing.

Combining APRIORI and Bootstrap Techniques for Marker Analysis

C. Scapoli, G. Gamberoni, E. Lamma, 2007 .

Marker Analysis with APRIORI-based Algorithms

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2006 .

Improving the K2 Algorithm Using Association Rule Parameters

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2006 .

A System for Measuring Function Points from Specifications

P. Mello, E. Lamma, Fabrizio Riguzzi, 2008 .

Enhancing implant surgery planning via computerized image processing.

E Sarti, R Cucchiara, F Franchini, 2001, International journal of computerized dentistry.

Probabilistic Declarative Process Mining

Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, 2010, KSEM.

Applying Inductive Logic Programming to Process Mining

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2007, ILP.

Deliverable D14: Experiments with animated societies of computees

A. Bracciali, A. Ciampolini, P. Mello, 2005 .

Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming

Evelina Lamma, Fabrizio Riguzzi, Damiano Azzolini, 2019, Inf..

Analyzing Transaction Fees with Probabilistic Logic Programming

Fabrizio Riguzzi, Evelina Lamma, Damiano Azzolini, 2019, BIS.

Modeling Smart Contracts with Probabilistic Logic Programming

Fabrizio Riguzzi, Evelina Lamma, Damiano Azzolini, 2020, BIS.

Learning hierarchical probabilistic logic programs

Evelina Lamma, Fabrizio Riguzzi, Arnaud Nguembang Fadja, 2021, Machine Learning.

GRD-Net: Generative-Reconstructive-Discriminative Anomaly Detection with Region of Interest Attention Module

E. Lamma, Michele Fraccaroli, Niccolò Ferrari, 2023, Int. J. Intell. Syst..

Agents Learning in a Three-Valued Logical Setting

Evelina Lamma, Fabrizio Riguzzi, E. Lamma, 2007 .

A Computational Logic Application Framework for Service Discovery and Contracting

Evelina Lamma, Paola Mello, Federico Chesani, 2011, Int. J. Web Serv. Res..

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

Evelina Lamma, Paola Mello, Federico Chesani, 2009, 2009 IEEE International Conference on Web Services.

Domains as First Class Objects in CLP(FD)

Evelina Lamma, Paola Mello, Marco Gavanelli, 1999, APPIA-GULP-PRODE.

A CHR-based implementation of known arc-consistency

Evelina Lamma, Paola Mello, Marco Alberti, 2004, Theory and Practice of Logic Programming.

Exploiting Constraints for Domain Managing in CLP(FD)

Evelina Lamma, Paola Mello, Marco Gavanelli, 2002, FroCoS.

Constraint Propagation and Value Acquisition: Why we should do it Interactively

Evelina Lamma, Paola Mello, Rita Cucchiara, 1999, IJCAI.

Under Consideration for Publication in Theory and Practice of Logic Programming a Constraint Handling Rules Implementation for Known-arc-consistency in Interactive Constraint Satisfaction Problems

Evelina Lamma, Paola Mello, Marco Alberti, 2022 .

Probabilistic Constraint Logic Theories

Evelina Lamma, Fabrizio Riguzzi, Marco Alberti, 2016, PLP@ILP.

Verifiable agent interaction in abductive logic programming: The SCIFF framework

Evelina Lamma, Paola Mello, Federico Chesani, 2008, TOCL.

The SCIFF Abductive Proof-Procedure

Evelina Lamma, Paola Mello, Paolo Torroni, 2005, AI*IA.

Modelling Interactions via Commitments and Expectations

Munindar P. Singh, Paolo Torroni, P. Mello, 2009, Handbook of Research on Multi-Agent Systems.

Bayesian Networks Learning for Gene Expression Datasets

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2005, IDA.

Improving the SLA Algorithm Using Association Rules

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2003, AI*IA.

Probabilistic Description Logics under the distribution semantics

E. Lamma, Fabrizio Riguzzi, Elena Bellodi, 2015, Semantic Web.

A Social ACL Semantics by Deontic Constraints

Paola Mello, Paolo Torroni, Marco Alberti, 2003, CEEMAS.

An Abstract Interpreter for Improving the E ciency of Dynamic Modular Logic Languages

Evelina Lamma, Paola Mello, Anna Ciampolini, 1996 .

Learning Multiple Predicates

Evelina Lamma, Fabrizio Riguzzi, Antonis C. Kakas, 1998, AIMSA.

A System for Abductive Learning of Logic Programs

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 1997, LPKR.

Dischargeable Obligations in Abductive Logic Programming

Evelina Lamma, Fabrizio Riguzzi, Marco Alberti, 2017, RuleML+RR.

Integration of Abductive Reasoning and Constraint Optimization in SCIFF

Evelina Lamma, Marco Alberti, Marco Gavanelli, 2009, ICLP.

Expressing and Verifying Business Contracts with Abductive Logic Programming

Evelina Lamma, Paola Mello, Federico Chesani, 2008, Normative Multi-agent Systems.

Distributed Logic Objects

Evelina Lamma, Paola Mello, Cesare Stefanelli, 1996, Comput. Lang..

A distributed implementation for parallel logic programming

Evelina Lamma, Paola Mello, Antonio Brogi, 1991, [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications.

Distributed logic objects: A fragment of rewriting logic and its implementation

Evelina Lamma, Paola Mello, Cesare Stefanelli, 1996, WRLA.

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

Evelina Lamma, Paola Mello, Federico Chesani, 2006, Appl. Artif. Intell..

An Interactive Constraint-Based System for Selective Attention in Visual Search

R. Cucchiara, M. Milano, P. Mello, 1997, ISMIS.

Introducing Abduction into (Extensional) Inductive Logic Programming Systems

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 1997, AI*IA.

Optimizing modular logic languages

Evelina Lamma, Paola Mello, Michele Bugliesi, 1998, CSUR.

An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages

Evelina Lamma, Paola Mello, Anna Ciampolini, 1996, Inf. Process. Lett..

Modularity in Logic Programming

Evelina Lamma, Paola Mello, Michele Bugliesi, 1994, J. Log. Program..

Partial Deduction for Structured Logic Programming

Evelina Lamma, Paola Mello, Michele Bugliesi, 1993, J. Log. Program..

Parametric Composable Modules in a Logic Programming Language

Evelina Lamma, Paola Mello, Gianfranco Rossi, 1993, Comput. Lang..

Open Logic Theories

Evelina Lamma, Paola Mello, Antonio Brogi, 1991, ELP.

Objects in a Logic Programming Framework

Evelina Lamma, Paola Mello, Antonio Brogi, 1990, RCLP.

A Computational Logic-based approach to security protocols verification, and its application to the Needham-Schroeder Public Key authentication protocol

Evelina Lamma, Paola Mello, Federico Chesani, 2004 .

Least Commitment on Variable Binding in Presence of Incomplete Knowledge

P. Mello, R. Barruffi, E. Lamma, 1999, ECP.

An Extended Warren Abstract Machine for the Execution of Structured Logic Programs

Evelina Lamma, Paola Mello, Antonio Natali, 1992, J. Log. Program..

Techniques for Implementing Contexts in Logic Programming

Evelina Lamma, Paola Mello, Andrea Omicini, 1992, ELP.

Executing contextual logic programming on a dedicated VLSI coprocessor

Gianluca Piccinini, Evelina Lamma, Paola Mello, 1991, [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications.

Hypothetical Reasoning in Logic Programming: A Semantic Approach

Evelina Lamma, Paola Mello, Antonio Brogi, 1990, Inf. Process. Lett..

Partial Evaluation for Hierarchies of Logic Theories

Evelina Lamma, Paola Mello, Michele Bugliesi, 1990, NACLP.

A VLSI Engine for Structured Logic Programming

Gianluca Piccinini, Evelina Lamma, Paola Mello, 1991 .

An Expert System for Microbiological Data Validation and Surveillance

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2001, ISMDA.

An abductive framework for a-priori verification of web services

Evelina Lamma, Paola Mello, Federico Chesani, 2006, PPDP '06.

Unsupervised and supervised learning in cascade for petroleum geology

Evelina Lamma, Denis Ferraretti, Giacomo Gamberoni, 2012, Expert Syst. Appl..

Clustering and Classification Techniques for Blind Predictions of Reservoir Facies

Evelina Lamma, Denis Ferraretti, Giacomo Gamberoni, 2011, AI*IA.

Spot Detection in Images with Noisy Background

Evelina Lamma, Denis Ferraretti, Giacomo Gamberoni, 2011, ICIAP.

Automatic Cluster Selection Using Index Driven Search Strategy

Evelina Lamma, Denis Ferraretti, Giacomo Gamberoni, 2009, AI*IA.

An AI Tool for the Petroleum Industry Based on Image Analysis and Hierarchical Clustering

Evelina Lamma, Denis Ferraretti, Giacomo Gamberoni, 2009, IDEAL.

I2AM: a Semi-Automatic System for Data Interpretation in Petroleum Geology

Evelina Lamma, Denis Ferraretti, Giacomo Gamberoni, 2012, PAI.

Integrating Clustering and Classification Techniques: A Case Study for Reservoir Facies Prediction

Evelina Lamma, Denis Ferraretti, Giacomo Gamberoni, 2011, ISMIS Industrial Session.

Dealing with incomplete knowledge on CLP(FD) variable domains

M. Milano, M. Gavanelli, E. Lamma, 2005, TOPL.

Specification and verification of agent interaction protocols in a logic-based system

Paola Mello, Federico Chesani, Paolo Torroni, 2004, SAC '04.

Interpreting Abduction in CLP

Evelina Lamma, Paola Mello, Paolo Torroni, 2003, APPIA-GULP-PRODE.

The CHR-based Implementation of the SCIFF Abductive System

Evelina Lamma, Marco Alberti, Marco Gavanelli, 2013, CILC.

Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper)

Evelina Lamma, Paola Mello, Federico Chesani, 2005, CLIMA.

Expressing interaction in combinatorial auction through social integrity constraints

Evelina Lamma, Paola Mello, Federico Chesani, 2005, Intelligenza Artificiale.

3D object recognition by VC-graphs and interactive constraint satisfaction

Evelina Lamma, Paola Mello, Rita Cucchiara, 1999, Proceedings 10th International Conference on Image Analysis and Processing.

A System for Monitoring Nosocomial Infections

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2000, ISMDA.

Optimization techniques in building expert systems

Evelina Lamma, Paola Mello, R. Cremonini, 1987, Microprocess. Microprogramming.

A logic based approach to interaction design in open multi-agent systems

Evelina Lamma, Paola Mello, Federico Chesani, 2004, 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.

From implant planning to surgical execution: an integrated approach for surgery in oral implantology

Evelina Lamma, Federico Franchini, Tommaso Chiarelli, 2012, The international journal of medical robotics + computer assisted surgery : MRCAS.

Abductive logic programming for Datalog +/- ontologies

Evelina Lamma, Fabrizio Riguzzi, Marco Gavanelli, 2015, CILC.

Specification and Verification of Agent Interaction using Social Integrity Constraints

Evelina Lamma, Paola Mello, Paolo Torroni, 2004, LCMAS.

Symbolic DNN-Tuner

E. Lamma, Fabrizio Riguzzi, Michele Fraccaroli, 2021, Machine Learning.