Google
Google Scholar
Semantic Scholar
MS Academic
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
- 2020
[j73]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)- [j72]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) - [c149]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
Modeling Smart Contracts with Probabilistic Logic Programming. BIS (Workshops) 2020: 86-98 - [c148]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
An Analysis of Gibbs Sampling for Probabilistic Logic Programs. ICLP Workshops 2020 - [c147]Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi:
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules. LOD (1) 2020: 477-488 - [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
- [j71]Damiano Azzolini
, Fabrizio Riguzzi, Evelina Lamma:
Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming. Inf. 10(11): 335 (2019) - [j70]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) - [c146]Damiano Azzolini, Fabrizio Riguzzi, Franco Masotti, Evelina Lamma:
A Comparison of MCMC Sampling for Probabilistic Logic Programming. AI*IA 2019: 18-29 - [c145]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
Analyzing Transaction Fees with Probabilistic Logic Programming. BIS (Workshops) 2019: 243-254 - [c144]Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Evelina Lamma:
KRaider: a Crawler for Linked Data. CILC 2019: 202-216 - [c143]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Accountable Protocols in Abductive Logic Programming. CILC 2019 - 2018
- [j69]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) - [j68]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) - [j67]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) - [j66]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Accountable Protocols in Abductive Logic Programming. ACM Trans. Internet Techn. 18(4): 46:1-46:20 (2018) - [j65]Evelina Lamma, Terrance Swift:
Editorial: 29th International conference on logic programming special issue - ADDENDUM. Theory Pract. Log. Program. 18(1): 121 (2018) - [c142]Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi:
Vision Inspection with Neural Networks. RiCeRcA@AI*IA 2018 - [c141]Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma:
Expectation Maximization in Deep Probabilistic Logic Programming. AI*IA 2018: 293-306 - [c140]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 - [c139]Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma:
Learning the Parameters of Deep Probabilistic Logic Programs. PLP@ILP 2018: 9-14 - [c138]Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese:
Modeling Bitcoin Protocols with Probabilistic Logic Programming. PLP@ILP 2018: 49-61 - [c137]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
- [j64]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) - [j63]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) - [j62]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) - [c136]Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. ICTCS/CILC 2017: 248-261 - [c135]Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi:
Deep Probabilistic Logic Programming. PLP@ILP 2017: 3-14 - [c134]Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases. PLP@ILP 2017: 40-50 - [c133]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Dischargeable Obligations in Abductive Logic Programming. RuleML+RR 2017: 7-21 - 2016
- [j61]Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Statistical relational learning for workflow mining. Intell. Data Anal. 20(3): 515-541 (2016) - [j60]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota:
Probabilistic logic programming on the web. Softw. Pract. Exp. 46(10): 1381-1396 (2016) - [c132]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 - [c131]Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics. AI*IA 2016: 364-376 - [c130]Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma:
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce. ECAI 2016: 1602-1603 - [c129]Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Probabilistic Constraint Logic Theories. PLP@ILP 2016: 15-28 - 2015
- [j59]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Probabilistic Description Logics under the distribution semantics. Semantic Web 6(5): 477-501 (2015) - [c128]Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques. DC@AI*IA 2015: 1-6 - [c127]Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
Learning Probabilistic Ontologies with Distributed Parameter Learning. DC@AI*IA 2015: 7-12 - [c126]Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Evaluating compliance: from LTL to abductive logic programming. CILC 2015: 101-116 - [c125]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Abductive logic programming for Datalog +/- ontologies. CILC 2015: 128-143 - [c124]Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
An Abductive Framework for Datalog± Ontologies. ICLP (Technical Communications) 2015 - [c123]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 - [c122]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Reasoning with Probabilistic Ontologies. IJCAI 2015: 4310-4316 - [c121]Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
Logic Programming Techniques for Reasoning with Probabilistic Ontologies. JOWO@IJCAI 2015 - [c120]Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Distributed Parameter Learning for Probabilistic Ontologies. ILP 2015: 30-45 - [c119]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
- [j58]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) - [c118]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 - [c117]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota:
Learning Probabilistic Description Logics. URSW (LNCS Vol.) 2014: 63-78 - [c116]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
- [j57]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) - [j56]Marco Alberti, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of the SCIFF Abductive System. Fundam. Informaticae 124(4): 365-381 (2013) - [j55]Evelina Lamma, Terrance Swift:
Editorial: 29th International Conference on Logic Programming special issue. Theory Pract. Log. Program. 13(4-5): 465-470 (2013) - [c115]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 - [c114]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Computing Instantiated Explanations in OWL DL. AI*IA 2013: 397-408 - [c113]Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
A Description Logics Tableau Reasoner in Prolog. CILC 2013: 33-47 - [c112]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Learning the Parameters of Probabilistic Description Logics. ILP (Late Breaking Papers) 2013: 46-51 - [c111]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
BUNDLE: A Reasoner for Probabilistic Ontologies. RR 2013: 183-197 - [c110]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Parameter Learning for Probabilistic Ontologies. RR 2013: 265-270 - 2012
- [j54]Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma:
Unsupervised and supervised learning in cascade for petroleum geology. Expert Syst. Appl. 39(10): 9504-9514 (2012) - [c109]Ludovico Buffon, Evelina Lamma, Fabrizio Riguzzi, Davide Formenti:
Un sistema di Vision Inspection basato su reti neurali. PAI 2012: 1-6 - [c108]Marco Derboni, Evelina Lamma, Antonio Zaccaro:
Miglioramento di algoritmi di elaborazione di immagini da scanner 3D tramite Simulated Annealing. PAI 2012: 7-13 - [c107]Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma:
I2AM: a Semi-Automatic System for Data Interpretation in Petroleum Geology. PAI 2012: 14-20 - [c106]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Semantics and Inference for Probabilistic Ontologies. PAI 2012: 41-46 - [c105]Marco Alberti, Marco Gavanelli, Evelina Lamma:
Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action 2012: 308-328 - [c104]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma:
Probabilistic Ontologies in Datalog+/-. CILC 2012: 221-235 - [c103]Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni:
Mandibular nerve canal identification for preoperative planning in oral implantology. CompIMAGE 2012: 193-198 - [c102]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma:
Probabilistic Datalog+/- under the Distribution Semantics. Description Logics 2012 - [c101]Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Epistemic and Statistical Probabilistic Ontologies. URSW 2012: 3-14 - 2011
- [j53]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) - [j52]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) - [c100]Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, Michele Febo:
Clustering and Classification Techniques for Blind Predictions of Reservoir Facies. AI*IA 2011: 348-359 - [c99]Marco Alberti, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of the SCIFF Abductive System. CILC 2011: 163-177 - [c98]Denis Ferraretti, Luca Casarotti, Giacomo Gamberoni, Evelina Lamma:
Spot Detection in Images with Noisy Background. ICIAP (1) 2011: 575-584 - [c97]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 - [c96]Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Simone Albani:
A Distribution Semantics for Probabilistic Ontologies. URSW 2011: 75-86 - 2010
- [j51]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) - [j50]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) - [j49]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) - [j48]Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni:
Techniques to Improve Preoperative Planning Precision for Oral Implantology. IEEE Trans. Instrum. Meas. 59(11): 2887-2897 (2010) - [c95]Marco Alberti, Marco Gavanelli, Evelina Lamma:
Runtime Addition of Integrity Constraints in SCIFF. CILC 2010 - [c94]Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Probabilistic Logic-Based Process Mining. CILC 2010 - [c93]Marco Alberti, Marco Gavanelli, Evelina Lamma:
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) 2010: 4-13 - [c92]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
- [j47]Sergio Storari, Fabrizio Riguzzi, Evelina Lamma:
Exploiting association and correlation rules parameters for learning Bayesian networks. Intell. Data Anal. 13(5): 689-701 (2009) - [j46]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) - [c91]Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma:
Automatic Cluster Selection Using Index Driven Search Strategy. AI*IA 2009: 172-181 - [c90]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP 2009: 387-401 - [c89]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 - [c88]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
- [j45]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) - [j44]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) - [c87]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 - [c86]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI 2008: 903-904 - [c85]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 - [c84]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
- [j43]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) - [j42]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) - [c83]Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359 - [c82]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 - [c81]Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari:
Applying Inductive Logic Programming to Process Mining. ILP 2007: 132-146 - [c80]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
- [j41]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) - [j40]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) - [j39]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) - [c79]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197 - [c78]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 - [c77]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006 - [c76]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
- [j38]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) - [j37]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) - [j36]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) - [c75]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147 - [c74]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 - [c73]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 - [c72]Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia:
Bayesian Networks Learning for Gene Expression Datasets. IDA 2005: 109-120 - [c71]