Evelina Lamma

259 papers A* 3A 12B 16C 12Misc 5Journal 93Unranked 111
YearRankTypeTitle / Venue / Authors
2026 J jnl
GRD-Net: Generative-Reconstructive-Discriminative Anomaly Detection with Region of Interest Attention Module.
CoRR
Niccolò Ferrari, Michele Fraccaroli, Evelina Lamma
2026 J jnl
Integration of deep generative Anomaly Detection algorithm in high-speed industrial line.
CoRR
Niccolò Ferrari, Nicola Zanarini, Michele Fraccaroli, Alice Bizzarri, Evelina Lamma
2025 J jnl
A semantics for probabilistic hybrid knowledge bases with function symbols.
Artif. Intell.
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2025 C conf
AIDA4Edge: Twinning for Excellence in Adaptive Edge Artificial Intelligence.
DSD
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
2025 J jnl
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases.
Log. Methods Comput. Sci.
Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2024 J jnl
Exploiting CNN's visual explanations to drive anomaly detection.
Appl. Intell.
Michele Fraccaroli, Alice Bizzarri, Paolo Casellati, Evelina Lamma
2024 J jnl
Integration between constrained optimization and deep networks: a survey.
Frontiers Artif. Intell.
Alice Bizzarri, Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
2024 — conf
Probabilistic Compliance in Declarative Process Mining.
PMAI@ECAI
Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini
2024 — conf
Probabilistic Traces in Declarative Process Mining.
AI*IA
Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini, Marco Gavanelli, Riccardo Zese
2023 J jnl
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases.
CoRR
Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2023 J jnl
GRD-Net: Generative-Reconstructive-Discriminative Anomaly Detection with Region of Interest Attention Module.
Int. J. Intell. Syst.
Niccolò Ferrari, Michele Fraccaroli, Evelina Lamma
2022 — conf
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols.
ICLP Technical Communications / Doctoral Consortium
Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma
2022 J jnl
Neural-Symbolic Ensemble Learning for early-stage prediction of critical state of Covid-19 patients.
Medical Biol. Eng. Comput.
Arnaud Nguembang Fadja, Michele Fraccaroli, Alice Bizzarri, Giulia Mazzuchelli, Evelina Lamma
2022 — conf
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary.
ICLP Workshops
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2022 J jnl
Symbolic DNN-Tuner.
Mach. Learn.
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
2022 J jnl
Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing Deep Neural Networks hyperparameters.
SoftwareX
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
2021 — conf
A Probabilistic Logic Model of Lightning Network.
BIS (Workshops)
Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
2021 J jnl
A semantics for Hybrid Probabilistic Logic programs with function symbols.
Artif. Intell.
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2021 J jnl
Learning hierarchical probabilistic logic programs.
Mach. Learn.
Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma
2021 J jnl
Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints.
CoRR
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2021 J jnl
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints.
Theory Pract. Log. Program.
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2021 J jnl
Probabilistic inductive constraint logic.
Mach. Learn.
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, Evelina Lamma
2020 J jnl
A Framework for Reasoning on Probabilistic Description Logics.
CoRR
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2020 — ch.
A Framework for Reasoning on Probabilistic Description Logics.
Applications and Practices in Ontology Design, Extraction, and Reasoning
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2020 — conf
An Analysis of Gibbs Sampling for Probabilistic Logic Programs.
ICLP Workshops
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2020 — conf
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules.
LOD (1)
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
2020 J jnl
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules.
CoRR
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
2020 J jnl
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling.
Eng. Appl. Artif. Intell.
Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
2020 J jnl
Dischargeable Obligations in the
Fundam. Informaticae
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese
2020 — conf
Modeling Smart Contracts with Probabilistic Logic Programming.
BIS (Workshops)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2019 — conf
A Comparison of MCMC Sampling for Probabilistic Logic Programming.
AI*IA
Damiano Azzolini, Fabrizio Riguzzi, Franco Masotti, Evelina Lamma
2019 — conf
Accountable Protocols in Abductive Logic Programming.
CILC
Marco Gavanelli, Marco Alberti, Evelina Lamma
2019 — conf
Analyzing Transaction Fees with Probabilistic Logic Programming.
BIS (Workshops)
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2019 — conf
KRaider: a Crawler for Linked Data.
CILC
Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Evelina Lamma
2019 J jnl
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.
Theory Pract. Log. Program.
Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi
2019 J jnl
Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming.
Inf.
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2018 — conf
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning.
CILC
Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
2018 — conf
A Modular Inference System for Probabilistic Description Logics.
SUM
Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, Evelina Lamma
2018 J jnl
Accountable Protocols in Abductive Logic Programming.
ACM Trans. Internet Techn.
Marco Gavanelli, Marco Alberti, Evelina Lamma
2018 J jnl
Editorial: 29th International conference on logic programming special issue - ADDENDUM.
Theory Pract. Log. Program.
Evelina Lamma, Terrance Swift
2018 J jnl
Evaluating Compliance: From LTL to Abductive Logic Programming.
Fundam. Informaticae
Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali
2018 — conf
Expectation Maximization in Deep Probabilistic Logic Programming.
AI*IA
Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma
2018 — conf
Learning the Parameters of Deep Probabilistic Logic Programs.
PLP@ILP
Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma
2018 — conf
Modeling Bitcoin Protocols with Probabilistic Logic Programming.
PLP@ILP
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese
2018 J jnl
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.
CoRR
Riccardo Zese, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi
2018 J jnl
Reasoning on Datalog
Fundam. Informaticae
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2018 J jnl
Tableau reasoning for description logics and its extension to probabilities.
Ann. Math. Artif. Intell.
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, Evelina Lamma
2018 — conf
Vision Inspection with Neural Networks.
RiCeRcA@AI*IA
Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi
2017 — conf
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases.
PLP@ILP
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2017 J jnl
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics.
Int. J. Approx. Reason.
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma
2017 J jnl
A web system for reasoning with probabilistic OWL.
Softw. Pract. Exp.
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, Giuseppe Cota
2017 — conf
Deep Probabilistic Logic Programming.
PLP@ILP
Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi
2017 B conf
Dischargeable Obligations in Abductive Logic Programming.
RuleML+RR
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2017 J jnl
Economic and organizational impact of a clinical decision support system on laboratory test ordering.
BMC Medical Informatics Decis. Mak.
Elena Bellodi, Emidia Vagnoni, Barbara Bonvento, Evelina Lamma
2017 — conf
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases.
ICTCS/CILC
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2016 — conf
Probabilistic Constraint Logic Theories.
PLP@ILP
Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2016 — conf
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics.
AI*IA
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2016 — conf
Probabilistic Logic Programming for Natural Language Processing.
URANIA@AI*IA
Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2016 J jnl
Probabilistic logic programming on the web.
Softw. Pract. Exp.
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota
2016 A conf
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce.
ECAI
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma
2016 J jnl
Statistical relational learning for workflow mining.
Intell. Data Anal.
Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2015 — ed.
AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings
AI*IA
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi
2015 — conf
Abductive Logic Programming for Normative Reasoning and Ontologies.
JSAI-isAI Workshops
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015 — conf
Abductive logic programming for Datalog +/- ontologies.
CILC
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015 — conf
An Abductive Framework for Datalog± Ontologies.
ICLP (Technical Communications)
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015 B conf
Distributed Parameter Learning for Probabilistic Ontologies.
ILP
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2015 — conf
Evaluating compliance: from LTL to abductive logic programming.
CILC
Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2015 — conf
Learning Probabilistic Ontologies with Distributed Parameter Learning.
DC@AI*IA
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2015 — conf
Logic Programming Techniques for Reasoning with Probabilistic Ontologies.
JOWO@IJCAI
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2015 J jnl
Probabilistic Description Logics under the distribution semantics.
Semantic Web
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2015 A* conf
Reasoning with Probabilistic Ontologies.
IJCAI
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2015 B conf
Reducing Laboratory Examinations by a Computer-Aided Clinical Decision Support System.
ICTAI
Massimo Gallerani, Dario Pelizzola, Marcello Pivanti, Giovanni Guerra, Michela Boni, Evelina Lamma, Elena Bellodi
2015 — conf
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques.
DC@AI*IA
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2014 — conf
Appropriateness of Repeated Execution of Laboratory Examinations: A CDSS Approach.
ICHI
Massimo Gallerani, Dario Pelizzola, Marcello Pivanti, Michela Boni, Evelina Lamma, Elena Bellodi
2014 — conf
Learning Probabilistic Description Logics.
URSW (LNCS Vol.)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota
2014 J jnl
Lifted Variable Elimination for Probabilistic Logic Programming.
CoRR
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese
2014 J jnl
Lifted Variable Elimination for Probabilistic Logic Programming.
Theory Pract. Log. Program.
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese
2014 — conf
Semantics and Inference for Probabilistic Description Logics.
URSW (LNCS Vol.)
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Fabiano Aguiari
2013 — conf
A Description Logics Tableau Reasoner in Prolog.
CILC
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2013 — conf
BUNDLE: A Reasoner for Probabilistic Ontologies.
RR
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 J jnl
CT dataset anisotropy management for oral implantology planning software.
Int. J. Comput. Assist. Radiol. Surg.
Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni
2013 — conf
Computing Instantiated Explanations in OWL DL.
AI*IA
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 J jnl
Editorial: 29th International Conference on Logic Programming special issue.
Theory Pract. Log. Program.
Evelina Lamma, Terrance Swift
2013 — conf
Learning the Parameters of Probabilistic Description Logics.
ILP (Late Breaking Papers)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 — conf
Parameter Learning for Probabilistic Ontologies.
RR
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 J jnl
The CHR-based Implementation of the SCIFF Abductive System.
Fundam. Informaticae
Marco Alberti, Marco Gavanelli, Evelina Lamma
2013 — conf
di4g: Uno Strumento di Clustering per l'Analisi Integrata di Dati Geologici.
PAI@AI*IA
Alice Piva, Giacomo Gamberoni, Denis Ferraretti, Evelina Lamma
2012 — conf
Deon + : Abduction and Constraints for Normative Reasoning.
Logic Programs, Norms and Action
Marco Alberti, Marco Gavanelli, Evelina Lamma
2012 — conf
Epistemic and Statistical Probabilistic Ontologies.
URSW
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2012 — conf
I2AM: a Semi-Automatic System for Data Interpretation in Petroleum Geology.
PAI
Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma
2012 — conf
Mandibular nerve canal identification for preoperative planning in oral implantology.
CompIMAGE
Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni
2012 — conf
Miglioramento di algoritmi di elaborazione di immagini da scanner 3D tramite Simulated Annealing.
PAI
Marco Derboni, Evelina Lamma, Antonio Zaccaro
2012 — conf
Probabilistic Datalog+/- under the Distribution Semantics.
Description Logics
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
2012 — conf
Probabilistic Ontologies in Datalog+/-.
CILC
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
2012 — conf
Semantics and Inference for Probabilistic Ontologies.
PAI
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2012 — conf
Un sistema di Vision Inspection basato su reti neurali.
PAI
Ludovico Buffon, Evelina Lamma, Fabrizio Riguzzi, Davide Formenti
2012 J jnl
Unsupervised and supervised learning in cascade for petroleum geology.
Expert Syst. Appl.
Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma
2011 J jnl
A Computational Logic Application Framework for Service Discovery and Contracting.
Int. J. Web Serv. Res.
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2011 — conf
A Distribution Semantics for Probabilistic Ontologies.
URSW
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Simone Albani
2011 — conf
Clustering and Classification Techniques for Blind Predictions of Reservoir Facies.
AI*IA
Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, Michele Febo
2011 — conf
Integrating Clustering and Classification Techniques: A Case Study for Reservoir Facies Prediction.
ISMIS Industrial Session
Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, Michele Febo, Raffaele Di Cuia
2011 J jnl
Learning specifications of interaction protocols and business processes and proving their properties.
Intelligenza Artificiale
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2011 — conf
Spot Detection in Images with Noisy Background.
ICIAP (1)
Denis Ferraretti, Luca Casarotti, Giacomo Gamberoni, Evelina Lamma
2011 — conf
The CHR-based Implementation of the SCIFF Abductive System.
CILC
Marco Alberti, Marco Gavanelli, Evelina Lamma
2010 J jnl
A fully 3D work context for oral implant planning and simulation.
Int. J. Comput. Assist. Radiol. Surg.
Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni
2010 J jnl
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes.
Fundam. Informaticae
Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma
2010 — ch.
Incremental Declarative Process Mining.
Smart Information and Knowledge Management
Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2010 C conf
Probabilistic Declarative Process Mining.
KSEM
Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2010 — conf
Probabilistic Logic-Based Process Mining.
CILC
Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2010 — conf
Runtime Addition of Integrity Constraints in SCIFF.
CILC
Marco Alberti, Marco Gavanelli, Evelina Lamma
2010 — conf
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure.
ICLP (Technical Communications)
Marco Alberti, Marco Gavanelli, Evelina Lamma
2010 J jnl
Techniques to Improve Preoperative Planning Precision for Oral Implantology.
IEEE Trans. Instrum. Meas.
Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni
2010 J jnl
Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images.
Intelligenza Artificiale
Denis Ferraretti, Luca Tagliavini, Raffaele Di Cuia, Mariachiara Puviani, Evelina Lamma, Sergio Storari
2009 C conf
An AI Tool for the Petroleum Industry Based on Image Analysis and Hierarchical Clustering.
IDEAL
Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma, Raffaele Di Cuia, Chiara Turolla
2009 — conf
Automatic Cluster Selection Using Index Driven Search Strategy.
AI*IA
Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma
2009 J jnl
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.
Trans. Petri Nets Other Model. Concurr.
Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
2009 J jnl
Exploiting association and correlation rules parameters for learning Bayesian networks.
Intell. Data Anal.
Sergio Storari, Fabrizio Riguzzi, Evelina Lamma
2009 A conf
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.
ICWS
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni
2009 B conf
Integration of Abductive Reasoning and Constraint Optimization in SCIFF.
ICLP
Marco Gavanelli, Marco Alberti, Evelina Lamma
2009 — ch.
Modelling Interactions via Commitments and Expectations.
Handbook of Research on Multi-Agent Systems
Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2008 — ch.
Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic.
Computer-based Medical Guidelines and Protocols
Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, Marilena Manfredi
2008 — conf
Exploiting Semantic Technology in Computational Logic-based Service Contracting.
SWAP
Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma
2008 J jnl
Expressing and Verifying Business Contracts with Abductive Logic Programming.
Int. J. Electron. Commer.
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2008 — conf
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties.
Il Milione
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2008 A conf
Integrating Abduction and Constraint Optimization in Constraint Handling Rules.
ECAI
Marco Gavanelli, Marco Alberti, Evelina Lamma
2008 J jnl
Verifiable agent interaction in abductive logic programming: The SCIFF framework.
ACM Trans. Comput. Log.
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2008 B conf
Verification from Declarative Specifications Using Logic Programming.
ICLP
Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2007 — conf
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.
RR
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007 B conf
Applying Inductive Logic Programming to Process Mining.
ILP
Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari
2007 — conf
Expressing and Verifying Business Contracts with Abductive Logic Programming.
Normative Multi-agent Systems
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007 J jnl
Fun&Co: identification of key functional differences in transcriptomes.
Bioinform.
Giacomo Gamberoni, Evelina Lamma, Gianluca Lodo, Jlenia Marchesini, Nicoletta Mascellani, Simona Rossi, Sergio Storari, Luca Tagliavini, Stefano Volinia
2007 A conf
Inducing Declarative Logic-Based Models from Labeled Traces.
BPM
Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
2007 J jnl
Specification and Verification of Agent Interaction Protocols in a Logic-based System.
Scalable Comput. Pract. Exp.
Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2007 B conf
Web Service Contracting: Specification and Reasoning with SCIFF.
ESWC
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2006 C conf
A Verifiable Logic-Based Agent Architecture.
ISMIS
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2006 C conf
An abductive framework for a-priori verification of web services.
PPDP
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
2006 J jnl
Artificial Intelligence Techniques for Monitoring Dangerous Infections.
IEEE Trans. Inf. Technol. Biomed.
Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, Gianfranco Valastro
2006 J jnl
Compliance verification of agent interaction: a logic-based software tool.
Appl. Artif. Intell.
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
2006 — conf
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the
WS-FM
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2006 J jnl
Mapping deontic operators to abductive expectations.
Comput. Math. Organ. Theory
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
2006 — conf
Policy-based Reasoning for Smart Web Service Interaction.
SWAP
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2005 J jnl
A CHR-based implementation of known arc-consistency.
Theory Pract. Log. Program.
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2005 A* conf
Abduction with Hypotheses Confirmation.
IJCAI
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005 C conf
An Expert System for the Oral Anticoagulation Treatment.
IEA/AIE
Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari
2005 B conf
Bayesian Networks Learning for Gene Expression Datasets.
IDA
Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia
2005 J jnl
Dealing with incomplete knowledge on CLP(
ACM Trans. Program. Lang. Syst.
Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2005 — conf
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.
W(C)LP
Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
2005 J jnl
Expressing interaction in combinatorial auction through social integrity constraints.
Intelligenza Artificiale
Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni
2005 — conf
Mapping of Deontic Operators to Abductive Expectations.
NORMAS
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
2005 — conf
Security Protocols Verification in Abductive Logic Programming: A Case Study.
ESAW
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005 — conf
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper).
CLIMA
Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
2005 — conf
The
AI*IA
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005 — conf
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses.
W(C)LP
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma
2004 J jnl
A CHR-based Implementation of Known Arc-Consistency
CoRR
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2004 C conf
A Logic based Approach to Interaction Design in Open Multi-Agent Systems.
WETICE
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
2004 J jnl
A System for Measuring Function Points from an ER-DFD Specification.
Comput. J.
Evelina Lamma, Paola Mello, Fabrizio Riguzzi
2004 J jnl
A knowledge based system for the anticoagulant oral therapy.
Intelligenza Artificiale
Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari
2004 — conf
An Abductive Framework for Information Exchange in Multi-agent Systems.
CLIMA
Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2004 — conf
Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster.
ISBMDA
Giacomo Gamberoni, Evelina Lamma, Sergio Storari, Diego Arcelli, Francesca Francioso, Stefano Volinia
2004 A conf
Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm.
ECAI
Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2004 — conf
Learning the Dose Adjustment for the Oral Anticoagulation Treatment.
ISBMDA
Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari, Giuseppe Trocino
2004 Misc conf
Specification and verification of agent interaction protocols in a logic-based system.
SAC
Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
2004 — conf
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.
Global Computing
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003 — conf
A Social ACL Semantics by Deontic Constraints.
CEEMAS
Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003 — conf
An Abductive Interpretation for Open Agent Societies.
AI*IA
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003 J jnl
Belief Revision via Lamarckian Evolution.
New Gener. Comput.
Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
2003 J jnl
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate.
Ann. Math. Artif. Intell.
Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni
2003 J jnl
Discovering Validation Rules from Microbiological Data.
New Gener. Comput.
Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti
2003 — conf
Improving the SLA Algorithm Using Association Rules.
AI*IA
Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari
2003 — conf
Interpreting Abduction in CLP.
APPIA-GULP-PRODE
Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
2003 — conf
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.
DALT
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003 — conf
Specification and Verification of Agent Interaction using Social Integrity Constraints.
LCMAS
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003 J jnl
Validation of biochemical laboratory results using the DNSev expert system.
Expert Syst. Appl.
Sergio Storari, Evelina Lamma, R. Mancini, Paola Mello, R. Motta, D. Patrono, G. Canova
2002 B conf
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.
JELIA
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2002 B conf
An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance.
CBMS
Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti
2002 Misc conf
Belief Revision via Lamarckian Evolution.
IC-AI
Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
2002 A conf
Coordinating the safe execution of tasks in a constrained multi-agent system.
AAMAS
Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma
2002 — conf
Exploiting Constraints for Domain Managing in CLP(FD).
FroCoS
Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2002 A conf
Synthesis of Object Models from Partial Models: A CSP Perspective.
ECAI
Marco Alberti, Evelina Lamma
2001 — conf
An Expert System for Microbiological Data Validation and Surveillance.
ISMDA
Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari
2001 — conf
Belief Revision by Lamarckian Evolution.
EvoWorkshops
Evelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi
2001 J jnl
From Eager to Lazy Constrained Data Acquisition: A General Framework.
New Gener. Comput.
Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara
2001 J jnl
LAILA: a language for coordinating abductive reasoning among logic agents.
Comput. Lang.
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2001 — conf
Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain.
RULE@PLI
Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari
2000 — conf
A System for Monitoring Nosocomial Infections.
ISMDA
Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi
2000 — ed.
AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings
AI*IA
Evelina Lamma, Paola Mello
2000 — conf
Expressing Collaboration And Competition Among Abductive Logic Agents.
WOA
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2000 — conf
Expressing Collaborative and Competitive Coordination among Abductive.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2000 J jnl
Strategies in Combined Learning via Logic Programs.
Mach. Learn.
Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
1999 Misc conf
3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction.
ICIAP
Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi
1999 Misc conf
Abductive Coordination for Logic Agents.
SAC
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
1999 — conf
An Implementation for Abductive Logic Agents.
AI*IA
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni
1999 A* conf
Constraint Propagation and Value Acquisition: Why we should do it Interactively.
IJCAI
Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi
1999 — conf
Domains as First Class Objects in CLP(FD).
APPIA-GULP-PRODE
Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello
1999 B conf
Domains as First Class Objects in CLP(FD).
ICLP
Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
1999 J jnl
Exploiting Type Analysis for Unification in a Distributed Environment.
Comput. Artif. Intell.
Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
1999 J jnl
Integrating Induction and Abduction in Logic Programming.
Inf. Sci.
Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1999 — conf
Least Commitment on Variable Binding in Presence of Incomplete Knowledge.
ECP
Rosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano
1999 J jnl
Reasoning on Constraints in CLP(FD).
J. Log. Program.
Evelina Lamma, Michela Milano, Paola Mello
1998 J jnl
Extending Constraint Logic Programming for Temporal Reasoning.
Ann. Math. Artif. Intell.
Evelina Lamma, Michela Milano, Paola Mello
1998 J jnl
Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem.
Softw. Pract. Exp.
Alberto Caprara, Filippo Focacci, Evelina Lamma, Paola Mello, Michela Milano, Paolo Toth, Daniele Vigo
1998 — conf
Interactive Constraint Satisfaction and its Application to Visual Object Recognition.
APPIA-GULP-PRODE
Evelina Lamma, Michela Milano, Rita Cucchiara, Paola Mello, Massimo Piccardi
1998 Misc conf
Learning Multiple Predicates.
AIMSA
Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi
1998 J jnl
Optimizing Modular Logic Languages.
ACM Comput. Surv.
Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
1997 — conf
A System for Abductive Learning of Logic Programs.
LPKR
Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1997 J jnl
A Unifying View for Logic Programming with Non-Monotonic Reasoning.
Theor. Comput. Sci.
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
1997 J jnl
A distributed constraint-based scheduler.
Artif. Intell. Eng.
Evelina Lamma, Paola Mello, Michela Milano
1997 — conf
An Algorithm for Learning Abductive Rules.
APPIA-GULP-PRODE
Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1997 C conf
An Interactive Constraint-Based System for Selective Attention in Visual Search.
ISMIS
Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano
1997 J jnl
Blackboard- and Object-Based Systems via Multi-Head Clauses.
Comput. Artif. Intell.
Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello
1997 B conf
Constraint Logic Programming for the Crew Rostering Problem.
PACT
Filippo Focacci, Evelina Lamma, Paola Mello, Michela Milano
1997 — conf
Improving Distributed Unification through Type Analysis.
Euro-Par
Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
1997 — conf
Introducing Abduction into (Extensional) Inductive Logic Programming Systems.
AI*IA
Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1997 B conf
Reasoning on Constraints in Constraint Logic Programming.
ICLP
Evelina Lamma, Michela Milano, Paola Mello
1996 A conf
A Meta Constraint Logic Programming Architecture (Extended Abstract).
CP
Evelina Lamma, Paola Mello, Michela Milano
1996 J jnl
An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages.
Inf. Process. Lett.
Anna Ciampolini, Evelina Lamma, Paola Mello
1996 J jnl
An Optimized Implementation of a Dynamic Modular Logic Language.
Softw. Concepts Tools
Anna Ciampolini, Evelina Lamma, Paola Mello
1996 J jnl
An assumption-based truth maintenance system dealing with non-ground justifications.
J. Exp. Theor. Artif. Intell.
Evelina Lamma, Paola Mello
1996 — conf
Combining Solvers in a Meta Constraint Logic Programming Architecture.
FroCoS
Evelina Lamma, Michela Milano, Paola Mello
1996 — conf
Comsumption-based Distributed Unification.
APPIA-GULP-PRODE
Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
1996 J jnl
Distributed Logic Objects.
Comput. Lang.
Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello
1996 — conf
Distributed logic objects: A fragment of rewriting logic and its implementation.
WRLA
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
1996 — conf
Enhancing Constraint Logic Programming through Meta Programming.
APPIA-GULP-PRODE
Evelina Lamma, Paola Mello, Michela Milano
1996 C conf
Resource-Based vs. Task-Based Approaches for Scheduling Problems.
ISMIS
Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani
1996 C conf
Temporal Reasoning in a Meta Constraint Logic Programming Architecture.
TIME
Evelina Lamma, Paola Mello, Michela Milano
1995 B conf
An Abductive Framework for Extended Logic Programming.
LPNMR
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
1995 — conf
Improving the Efficiency of Dynamic Modular Logic Languages.
GULP-PRODE
Anna Ciampolini, Evelina Lamma, Paola Mello
1994 B conf
Modularity in Logic Programming.
ICLP
Evelina Lamma, Paola Mello
1994 J jnl
Modularity in Logic Programming.
J. Log. Program.
Michele Bugliesi, Evelina Lamma, Paola Mello
1994 C conf
Multi-level Copying For Unification In Parallel Architectures.
PDP
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
1993 J jnl
Composing Open Logic Programs.
J. Log. Comput.
Antonio Brogi, Evelina Lamma, Paola Mello
1993 — conf
Computing 3-valued Stable Models by using the ATMS.
AI*IA
Evelina Lamma, Paola Mello
1993 — ed.
Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings
ELP
Evelina Lamma, Paola Mello
1993 J jnl
Parametric Composable Modules in a Logic Programming Language.
Comput. Lang.
Evelina Lamma, Paola Mello, Gianfranco Rossi
1993 J jnl
Partial Deduction for Structured Logic Programming.
J. Log. Program.
Michele Bugliesi, Evelina Lamma, Paola Mello
1993 — conf
Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture.
ELP
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
1992 C conf
A Rationalisation of the ATMS in Terms of Partial Evaluation.
LOPSTR
Evelina Lamma, Paola Mello
1992 A conf
ATMS for Implementing Logic Programming.
ECAI
Antonio Brogi, Evelina Lamma, Paola Mello
1992 A conf
An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications.
ECAI
Evelina Lamma, Paola Mello
1992 J jnl
An Extended Warren Abstract Machine for the Execution of Structured Logic Programs.
J. Log. Program.
Evelina Lamma, Paola Mello, Antonio Natali
1992 J jnl
Compositional Model-Theoretic Semantics for Logic Programs.
New Gener. Comput.
Antonio Brogi, Evelina Lamma, Paola Mello
1992 J jnl
Knowledge-Based Technology for Controlling Railway Stations.
IEEE Expert
Bruno Fringuelli, Evelina Lamma, Paola Mello, Giovanni Santocchia
1992 — conf
Normal Logic Programs as Open Positive Programs.
JICSLP
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
1992 — conf
Normal logic programs as open positive programs.
CNKBS
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
1992 — conf
Techniques for Implementing Contexts in Logic Programming.
ELP
Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
1992 J jnl
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses.
Inf. Process. Lett.
Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paola Mello
1991 — conf
Abductive Reasoning in a Multi-Theory Framework.
AI*IA
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
1991 — conf
Objects in a Logic Programming Framework.
RCLP
Antonio Brogi, Evelina Lamma, Paola Mello
1991 — conf
Open Logic Theories.
ELP
Antonio Brogi, Evelina Lamma, Paola Mello
1991 — conf
Processing Abductive Reasoning via Contextual Logic Programming.
PDK
Evelina Lamma, Paola Mello
1991 J jnl
Reflection Mechanisms for Combining Prolog Databases.
Softw. Pract. Exp.
Evelina Lamma, Paola Mello, Antonio Natali
1990 J jnl
Hypothetical Reasoning in Logic Programming: A Semantic Approach.
Inf. Process. Lett.
Antonio Brogi, Evelina Lamma, Paola Mello
1990 A conf
Inheritance and Hypothetical Reasoning in Logic Programming.
ECAI
Antonio Brogi, Evelina Lamma, Paola Mello
1990 — conf
Partial Evaluation for Hierarchies of Logic Theories.
NACLP
Michele Bugliesi, Evelina Lamma, Paola Mello
1989 J jnl
ADES: An expert system for ATP design.
Artif. Intell. Eng. Des. Anal. Manuf.
Roberto Cremonini, Evelina Lamma, Paola Mello
1989 B conf
The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming.
ICLP
Evelina Lamma, Paola Mello, Antonio Natali
1988 A conf
An Extended Prolog Machine for Dynamic Context Handling.
ECAI
Marco Cavalieri, Evelina Lamma, Paola Mello
1988 — conf
Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques.
META
Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali
1987 J jnl
Optimization techniques in building expert systems.
Microprocess. Microprogramming
Roberto Cremonini, Evelina Lamma, Paola Mello