Evelina Lamma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
58
Venues
26
Active years
1988–2025
Best venue rank
A*
Where they publish
- BICLP11 papers
- BILP8 papers
- AECAI8 papers
- A*IJCAI4 papers
- CISMIS4 papers
- NationalICIAP2 papers
- MulticonferenceSAC2 papers
- CDSD1 paper
- BICTAI1 paper
- CKSEM1 paper
- AICWS1 paper
- CIDEAL1 paper
- ABPM1 paper
- CPPDP1 paper
- BIDA1 paper
- CWETICE1 paper
- BCBMS1 paper
- BJELIA1 paper
- NationalAIMSA1 paper
- BEuroPar1 paper
- ACP1 paper
- CTIME1 paper
- BLPNMR1 paper
- CPDP1 paper
- CLOPSTR1 paper
- BLPAR1 paper
Papers
58 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DSD | AIDA4Edge: Twinning for Excellence in Adaptive Edge Artificial Intelligence. | Marko S. Andjelkovic, Rizwan Tariq Syed, Alessandro Veronesi, Fabian Vargas, Markus Ulbricht, Leticia Bolzani Poehls, Milos Krstic, Davide Bertozzi, Edward G. Jones, Oliver Rhodes, Riccardo Zese, Michele Favalli, Alice Bizzarri, Evelina Lamma, Marco Gavanelli, Elena Bellodi, Zoran Peric, Jelena Nikolic, Milan R. Dincic, Aleksandra Jovanovic, Dejan Ciric, Nikola Vucic, Sofija Peric, Jelena Jovanovic, Milica Stojanovic, Tatjana R. Nikolic, Goran Nikolic, Jelena Nedeljkovic, Danijel Dankovic, Emilija Zivanovic, Milos Marjanovic, Sandra Veljkovic, Nikola Mitrovic, Bratislav Predic, Tamara Milovanovic |
| 2022 | ICLP | Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary. | Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma |
| 2020 | ICLP | An Analysis of Gibbs Sampling for Probabilistic Logic Programs. | Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma |
| 2018 | ILP | Modeling Bitcoin Protocols with Probabilistic Logic Programming. | Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese |
| 2018 | ILP | Learning the Parameters of Deep Probabilistic Logic Programs. | Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma |
| 2017 | ILP | A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases. | Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese |
| 2017 | ILP | Deep Probabilistic Logic Programming. | Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi |
| 2016 | ECAI | Scaling Structure Learning of Probabilistic Logic Programs by MapReduce. | Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma |
| 2016 | ILP | Probabilistic Constraint Logic Theories. | Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese |
| 2015 | ICLP | An Abductive Framework for Datalog± Ontologies. | Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota |
| 2015 | IJCAI | Reasoning with Probabilistic Ontologies. | Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese |
| 2015 | IJCAI | Logic Programming Techniques for Reasoning with Probabilistic Ontologies. | Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi |
| 2015 | ILP | Distributed Parameter Learning for Probabilistic Ontologies. | Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma |
| 2015 | ICTAI | Reducing Laboratory Examinations by a Computer-Aided Clinical Decision Support System. | Massimo Gallerani, Dario Pelizzola, Marcello Pivanti, Giovanni Guerra, Michela Boni, Evelina Lamma, Elena Bellodi |
| 2013 | ILP | Learning the Parameters of Probabilistic Description Logics. | Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese |
| 2011 | ICIAP | Spot Detection in Images with Noisy Background. | Denis Ferraretti, Luca Casarotti, Giacomo Gamberoni, Evelina Lamma |
| 2011 | ISMIS | Integrating Clustering and Classification Techniques: A Case Study for Reservoir Facies Prediction. | Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, Michele Febo, Raffaele Di Cuia |
| 2010 | ICLP | Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. | Marco Alberti, Marco Gavanelli, Evelina Lamma |
| 2010 | KSEM | Probabilistic Declarative Process Mining. | Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma |
| 2009 | ICLP | Integration of Abductive Reasoning and Constraint Optimization in SCIFF. | Marco Gavanelli, Marco Alberti, Evelina Lamma |
| 2009 | ICWS | Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. | Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni |
| 2009 | IDEAL | An AI Tool for the Petroleum Industry Based on Image Analysis and Hierarchical Clustering. | Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma, Raffaele Di Cuia, Chiara Turolla |
| 2008 | ECAI | Integrating Abduction and Constraint Optimization in Constraint Handling Rules. | Marco Gavanelli, Marco Alberti, Evelina Lamma |
| 2008 | ICLP | Verification from Declarative Specifications Using Logic Programming. | Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2007 | BPM | Inducing Declarative Logic-Based Models from Labeled Traces. | Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari |
| 2007 | ILP | Applying Inductive Logic Programming to Process Mining. | Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari |
| 2006 | ISMIS | A Verifiable Logic-Based Agent Architecture. | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2006 | PPDP | An abductive framework for a-priori verification of web services. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali |
| 2005 | IJCAI | Abduction with Hypotheses Confirmation. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
| 2005 | IDA | Bayesian Networks Learning for Gene Expression Datasets. | Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia |
| 2004 | ECAI | Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. | Evelina Lamma, Fabrizio Riguzzi, Sergio Storari |
| 2004 | SAC | Specification and verification of agent interaction protocols in a logic-based system. | Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2004 | WETICE | A Logic based Approach to Interaction Design in Open Multi-Agent Systems. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni |
| 2002 | CBMS | An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. | Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti |
| 2002 | ECAI | Synthesis of Object Models from Partial Models: A CSP Perspective. | Marco Alberti, Evelina Lamma |
| 2002 | JELIA | A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. | Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni |
| 1999 | ICIAP | 3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. | Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi |
| 1999 | ICLP | Domains as First Class Objects in CLP(FD). | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
| 1999 | IJCAI | Constraint Propagation and Value Acquisition: Why we should do it Interactively. | Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi |
| 1999 | SAC | Abductive Coordination for Logic Agents. | Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli |
| 1998 | AIMSA | Learning Multiple Predicates. | Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi |
| 1997 | EuroPar | Improving Distributed Unification through Type Analysis. | Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck |
| 1997 | ICLP | Reasoning on Constraints in Constraint Logic Programming. | Evelina Lamma, Michela Milano, Paola Mello |
| 1997 | ISMIS | An Interactive Constraint-Based System for Selective Attention in Visual Search. | Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano |
| 1996 | CP | A Meta Constraint Logic Programming Architecture (Extended Abstract). | Evelina Lamma, Paola Mello, Michela Milano |
| 1996 | ISMIS | Resource-Based vs. Task-Based Approaches for Scheduling Problems. | Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani |
| 1996 | TIME | Temporal Reasoning in a Meta Constraint Logic Programming Architecture. | Evelina Lamma, Paola Mello, Michela Milano |
| 1995 | LPNMR | An Abductive Framework for Extended Logic Programming. | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello |
| 1994 | ICLP | Modularity in Logic Programming. | Evelina Lamma, Paola Mello |
| 1994 | PDP | Multi-level Copying For Unification In Parallel Architectures. | Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli |
| 1992 | ECAI | ATMS for Implementing Logic Programming. | Antonio Brogi, Evelina Lamma, Paola Mello |
| 1992 | ECAI | An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications. | Evelina Lamma, Paola Mello |
| 1992 | ICLP | Normal Logic Programs as Open Positive Programs. | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello |
| 1992 | LOPSTR | A Rationalisation of the ATMS in Terms of Partial Evaluation. | Evelina Lamma, Paola Mello |
| 1991 | LPAR | Objects in a Logic Programming Framework. | Antonio Brogi, Evelina Lamma, Paola Mello |
| 1990 | ECAI | Inheritance and Hypothetical Reasoning in Logic Programming. | Antonio Brogi, Evelina Lamma, Paola Mello |
| 1989 | ICLP | The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. | Evelina Lamma, Paola Mello, Antonio Natali |
| 1988 | ECAI | An Extended Prolog Machine for Dynamic Context Handling. | Marco Cavalieri, Evelina Lamma, Paola Mello |