Stop the war!Остановите войну!
for scientists:
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
- 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]