Evelina Lamma

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 64

Top Venues

CoRR

PLP@ILP

CILC

Theory Pract. Log. Program.

Publications

Michele Fraccaroli, Alice Bizzarri, Paolo Casellati, Evelina Lamma
Exploiting CNN's visual explanations to drive anomaly detection. Appl. Intell. 54 (1) (2024)
Alice Bizzarri, Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
Integration between constrained optimization and deep networks: a survey. Frontiers Artif. Intell. 7 (2024)
Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases. CoRR (2023)
Niccolò Ferrari, Michele Fraccaroli, Evelina Lamma
GRD-Net: Generative-Reconstructive-Discriminative Anomaly Detection with Region of Interest Attention Module. Int. J. Intell. Syst. 2023 (2023)
Arnaud Nguembang Fadja, Michele Fraccaroli, Alice Bizzarri, Giulia Mazzuchelli, Evelina Lamma
Neural-Symbolic Ensemble Learning for early-stage prediction of critical state of Covid-19 patients. Medical Biol. Eng. Comput. 60 (12) (2022)
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing Deep Neural Networks hyperparameters. SoftwareX 17 (2022)
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
Symbolic DNN-Tuner. Mach. Learn. 111 (2) (2022)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary. ICLP Workshops (2022)
Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols. ICLP Technical Communications / Doctoral Consortium (2022)
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, Evelina Lamma
Probabilistic inductive constraint logic. Mach. Learn. 110 (4) (2021)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
A semantics for Hybrid Probabilistic Logic programs with function symbols. Artif. Intell. 294 (2021)
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. Theory Pract. Log. Program. 21 (5) (2021)
Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
A Probabilistic Logic Model of Lightning Network. BIS (Workshops) (2021)
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints. CoRR (2021)
Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma
Learning hierarchical probabilistic logic programs. Mach. Learn. 110 (7) (2021)
Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling. Eng. Appl. Artif. Intell. 95 (2020)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
Modeling Smart Contracts with Probabilistic Logic Programming. BIS (Workshops) (2020)
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules. CoRR (2020)
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules. LOD (1) (2020)
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
A Framework for Reasoning on Probabilistic Description Logics. CoRR (2020)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
An Analysis of Gibbs Sampling for Probabilistic Logic Programs. ICLP Workshops (2020)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese
CIFF Framework. Fundam. Informaticae 176 (3-4) (2020)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming. Inf. 10 (11) (2019)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
Analyzing Transaction Fees with Probabilistic Logic Programming. BIS (Workshops) (2019)
Damiano Azzolini, Fabrizio Riguzzi, Franco Masotti, Evelina Lamma
A Comparison of MCMC Sampling for Probabilistic Logic Programming. AI*IA (2019)
Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Evelina Lamma
KRaider: a Crawler for Linked Data. CILC (2019)
Marco Gavanelli, Marco Alberti, Evelina Lamma
Accountable Protocols in Abductive Logic Programming. CILC (2019)
Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. Theory Pract. Log. Program. 19 (3) (2019)
Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. CILC (2018)
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, Evelina Lamma
Tableau reasoning for description logics and its extension to probabilities. Ann. Math. Artif. Intell. 82 (1-3) (2018)
Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali
Evaluating Compliance: From LTL to Abductive Logic Programming. Fundam. Informaticae 159 (1-2) (2018)
Evelina Lamma, Terrance Swift
Editorial: 29th International conference on logic programming special issue - ADDENDUM. Theory Pract. Log. Program. 18 (1) (2018)
Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma
Learning the Parameters of Deep Probabilistic Logic Programs. PLP@ILP (2018)
Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma
Expectation Maximization in Deep Probabilistic Logic Programming. AI*IA (2018)
Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, Evelina Lamma
A Modular Inference System for Probabilistic Description Logics. SUM (2018)
Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi
Vision Inspection with Neural Networks. RiCeRcA@AI*IA (2018)
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
Ontologies with Abductive Logic Programming. Fundam. Informaticae 159 (1-2) (2018)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese
Modeling Bitcoin Protocols with Probabilistic Logic Programming. PLP@ILP (2018)
Marco Gavanelli, Marco Alberti, Evelina Lamma
Accountable Protocols in Abductive Logic Programming. ACM Trans. Internet Techn. 18 (4) (2018)
Riccardo Zese, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. CoRR (2018)
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. Int. J. Approx. Reason. 80 (2017)
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases. PLP@ILP (2017)
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, Giuseppe Cota
A web system for reasoning with probabilistic OWL. Softw. Pract. Exp. 47 (1) (2017)
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. ICTCS/CILC (2017)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
Dischargeable Obligations in Abductive Logic Programming. RuleML+RR (2017)
Elena Bellodi, Emidia Vagnoni, Barbara Bonvento, Evelina Lamma
Economic and organizational impact of a clinical decision support system on laboratory test ordering. BMC Medical Informatics Decis. Mak. 17 (1) (2017)
Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi
Deep Probabilistic Logic Programming. PLP@ILP (2017)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota
Probabilistic logic programming on the web. Softw. Pract. Exp. 46 (10) (2016)
Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
Probabilistic Constraint Logic Theories. PLP@ILP (2016)
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics. AI*IA (2016)
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce. ECAI (2016)
Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, Giuseppe Cota
Probabilistic Logic Programming for Natural Language Processing. URANIA@AI*IA (2016)
Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
Statistical relational learning for workflow mining. Intell. Data Anal. 20 (3) (2016)
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
Distributed Parameter Learning for Probabilistic Ontologies. ILP (2015)
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
Abductive Logic Programming for Normative Reasoning and Ontologies. JSAI-isAI Workshops (2015)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Reasoning with Probabilistic Ontologies. IJCAI (2015)
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
Learning Probabilistic Ontologies with Distributed Parameter Learning. DC@AI*IA (2015)
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques. DC@AI*IA (2015)
Massimo Gallerani, Dario Pelizzola, Marcello Pivanti, Giovanni Guerra, Michela Boni, Evelina Lamma, Elena Bellodi
Reducing Laboratory Examinations by a Computer-Aided Clinical Decision Support System. ICTAI (2015)
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
An Abductive Framework for Datalog± Ontologies. ICLP (Technical Communications) (2015)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Probabilistic Description Logics under the distribution semantics. Semantic Web 6 (5) (2015)
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
Abductive logic programming for Datalog +/- ontologies. CILC (2015)
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
Logic Programming Techniques for Reasoning with Probabilistic Ontologies. JOWO@IJCAI (2015)
Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
Evaluating compliance: from LTL to abductive logic programming. CILC (2015)
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese
Lifted Variable Elimination for Probabilistic Logic Programming. CoRR (2014)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota
Learning Probabilistic Description Logics. URSW (LNCS Vol.) (2014)
Massimo Gallerani, Dario Pelizzola, Marcello Pivanti, Michela Boni, Evelina Lamma, Elena Bellodi
Appropriateness of Repeated Execution of Laboratory Examinations: A CDSS Approach. ICHI (2014)
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Fabiano Aguiari
Semantics and Inference for Probabilistic Description Logics. URSW (LNCS Vol.) (2014)
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese
Lifted Variable Elimination for Probabilistic Logic Programming. Theory Pract. Log. Program. 14 (4-5) (2014)
Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni
CT dataset anisotropy management for oral implantology planning software. Int. J. Comput. Assist. Radiol. Surg. 8 (2) (2013)
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
A Description Logics Tableau Reasoner in Prolog. CILC (2013)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Computing Instantiated Explanations in OWL DL. AI*IA (2013)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Parameter Learning for Probabilistic Ontologies. RR (2013)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
BUNDLE: A Reasoner for Probabilistic Ontologies. RR (2013)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Learning the Parameters of Probabilistic Description Logics. ILP (Late Breaking Papers) (2013)
Alice Piva, Giacomo Gamberoni, Denis Ferraretti, Evelina Lamma
di4g: Uno Strumento di Clustering per l'Analisi Integrata di Dati Geologici. PAI@AI*IA (2013)
Evelina Lamma, Terrance Swift
Editorial: 29th International Conference on Logic Programming special issue. Theory Pract. Log. Program. 13 (4-5) (2013)
Marco Alberti, Marco Gavanelli, Evelina Lamma
The CHR-based Implementation of the SCIFF Abductive System. Fundam. Informaticae 124 (4) (2013)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Epistemic and Statistical Probabilistic Ontologies. URSW (2012)
Ludovico Buffon, Evelina Lamma, Fabrizio Riguzzi, Davide Formenti
Un sistema di Vision Inspection basato su reti neurali. PAI (2012)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Semantics and Inference for Probabilistic Ontologies. PAI (2012)
Marco Derboni, Evelina Lamma, Antonio Zaccaro
Miglioramento di algoritmi di elaborazione di immagini da scanner 3D tramite Simulated Annealing. PAI (2012)
Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma
I2AM: a Semi-Automatic System for Data Interpretation in Petroleum Geology. PAI (2012)
Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma
Unsupervised and supervised learning in cascade for petroleum geology. Expert Syst. Appl. 39 (10) (2012)
Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni
Mandibular nerve canal identification for preoperative planning in oral implantology. CompIMAGE (2012)
Marco Alberti, Marco Gavanelli, Evelina Lamma
Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action (2012)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
Probabilistic Ontologies in Datalog+/-. CILC (2012)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
Probabilistic Datalog+/- under the Distribution Semantics. Description Logics (2012)
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Serv. Res. 8 (3) (2011)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza Artificiale 5 (1) (2011)
Denis Ferraretti, Luca Casarotti, Giacomo Gamberoni, Evelina Lamma
Spot Detection in Images with Noisy Background. ICIAP (1) (2011)
Marco Alberti, Marco Gavanelli, Evelina Lamma
The CHR-based Implementation of the SCIFF Abductive System. CILC (2011)
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Simone Albani
A Distribution Semantics for Probabilistic Ontologies. URSW (2011)
Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, Michele Febo, Raffaele Di Cuia
Integrating Clustering and Classification Techniques: A Case Study for Reservoir Facies Prediction. ISMIS Industrial Session (2011)
Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, Michele Febo
Clustering and Classification Techniques for Blind Predictions of Reservoir Facies. AI*IA (2011)
Denis Ferraretti, Luca Tagliavini, Raffaele Di Cuia, Mariachiara Puviani, Evelina Lamma, Sergio Storari
Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images. Intelligenza Artificiale 4 (1) (2010)
Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
Probabilistic Logic-Based Process Mining. CILC (2010)
Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni
A fully 3D work context for oral implant planning and simulation. Int. J. Comput. Assist. Radiol. Surg. 5 (1) (2010)
Marco Alberti, Marco Gavanelli, Evelina Lamma
Runtime Addition of Integrity Constraints in SCIFF. CILC (2010)
Marco Alberti, Marco Gavanelli, Evelina Lamma
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) (2010)

Evelina Lamma.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Evelina Lamma