default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEvelina Lamma
Person information
- affiliation: University of Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j83]Marco Alberti
, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
A semantics for probabilistic hybrid knowledge bases with function symbols. Artif. Intell. 346: 104361 (2025)- 2024
- [j82]Michele Fraccaroli, Alice Bizzarri, Paolo Casellati, Evelina Lamma:
Exploiting CNN's visual explanations to drive anomaly detection. Appl. Intell. 54(11-12): 414-427 (2024) - [j81]Alice Bizzarri, Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi:
Integration between constrained optimization and deep networks: a survey. Frontiers Artif. Intell. 7 (2024) - [c157]Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini, Marco Gavanelli, Riccardo Zese:
Probabilistic Traces in Declarative Process Mining. AI*IA 2024: 330-345 - [c156]Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini:
Probabilistic Compliance in Declarative Process Mining. PMAI@ECAI 2024: 11-22 - 2023
- [j80]Niccolò Ferrari, Michele Fraccaroli, Evelina Lamma:
GRD-Net: Generative-Reconstructive-Discriminative Anomaly Detection with Region of Interest Attention Module. Int. J. Intell. Syst. 2023: 1-18 (2023) - [i8]Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi:
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases. CoRR abs/2306.09138 (2023) - 2022
- [j79]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): 3461-3474 (2022) - [j78]Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi:
Symbolic DNN-Tuner. Mach. Learn. 111(2): 625-650 (2022) - [j77]Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi:
Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing Deep Neural Networks hyperparameters. SoftwareX 17: 100957 (2022) - [c155]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary. ICLP Workshops 2022 - [c154]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: 65-78 - 2021
- [j76]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
A semantics for Hybrid Probabilistic Logic programs with function symbols. Artif. Intell. 294: 103452 (2021) - [j75]Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, Evelina Lamma:
Probabilistic inductive constraint logic. Mach. Learn. 110(4): 723-754 (2021) - [j74]Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma:
Learning hierarchical probabilistic logic programs. Mach. Learn. 110(7): 1637-1693 (2021) - [j73]Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi:
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. Theory Pract. Log. Program. 21(5): 557-574 (2021) - [c153]Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma:
A Probabilistic Logic Model of Lightning Network. BIS (Workshops) 2021: 321-333 - [i7]Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi:
Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints. CoRR abs/2108.03033 (2021) - 2020
- [j72]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: 103861 (2020) - [j71]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese:
Dischargeable Obligations in the 𝒮CIFF Framework. Fundam. Informaticae 176(3-4): 321-348 (2020) - [c152]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
Modeling Smart Contracts with Probabilistic Logic Programming. BIS (Workshops) 2020: 86-98 - [c151]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
An Analysis of Gibbs Sampling for Probabilistic Logic Programs. ICLP Workshops 2020 - [c150]Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi:
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules. LOD (1) 2020: 477-488 - [p4]Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
A Framework for Reasoning on Probabilistic Description Logics. Applications and Practices in Ontology Design, Extraction, and Reasoning 2020: 127-144 - [i6]Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi:
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules. CoRR abs/2006.02105 (2020) - [i5]Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
A Framework for Reasoning on Probabilistic Description Logics. CoRR abs/2010.01087 (2020)
2010 – 2019
- 2019
- [j70]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming. Inf. 10(11): 335 (2019) - [j69]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): 449-476 (2019) - [c149]Damiano Azzolini, Fabrizio Riguzzi, Franco Masotti, Evelina Lamma:
A Comparison of MCMC Sampling for Probabilistic Logic Programming. AI*IA 2019: 18-29 - [c148]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
Analyzing Transaction Fees with Probabilistic Logic Programming. BIS (Workshops) 2019: 243-254 - [c147]Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Evelina Lamma:
KRaider: a Crawler for Linked Data. CILC 2019: 202-216 - [c146]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Accountable Protocols in Abductive Logic Programming. CILC 2019 - 2018
- [j68]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): 101-130 (2018) - [j67]Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali:
Evaluating Compliance: From LTL to Abductive Logic Programming. Fundam. Informaticae 159(1-2): 35-63 (2018) - [j66]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Reasoning on Datalog± Ontologies with Abductive Logic Programming. Fundam. Informaticae 159(1-2): 65-93 (2018) - [j65]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Accountable Protocols in Abductive Logic Programming. ACM Trans. Internet Techn. 18(4): 46:1-46:20 (2018) - [j64]Evelina Lamma, Terrance Swift:
Editorial: 29th International conference on logic programming special issue - ADDENDUM. Theory Pract. Log. Program. 18(1): 121 (2018) - [c145]Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi:
Vision Inspection with Neural Networks. RiCeRcA@AI*IA 2018 - [c144]Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma:
Expectation Maximization in Deep Probabilistic Logic Programming. AI*IA 2018: 293-306 - [c143]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: 117-131 - [c142]Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma:
Learning the Parameters of Deep Probabilistic Logic Programs. PLP@ILP 2018: 9-14 - [c141]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese:
Modeling Bitcoin Protocols with Probabilistic Logic Programming. PLP@ILP 2018: 49-61 - [c140]Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, Evelina Lamma:
A Modular Inference System for Probabilistic Description Logics. SUM 2018: 78-92 - [i4]Riccardo Zese, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi:
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. CoRR abs/1809.06180 (2018) - 2017
- [j63]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: 313-333 (2017) - [j62]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): 179:1-179:9 (2017) - [j61]Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, Giuseppe Cota:
A web system for reasoning with probabilistic OWL. Softw. Pract. Exp. 47(1): 125-142 (2017) - [c139]Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. ICTCS/CILC 2017: 248-261 - [c138]Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi:
Deep Probabilistic Logic Programming. PLP@ILP 2017: 3-14 - [c137]Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases. PLP@ILP 2017: 40-50 - [c136]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Dischargeable Obligations in Abductive Logic Programming. RuleML+RR 2017: 7-21 - 2016
- [j60]Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Statistical relational learning for workflow mining. Intell. Data Anal. 20(3): 515-541 (2016) - [j59]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota:
Probabilistic logic programming on the web. Softw. Pract. Exp. 46(10): 1381-1396 (2016) - [c135]Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Probabilistic Logic Programming for Natural Language Processing. URANIA@AI*IA 2016: 30-37 - [c134]Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics. AI*IA 2016: 364-376 - [c133]Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma:
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce. ECAI 2016: 1602-1603 - [c132]Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Probabilistic Constraint Logic Theories. PLP@ILP 2016: 15-28 - 2015
- [j58]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Probabilistic Description Logics under the distribution semantics. Semantic Web 6(5): 477-501 (2015) - [c131]Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques. DC@AI*IA 2015: 1-6 - [c130]Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
Learning Probabilistic Ontologies with Distributed Parameter Learning. DC@AI*IA 2015: 7-12 - [c129]Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Evaluating compliance: from LTL to abductive logic programming. CILC 2015: 101-116 - [c128]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Abductive logic programming for Datalog +/- ontologies. CILC 2015: 128-143 - [c127]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
An Abductive Framework for Datalog± Ontologies. ICLP (Technical Communications) 2015 - [c126]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: 752-759 - [c125]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Reasoning with Probabilistic Ontologies. IJCAI 2015: 4310-4316 - [c124]Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
Logic Programming Techniques for Reasoning with Probabilistic Ontologies. JOWO@IJCAI 2015 - [c123]Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Distributed Parameter Learning for Probabilistic Ontologies. ILP 2015: 30-45 - [c122]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Abductive Logic Programming for Normative Reasoning and Ontologies. JSAI-isAI Workshops 2015: 187-203 - [e3]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi:
AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings. Lecture Notes in Computer Science 9336, Springer 2015, ISBN 978-3-319-24308-5 [contents] - 2014
- [j57]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): 681-695 (2014) - [c121]Massimo Gallerani, Dario Pelizzola, Marcello Pivanti, Michela Boni, Evelina Lamma, Elena Bellodi:
Appropriateness of Repeated Execution of Laboratory Examinations: A CDSS Approach. ICHI 2014: 161-169 - [c120]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota:
Learning Probabilistic Description Logics. URSW (LNCS Vol.) 2014: 63-78 - [c119]Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Fabiano Aguiari:
Semantics and Inference for Probabilistic Description Logics. URSW (LNCS Vol.) 2014: 79-99 - [i3]Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese:
Lifted Variable Elimination for Probabilistic Logic Programming. CoRR abs/1405.3218 (2014) - 2013
- [j56]Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni:
CT dataset anisotropy management for oral implantology planning software. Int. J. Comput. Assist. Radiol. Surg. 8(2): 247-257 (2013) - [j55]Marco Alberti, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of the SCIFF Abductive System. Fundam. Informaticae 124(4): 365-381 (2013) - [j54]Evelina Lamma, Terrance Swift:
Editorial: 29th International Conference on Logic Programming special issue. Theory Pract. Log. Program. 13(4-5): 465-470 (2013) - [c118]Alice Piva, Giacomo Gamberoni, Denis Ferraretti, Evelina Lamma:
di4g: Uno Strumento di Clustering per l'Analisi Integrata di Dati Geologici. PAI@AI*IA 2013: 73-79 - [c117]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Computing Instantiated Explanations in OWL DL. AI*IA 2013: 397-408 - [c116]Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
A Description Logics Tableau Reasoner in Prolog. CILC 2013: 33-47 - [c115]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Learning the Parameters of Probabilistic Description Logics. ILP (Late Breaking Papers) 2013: 46-51 - [c114]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
BUNDLE: A Reasoner for Probabilistic Ontologies. RR 2013: 183-197 - [c113]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Parameter Learning for Probabilistic Ontologies. RR 2013: 265-270 - 2012
- [j53]Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma:
Unsupervised and supervised learning in cascade for petroleum geology. Expert Syst. Appl. 39(10): 9504-9514 (2012) - [c112]Ludovico Buffon, Evelina Lamma, Fabrizio Riguzzi, Davide Formenti:
Un sistema di Vision Inspection basato su reti neurali. PAI 2012: 1-6 - [c111]Marco Derboni, Evelina Lamma, Antonio Zaccaro:
Miglioramento di algoritmi di elaborazione di immagini da scanner 3D tramite Simulated Annealing. PAI 2012: 7-13 - [c110]Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma:
I2AM: a Semi-Automatic System for Data Interpretation in Petroleum Geology. PAI 2012: 14-20 - [c109]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Semantics and Inference for Probabilistic Ontologies. PAI 2012: 41-46 - [c108]Marco Alberti, Marco Gavanelli, Evelina Lamma:
Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action 2012: 308-328 - [c107]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma:
Probabilistic Ontologies in Datalog+/-. CILC 2012: 221-235 - [c106]Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni:
Mandibular nerve canal identification for preoperative planning in oral implantology. CompIMAGE 2012: 193-198 - [c105]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma:
Probabilistic Datalog+/- under the Distribution Semantics. Description Logics 2012 - [c104]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Epistemic and Statistical Probabilistic Ontologies. URSW 2012: 3-14 - 2011
- [j52]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): 71-75 (2011) - [j51]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): 1-25 (2011) - [c103]Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, Michele Febo:
Clustering and Classification Techniques for Blind Predictions of Reservoir Facies. AI*IA 2011: 348-359 - [c102]Marco Alberti, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of the SCIFF Abductive System. CILC 2011: 163-177 - [c101]Denis Ferraretti, Luca Casarotti, Giacomo Gamberoni, Evelina Lamma:
Spot Detection in Images with Noisy Background. ICIAP (1) 2011: 575-584 - [c100]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: 21-34 - [c99]Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Simone Albani:
A Distribution Semantics for Probabilistic Ontologies. URSW 2011: 75-86 - 2010
- [j50]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): 57-67 (2010) - [j49]Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma:
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Informaticae 102(3-4): 325-361 (2010) - [j48]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): 27-35 (2010) - [j47]Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni:
Techniques to Improve Preoperative Planning Precision for Oral Implantology. IEEE Trans. Instrum. Meas. 59(11): 2887-2897 (2010) - [c98]Marco Alberti, Marco Gavanelli, Evelina Lamma:
Runtime Addition of Integrity Constraints in SCIFF. CILC 2010 - [c97]Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Probabilistic Logic-Based Process Mining. CILC 2010 - [c96]Marco Alberti, Marco Gavanelli, Evelina Lamma:
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) 2010: 4-13 - [c95]Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Probabilistic Declarative Process Mining. KSEM 2010: 292-303 - [p3]Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Incremental Declarative Process Mining. Smart Information and Knowledge Management 2010: 103-127
2000 – 2009
- 2009
- [j46]Sergio Storari, Fabrizio Riguzzi, Evelina Lamma:
Exploiting association and correlation rules parameters for learning Bayesian networks. Intell. Data Anal. 13(5): 689-701 (2009) - [j45]Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. Trans. Petri Nets Other Model. Concurr. 2: 278-295 (2009) - [c94]Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma:
Automatic Cluster Selection Using Index Driven Search Strategy. AI*IA 2009: 172-181 - [c93]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP 2009: 387-401 - [c92]Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni:
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS 2009: 254-261 - [c91]Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma, Raffaele Di Cuia, Chiara Turolla:
An AI Tool for the Petroleum Industry Based on Image Analysis and Hierarchical Clustering. IDEAL 2009: 276-283 - [p2]Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Modelling Interactions via Commitments and Expectations. Handbook of Research on Multi-Agent Systems 2009: 263-284 - 2008
- [j44]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Expressing and Verifying Business Contracts with Abductive Logic Programming. Int. J. Electron. Commer. 12(4): 9-38 (2008) - [j43]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9(4): 29:1-29:43 (2008) - [c90]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. Il Milione 2008 - [c89]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI 2008: 903-904 - [c88]Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454 - [c87]Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma:
Exploiting Semantic Technology in Computational Logic-based Service Contracting. SWAP 2008 - [p1]Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, Marilena Manfredi:
Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. Computer-based Medical Guidelines and Protocols 2008: 183-192 - 2007
- [j42]Giacomo Gamberoni, Evelina Lamma, Gianluca Lodo, Jlenia Marchesini, Nicoletta Mascellani, Simona Rossi, Sergio Storari, Luca Tagliavini, Stefano Volinia:
Fun&Co: identification of key functional differences in transcriptomes. Bioinform. 23(20): 2725-2732 (2007) - [j41]Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Comput. Pract. Exp. 8(1) (2007) - [c86]Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359 - [c85]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83 - [c84]Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari:
Applying Inductive Logic Programming to Process Mining. ILP 2007: 132-146 - [c83]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. RR 2007: 279-288 - [i2]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems 2007 - 2006
- [j40]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni:
Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. 20(2-4): 133-157 (2006) - [j39]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor:
Mapping deontic operators to abductive expectations. Comput. Math. Organ. Theory 12(2-3): 205-225 (2006) - [j38]Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, Gianfranco Valastro:
Artificial Intelligence Techniques for Monitoring Dangerous Infections. IEEE Trans. Inf. Technol. Biomed. 10(1): 143-155 (2006) - [c82]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197 - [c81]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali:
An abductive framework for a-priori verification of web services. PPDP 2006: 39-50 - [c80]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006 - [c79]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. WS-FM 2006: 58-72 - 2005
- [j37]Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni:
Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale 2(1): 22-29 (2005) - [j36]Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
Dealing with incomplete knowledge on CLP(FD) variable domains. ACM Trans. Program. Lang. Syst. 27(2): 236-263 (2005) - [j35]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
A CHR-based implementation of known arc-consistency. Theory Pract. Log. Program. 5(4-5): 419-440 (2005) - [c78]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147 - [c77]Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA 2005: 243-264 - [c76]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW 2005: 106-124 - [c75]Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia:
Bayesian Networks Learning for Gene Expression Datasets. IDA 2005: 109-120 - [c74]Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari:
An Expert System for the Oral Anticoagulation Treatment. IEA/AIE 2005: 773-782 - [c73]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546 - [c72]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor:
Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136 - [c71]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. W(C)LP 2005: 53-64 - [c70]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. W(C)LP 2005: 111-122 - 2004
- [j34]Evelina Lamma, Paola Mello, Fabrizio Riguzzi:
A System for Measuring Function Points from an ER-DFD Specification. Comput. J. 47(3): 358-372 (2004) - [j33]Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari:
A knowledge based system for the anticoagulant oral therapy. Intelligenza Artificiale 1(4): 9-15 (2004) - [c69]Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA 2004: 34-52 - [c68]Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. ECAI 2004: 500-504 - [c67]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. Global Computing 2004: 314-339 - [c66]Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari, Giuseppe Trocino:
Learning the Dose Adjustment for the Oral Anticoagulation Treatment. ISBMDA 2004: 171-181 - [c65]Giacomo Gamberoni, Evelina Lamma, Sergio Storari, Diego Arcelli, Francesca Francioso, Stefano Volinia:
Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster. ISBMDA 2004: 498-506 - [c64]Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello:
Specification and verification of agent interaction protocols in a logic-based system. SAC 2004: 72-78 - [c63]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni:
A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE 2004: 387-392 - [i1]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
A CHR-based Implementation of Known Arc-Consistency. CoRR cs.LO/0408056 (2004) - 2003
- [j32]Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni:
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. Ann. Math. Artif. Intell. 37(1-2): 65-91 (2003) - [j31]Sergio Storari, Evelina Lamma, R. Mancini, Paola Mello, R. Motta, D. Patrono, G. Canova:
Validation of biochemical laboratory results using the DNSev expert system. Expert Syst. Appl. 25(4): 503-515 (2003) - [j30]Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti:
Discovering Validation Rules from Microbiological Data. New Gener. Comput. 21(2): 123-133 (2003) - [j29]Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira:
Belief Revision via Lamarckian Evolution. New Gener. Comput. 21(3): 247-275 (2003) - [c62]Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni:
Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35 - [c61]Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari:
Improving the SLA Algorithm Using Association Rules. AI*IA 2003: 165-175 - [c60]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299 - [c59]Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213 - [c58]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT 2003: 243-262 - [c57]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction using Social Integrity Constraints. LCMAS 2003: 94-116 - 2002
- [c56]Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma:
Coordinating the safe execution of tasks in a constrained multi-agent system. AAMAS 2002: 940-941 - [c55]Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti:
An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. CBMS 2002: 13-20 - [c54]Marco Alberti, Evelina Lamma:
Synthesis of Object Models from Partial Models: A CSP Perspective. ECAI 2002: 116-120 - [c53]Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
Exploiting Constraints for Domain Managing in CLP(FD). FroCoS 2002: 177-191 - [c52]Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira:
Belief Revision via Lamarckian Evolution. IC-AI 2002: 1264-1270 - [c51]Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni:
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. JELIA 2002: 14-26 - 2001
- [j28]Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni:
LAILA: a language for coordinating abductive reasoning among logic agents. Comput. Lang. 27(4): 137-161 (2001) - [j27]Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara:
From Eager to Lazy Constrained Data Acquisition: A General Framework. New Gener. Comput. 19(4): 339-368 (2001) - [c50]Evelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi:
Belief Revision by Lamarckian Evolution. EvoWorkshops 2001: 404-413 - [c49]Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari:
An Expert System for Microbiological Data Validation and Surveillance. ISMDA 2001: 153-160 - [c48]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. RULE@PLI 2001: 397-411 - 2000
- [j26]Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira:
Strategies in Combined Learning via Logic Programs. Mach. Learn. 38(1-2): 63-87 (2000) - [c47]Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni:
Expressing Collaborative and Competitive Coordination among Abductive. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 35-43 - [c46]Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi:
A System for Monitoring Nosocomial Infections. ISMDA 2000: 282-292 - [c45]Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni:
Expressing Collaboration And Competition Among Abductive Logic Agents. WOA 2000: 64-69 - [e2]Evelina Lamma, Paola Mello:
AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings. Lecture Notes in Computer Science 1792, Springer 2000, ISBN 3-540-67350-4 [contents]
1990 – 1999
- 1999
- [j25]Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck:
Exploiting Type Analysis for Unification in a Distributed Environment. Comput. Artif. Intell. 18(5): 447-465 (1999) - [j24]Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
Integrating Induction and Abduction in Logic Programming. Inf. Sci. 116(1): 25-54 (1999) - [j23]Evelina Lamma, Michela Milano, Paola Mello:
Reasoning on Constraints in CLP(FD). J. Log. Program. 38(1): 93-110 (1999) - [c44]Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello:
Domains as First Class Objects in CLP(FD). APPIA-GULP-PRODE 1999: 411-424 - [c43]Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni:
An Implementation for Abductive Logic Agents. AI*IA 1999: 61-71 - [c42]Rosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano:
Least Commitment on Variable Binding in Presence of Incomplete Knowledge. ECP 1999: 159-171 - [c41]Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi:
3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. ICIAP 1999: 508-513 - [c40]Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
Domains as First Class Objects in CLP(FD). ICLP 1999: 608 - [c39]Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi:
Constraint Propagation and Value Acquisition: Why we should do it Interactively. IJCAI 1999: 468-477 - [c38]Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli:
Abductive Coordination for Logic Agents. SAC 1999: 134-140 - 1998
- [j22]Evelina Lamma, Michela Milano, Paola Mello:
Extending Constraint Logic Programming for Temporal Reasoning. Ann. Math. Artif. Intell. 22(1-2): 139-158 (1998) - [j21]Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello:
Optimizing Modular Logic Languages. ACM Comput. Surv. 30(3es): 10 (1998) - [j20]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. Softw. Pract. Exp. 28(1): 49-76 (1998) - [c37]Evelina Lamma, Michela Milano, Rita Cucchiara, Paola Mello, Massimo Piccardi:
Interactive Constraint Satisfaction and its Application to Visual Object Recognition. APPIA-GULP-PRODE 1998: 57-70 - [c36]Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi:
Learning Multiple Predicates. AIMSA 1998: 303-316 - 1997
- [j19]Evelina Lamma, Paola Mello, Michela Milano:
A distributed constraint-based scheduler. Artif. Intell. Eng. 11(2): 91-105 (1997) - [j18]Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello:
Blackboard- and Object-Based Systems via Multi-Head Clauses. Comput. Artif. Intell. 16(4): 401-423 (1997) - [j17]Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theor. Comput. Sci. 184(1-2): 1-5 (1997) - [c35]Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
An Algorithm for Learning Abductive Rules. APPIA-GULP-PRODE 1997: 295-306 - [c34]Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
Introducing Abduction into (Extensional) Inductive Logic Programming Systems. AI*IA 1997: 183-194 - [c33]Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck:
Improving Distributed Unification through Type Analysis. Euro-Par 1997: 1181-1190 - [c32]Evelina Lamma, Michela Milano, Paola Mello:
Reasoning on Constraints in Constraint Logic Programming. ICLP 1997: 413 - [c31]Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano:
An Interactive Constraint-Based System for Selective Attention in Visual Search. ISMIS 1997: 431-440 - [c30]Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
A System for Abductive Learning of Logic Programs. LPKR 1997: 102-122 - [c29]Filippo Focacci, Evelina Lamma, Paola Mello, Michela Milano:
Constraint Logic Programming for the Crew Rostering Problem. PACT 1997: 151-164 - 1996
- [j16]Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello:
Distributed Logic Objects. Comput. Lang. 22(4): 237-258 (1996) - [j15]Anna Ciampolini, Evelina Lamma, Paola Mello:
An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages. Inf. Process. Lett. 58(4): 163-170 (1996) - [j14]Evelina Lamma, Paola Mello:
An assumption-based truth maintenance system dealing with non-ground justifications. J. Exp. Theor. Artif. Intell. 8(1): 21-42 (1996) - [j13]Anna Ciampolini, Evelina Lamma, Paola Mello:
An Optimized Implementation of a Dynamic Modular Logic Language. Softw. Concepts Tools 17(4): 148-162 (1996) - [c28]Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck:
Comsumption-based Distributed Unification. APPIA-GULP-PRODE 1996: 207-218 - [c27]Evelina Lamma, Paola Mello, Michela Milano:
Enhancing Constraint Logic Programming through Meta Programming. APPIA-GULP-PRODE 1996: 523-534 - [c26]Evelina Lamma, Paola Mello, Michela Milano:
A Meta Constraint Logic Programming Architecture (Extended Abstract). CP 1996: 549-550 - [c25]Evelina Lamma, Michela Milano, Paola Mello:
Combining Solvers in a Meta Constraint Logic Programming Architecture. FroCoS 1996: 267-283 - [c24]Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani:
Resource-Based vs. Task-Based Approaches for Scheduling Problems. ISMIS 1996: 325-334 - [c23]Evelina Lamma, Paola Mello, Michela Milano:
Temporal Reasoning in a Meta Constraint Logic Programming Architecture. TIME 1996: 128-135 - [c22]Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli:
Distributed logic objects: A fragment of rewriting logic and its implementation. WRLA 1996: 110-125 - 1995
- [c21]Anna Ciampolini, Evelina Lamma, Paola Mello:
Improving the Efficiency of Dynamic Modular Logic Languages. GULP-PRODE 1995: 347-358 - [c20]Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
An Abductive Framework for Extended Logic Programming. LPNMR 1995: 330-343 - 1994
- [j12]Michele Bugliesi, Evelina Lamma, Paola Mello:
Modularity in Logic Programming. J. Log. Program. 19/20: 443-502 (1994) - [c19]Evelina Lamma, Paola Mello:
Modularity in Logic Programming. ICLP 1994: 15-17 - [c18]Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli:
Multi-level Copying For Unification In Parallel Architectures. PDP 1994: 518-525 - 1993
- [j11]Evelina Lamma, Paola Mello, Gianfranco Rossi:
Parametric Composable Modules in a Logic Programming Language. Comput. Lang. 18(2): 105-123 (1993) - [j10]Michele Bugliesi, Evelina Lamma, Paola Mello:
Partial Deduction for Structured Logic Programming. J. Log. Program. 16(1): 89-122 (1993) - [j9]Antonio Brogi, Evelina Lamma, Paola Mello:
Composing Open Logic Programs. J. Log. Comput. 3(4): 417-439 (1993) - [c17]Evelina Lamma, Paola Mello:
Computing 3-valued Stable Models by using the ATMS. AI*IA 1993: 23-34 - [c16]Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli:
Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. ELP 1993: 62-76 - [e1]Evelina Lamma, Paola Mello:
Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings. Lecture Notes in Computer Science 660, Springer 1993, ISBN 3-540-56454-3 [contents] - 1992
- [j8]Bruno Fringuelli, Evelina Lamma, Paola Mello, Giovanni Santocchia:
Knowledge-Based Technology for Controlling Railway Stations. IEEE Expert 7(6): 45-52 (1992) - [j7]Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paola Mello:
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. Inf. Process. Lett. 42(6): 331-338 (1992) - [j6]Evelina Lamma, Paola Mello, Antonio Natali:
An Extended Warren Abstract Machine for the Execution of Structured Logic Programs. J. Log. Program. 14(3&4): 187-222 (1992) - [j5]Antonio Brogi, Evelina Lamma, Paola Mello:
Compositional Model-Theoretic Semantics for Logic Programs. New Gener. Comput. 11(1): 1-21 (1992) - [c15]Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
Normal logic programs as open positive programs. CNKBS 1992: 9-11 - [c14]Antonio Brogi, Evelina Lamma, Paola Mello:
ATMS for Implementing Logic Programming. ECAI 1992: 114-118 - [c13]Evelina Lamma, Paola Mello:
An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications. ECAI 1992: 119-123 - [c12]Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini:
Techniques for Implementing Contexts in Logic Programming. ELP 1992: 339-358 - [c11]Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
Normal Logic Programs as Open Positive Programs. JICSLP 1992: 783-797 - [c10]Evelina Lamma, Paola Mello:
A Rationalisation of the ATMS in Terms of Partial Evaluation. LOPSTR 1992: 118-131 - 1991
- [j4]Evelina Lamma, Paola Mello, Antonio Natali:
Reflection Mechanisms for Combining Prolog Databases. Softw. Pract. Exp. 21(6): 603-624 (1991) - [c9]Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
Abductive Reasoning in a Multi-Theory Framework. AI*IA 1991: 137-146 - [c8]Antonio Brogi, Evelina Lamma, Paola Mello:
Open Logic Theories. ELP 1991: 73-88 - [c7]Antonio Brogi, Evelina Lamma, Paola Mello:
Objects in a Logic Programming Framework. RCLP 1991: 102-113 - [c6]Evelina Lamma, Paola Mello:
Processing Abductive Reasoning via Contextual Logic Programming. PDK 1991: 336-343 - 1990
- [j3]Antonio Brogi, Evelina Lamma, Paola Mello:
Hypothetical Reasoning in Logic Programming: A Semantic Approach. Inf. Process. Lett. 36(6): 285-291 (1990) - [c5]Antonio Brogi, Evelina Lamma, Paola Mello:
Inheritance and Hypothetical Reasoning in Logic Programming. ECAI 1990: 105-110 - [c4]Michele Bugliesi, Evelina Lamma, Paola Mello:
Partial Evaluation for Hierarchies of Logic Theories. NACLP 1990: 359-376
1980 – 1989
- 1989
- [j2]Roberto Cremonini, Evelina Lamma, Paola Mello:
ADES: An expert system for ATP design. Artif. Intell. Eng. Des. Anal. Manuf. 3(1): 1-21 (1989) - [c3]Evelina Lamma, Paola Mello, Antonio Natali:
The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. ICLP 1989: 303-317 - 1988
- [c2]Marco Cavalieri, Evelina Lamma, Paola Mello:
An Extended Prolog Machine for Dynamic Context Handling. ECAI 1988: 284-289 - [c1]Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali:
Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques. META 1988: 399-415 - 1987
- [j1]Roberto Cremonini, Evelina Lamma, Paola Mello:
Optimization techniques in building expert systems. Microprocess. Microprogramming 21(1-5): 531-538 (1987)
Coauthor Index
[j83] [c154] [j75] [j71] [c146] [j65] [c139] [c137] [c136] [c135] [c134] [c132] [j55] [c108] [j52] [j51] [c102] [j49] [c98] [c96] [c93] [c92] [p2] [j44] [j43] [c90] [c89] [c88] [c87] [j41] [c85] [c83] [i2] [j40] [j39] [c82] [c81] [c80] [c79] [j37] [j35] [c78] [c77] [c76] [c73] [c72] [c71] [c70] [c67] [c64] [c63] [i1] [c60] [c59] [c58] [c57] [c54]
[c157] [c156] [j75] [j73] [c153] [i7] [p4] [i5] [j69] [j68] [j66] [c141] [c140] [i4] [j63] [j62] [j61] [j60] [j59] [c135] [c133] [c132] [j58] [c131] [c130] [c128] [c127] [c126] [c125] [c124] [c123] [c122] [j57] [c121] [c120] [c119] [i3] [c117] [c116] [c115] [c114] [c113] [c109] [c107] [c105] [c104] [c99] [c97] [c95]
[c157] [j73] [i7] [j72] [j71] [c146] [j67] [j66] [j65] [c136] [c129] [c128] [c127] [c122] [e3] [j55] [c108] [j52] [j51] [c102] [c98] [c96] [c93] [c92] [p2] [j44] [j43] [c90] [c89] [c88] [c87] [j41] [c85] [c83] [i2] [j40] [j39] [c82] [c81] [c80] [c79] [j37] [j36] [j35] [c78] [c77] [c76] [c73] [c72] [c71] [c70] [c69] [c67] [c64] [c63] [i1] [c62] [c60] [c59] [c58] [c57] [c53] [j27] [c44] [c40] [c39]
[c157] [c156] [j72] [j67] [c143] [c129] [j51] [j49] [j45] [c92] [p2] [j44] [j43] [c88] [p1] [j41] [c86] [c85] [c84] [c83] [i2] [j40] [j39] [j38] [c82] [c81] [c80] [c79] [j37] [j36] [j35] [c78] [c77] [c76] [c74] [c73] [c72] [c71] [j34] [j33] [c69] [c67] [c66] [c64] [c63] [i1] [j32] [j31] [j30] [c62] [c60] [c59] [c58] [c57] [c56] [c55] [c53] [c51] [j28] [j27] [c49] [c48] [c47] [c46] [c45] [e2] [j25] [j24] [j23] [c44] [c43] [c42] [c41] [c40] [c39] [c38] [j22] [j21] [j20] [c37] [j19] [j18] [j17] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [j16] [j15] [j14] [j13] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [j12] [c19] [c18] [j11] [j10] [j9] [c17] [c16] [e1] [j8] [j7] [j6] [j5] [c15] [c14] [c13] [c12] [c11] [c10] [j4] [c9] [c8] [c7] [c6] [j3] [c5] [c4] [j2] [c3] [c2] [c1] [j1]
[j83] [j81] [i8] [j78] [j77] [c155] [c154] [j76] [j75] [j74] [j73] [c153] [i7] [j72] [j71] [c152] [c151] [c150] [p4] [i6] [i5] [j70] [j69] [c149] [c148] [c147] [j68] [j66] [c145] [c144] [c143] [c142] [c141] [c140] [i4] [j63] [j61] [c139] [c138] [c137] [c136] [j60] [j59] [c135] [c134] [c133] [c132] [j58] [c131] [c130] [c128] [c127] [c125] [c124] [c123] [c122] [e3] [j57] [c120] [c119] [i3] [c117] [c116] [c115] [c114] [c113] [c112] [c109] [c107] [c105] [c104] [j52] [c99] [c97] [c95] [p3] [j46] [j45] [c90] [c86] [c84] [j38] [c75] [j34] [c68] [j30] [j29] [c61] [c55] [c52] [c50] [c49] [c48] [j26] [c46] [j24] [c36] [c35] [c34] [c30]
[j83] [c157] [i8] [c154] [j75] [j73] [i7] [j71] [p4] [i5] [j69] [c147] [j68] [j66] [c141] [c140] [i4] [j63] [j61] [c139] [c137] [c136] [j59] [c135] [c134] [c133] [c132] [j58] [c131] [c130] [c128] [c127] [c125] [c124] [c123] [c122] [j57] [c120] [c119] [i3] [c117] [c116] [c115] [c114] [c113] [c109] [c104]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-12 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
