The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Evelina Lamma" ( http://dblp.L3S.de/Authors/Evelina_Lamma )

URL (Homepage):  http://www-lia.deis.unibo.it/Staff/EvelinaLamma/  Author page on DBLP  Author page in RDF  Community of Evelina Lamma in ASPL-2

Publication years (Num. hits)
1988-1992 (22) 1993-1996 (22) 1997-1999 (24) 2000-2002 (16) 2003-2004 (20) 2005-2006 (19) 2007-2009 (21) 2010-2011 (16) 2012-2013 (19) 2014-2015 (17) 2016-2018 (25) 2019 (3)
Publication types (Num. hits)
article(73) incollection(3) inproceedings(145) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22 occurrences of 21 keywords

Results
Found 225 publication records. Showing 224 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Evelina Lamma KRaider: a Crawler for Linked Data. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Marco Gavanelli, Marco Alberti 0001, Evelina Lamma Accountable Protocols in Abductive Logic Programming. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota Reasoning on Datalog± Ontologies with Abductive Logic Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali Evaluating Compliance: From LTL to Abductive Logic Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, Evelina Lamma Tableau reasoning for description logics and its extension to probabilities. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Riccardo Zese, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Evelina Lamma, Terrance Swift Editorial: 29th International conference on logic programming special issue - ADDENDUM. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Marco Alberti 0001, Evelina Lamma Accountable Protocols in Abductive Logic Programming. Search on Bibsonomy ACM Trans. Internet Techn. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. Search on Bibsonomy CILC The full citation details ... 2018 DBLP  BibTeX  RDF
1Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, Evelina Lamma A Modular Inference System for Probabilistic Description Logics. Search on Bibsonomy SUM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma Learning the Parameters of Deep Probabilistic Logic Programs. Search on Bibsonomy PLP@ILP The full citation details ... 2018 DBLP  BibTeX  RDF
1Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese Modeling Bitcoin Protocols with Probabilistic Logic Programming. Search on Bibsonomy PLP@ILP The full citation details ... 2018 DBLP  BibTeX  RDF
1Arnaud Nguembang Fadja, Fabrizio Riguzzi, Evelina Lamma Expectation Maximization in Deep Probabilistic Logic Programming. Search on Bibsonomy AI*IA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi Vision Inspection with Neural Networks. Search on Bibsonomy RiCeRcA@AI*IA The full citation details ... 2018 DBLP  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elena Bellodi, Emidia Vagnoni, Barbara Bonvento, Evelina Lamma Economic and organizational impact of a clinical decision support system on laboratory test ordering. Search on Bibsonomy BMC Med. Inf. & Decision Making The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, Giuseppe Cota A web system for reasoning with probabilistic OWL. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Marco Alberti 0001, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases. Search on Bibsonomy PLP@ILP The full citation details ... 2017 DBLP  BibTeX  RDF
1Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi Deep Probabilistic Logic Programming. Search on Bibsonomy PLP@ILP The full citation details ... 2017 DBLP  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese Dischargeable Obligations in Abductive Logic Programming. Search on Bibsonomy RuleML+RR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma Statistical relational learning for workflow mining. Search on Bibsonomy Intell. Data Anal. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota Probabilistic logic programming on the web. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma Scaling Structure Learning of Probabilistic Logic Programs by MapReduce. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese Probabilistic Constraint Logic Theories. Search on Bibsonomy PLP@ILP The full citation details ... 2016 DBLP  BibTeX  RDF
1Fabrizio Riguzzi, Evelina Lamma, Marco Alberti 0001, Elena Bellodi, Riccardo Zese, Giuseppe Cota Probabilistic Logic Programming for Natural Language Processing. Search on Bibsonomy URANIA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Marco Alberti 0001, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese Probabilistic Description Logics under the distribution semantics. Search on Bibsonomy Semantic Web The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota Abductive logic programming for Datalog +/- ontologies. Search on Bibsonomy CILC The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello Evaluating compliance: from LTL to abductive logic programming. Search on Bibsonomy CILC The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota Abductive Logic Programming for Normative Reasoning and Ontologies. Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota An Abductive Framework for Datalog± Ontologies. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Massimo Gallerani, Dario Pelizzola, Marcello Pivanti, Giovanni Guerra, Michela Boni, Evelina Lamma, Elena Bellodi Reducing Laboratory Examinations by a Computer-Aided Clinical Decision Support System. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma Distributed Parameter Learning for Probabilistic Ontologies. Search on Bibsonomy ILP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi (eds.) AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings Search on Bibsonomy AI*IA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi Learning Probabilistic Ontologies with Distributed Parameter Learning. Search on Bibsonomy DC@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques. Search on Bibsonomy DC@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi Logic Programming Techniques for Reasoning with Probabilistic Ontologies. Search on Bibsonomy JOWO@IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese Reasoning with Probabilistic Ontologies. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese Lifted Variable Elimination for Probabilistic Logic Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese Lifted Variable Elimination for Probabilistic Logic Programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Fabiano Aguiari Semantics and Inference for Probabilistic Description Logics. Search on Bibsonomy URSW (LNCS Vol.) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota Learning Probabilistic Description Logics. Search on Bibsonomy URSW (LNCS Vol.) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Massimo Gallerani, Dario Pelizzola, Marcello Pivanti, Michela Boni, Evelina Lamma, Elena Bellodi Appropriateness of Repeated Execution of Laboratory Examinations: A CDSS Approach. Search on Bibsonomy ICHI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma The CHR-based Implementation of the SCIFF Abductive System. Search on Bibsonomy Fundam. Inform. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni CT dataset anisotropy management for oral implantology planning software. Search on Bibsonomy Int. J. Comput. Assist. Radiol. Surg. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Evelina Lamma, Terrance Swift Editorial: 29th International Conference on Logic Programming special issue. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi A Description Logics Tableau Reasoner in Prolog. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese Learning the Parameters of Probabilistic Description Logics. Search on Bibsonomy ILP (Late Breaking Papers) The full citation details ... 2013 DBLP  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese Computing Instantiated Explanations in OWL DL. Search on Bibsonomy AI*IA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alice Piva, Giacomo Gamberoni, Denis Ferraretti, Evelina Lamma di4g: Uno Strumento di Clustering per l'Analisi Integrata di Dati Geologici. Search on Bibsonomy PAI@AI*IA The full citation details ... 2013 DBLP  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese BUNDLE: A Reasoner for Probabilistic Ontologies. Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese Parameter Learning for Probabilistic Ontologies. Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma Unsupervised and supervised learning in cascade for petroleum geology. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese Epistemic and Statistical Probabilistic Ontologies. Search on Bibsonomy URSW The full citation details ... 2012 DBLP  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma Probabilistic Ontologies in Datalog+/-. Search on Bibsonomy CILC The full citation details ... 2012 DBLP  BibTeX  RDF
1Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni Mandibular nerve canal identification for preoperative planning in oral implantology. Search on Bibsonomy CompIMAGE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma Deon + : Abduction and Constraints for Normative Reasoning. Search on Bibsonomy Logic Programs, Norms and Action The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma Probabilistic Datalog+/- under the Distribution Semantics. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Ludovico Buffon, Evelina Lamma, Fabrizio Riguzzi, Davide Formenti Un sistema di Vision Inspection basato su reti neurali. Search on Bibsonomy PAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese Semantics and Inference for Probabilistic Ontologies. Search on Bibsonomy PAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Marco Derboni, Evelina Lamma, Antonio Zaccaro Miglioramento di algoritmi di elaborazione di immagini da scanner 3D tramite Simulated Annealing. Search on Bibsonomy PAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma I2AM: a Semi-Automatic System for Data Interpretation in Petroleum Geology. Search on Bibsonomy PAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Marco Alberti 0001, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni A Computational Logic Application Framework for Service Discovery and Contracting. Search on Bibsonomy Int. J. Web Service Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari Learning specifications of interaction protocols and business processes and proving their properties. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Simone Albani A Distribution Semantics for Probabilistic Ontologies. Search on Bibsonomy URSW The full citation details ... 2011 DBLP  BibTeX  RDF
1Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, Michele Febo, Raffaele Di Cuia Integrating Clustering and Classification Techniques: A Case Study for Reservoir Facies Prediction. Search on Bibsonomy ISMIS Industrial Session The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma The CHR-based Implementation of the SCIFF Abductive System. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Denis Ferraretti, Luca Casarotti, Giacomo Gamberoni, Evelina Lamma Spot Detection in Images with Noisy Background. Search on Bibsonomy ICIAP (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, Michele Febo Clustering and Classification Techniques for Blind Predictions of Reservoir Facies. Search on Bibsonomy AI*IA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti 0001, Evelina Lamma Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni Techniques to Improve Preoperative Planning Precision for Oral Implantology. Search on Bibsonomy IEEE Trans. Instrumentation and Measurement The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Denis Ferraretti, Luca Tagliavini, Raffaele Di Cuia, Mariachiara Puviani, Evelina Lamma, Sergio Storari Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2010 DBLP  BibTeX  RDF
1Tommaso Chiarelli, Evelina Lamma, Tommaso Sansoni A fully 3D work context for oral implant planning and simulation. Search on Bibsonomy Int. J. Comput. Assist. Radiol. Surg. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari Incremental Declarative Process Mining. Search on Bibsonomy Smart Information and Knowledge Management The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma Probabilistic Logic-Based Process Mining. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma Runtime Addition of Integrity Constraints in SCIFF. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma Probabilistic Declarative Process Mining. Search on Bibsonomy KSEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergio Storari, Fabrizio Riguzzi, Evelina Lamma Exploiting association and correlation rules parameters for learning Bayesian networks. Search on Bibsonomy Intell. Data Anal. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. Search on Bibsonomy Trans. Petri Nets and Other Models of Concurrency The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello Modelling Interactions via Commitments and Expectations. Search on Bibsonomy Handbook of Research on Multi-Agent Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma, Raffaele Di Cuia, Chiara Turolla An AI Tool for the Petroleum Industry Based on Image Analysis and Hierarchical Clustering. Search on Bibsonomy IDEAL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, 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. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Marco Alberti 0001, Evelina Lamma Integration of Abductive Reasoning and Constraint Optimization in SCIFF. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Denis Ferraretti, Giacomo Gamberoni, Evelina Lamma Automatic Cluster Selection Using Index Driven Search Strategy. Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni Verifiable agent interaction in abductive logic programming: The SCIFF framework. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni Expressing and Verifying Business Contracts with Abductive Logic Programming. Search on Bibsonomy Int. J. Electronic Commerce The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Federico 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. Search on Bibsonomy Computer-based Medical Guidelines and Protocols The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Marco Montali, Paolo Torroni, Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello Verification from Declarative Specifications Using Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Marco Alberti 0001, Evelina Lamma Integrating Abduction and Constraint Optimization in Constraint Handling Rules. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma Exploiting Semantic Technology in Computational Logic-based Service Contracting. Search on Bibsonomy SWAP The full citation details ... 2008 DBLP  BibTeX  RDF
1Giacomo 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. Search on Bibsonomy Bioinformatics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni Specification and Verification of Agent Interaction Protocols in a Logic-based System. Search on Bibsonomy Scalable Computing: Practice and Experience The full citation details ... 2007 DBLP  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni Expressing and Verifying Business Contracts with Abductive Logic Programming. Search on Bibsonomy Normative Multi-agent Systems The full citation details ... 2007 DBLP  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni Web Service Contracting: Specification and Reasoning with SCIFF. Search on Bibsonomy ESWC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari Inducing Declarative Logic-Based Models from Labeled Traces. Search on Bibsonomy BPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Topics Process mining, DecSerFlow, Careflow, Logic Programming, Process verification and validation
1Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari Applying Inductive Logic Programming to Process Mining. Search on Bibsonomy ILP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Learning from Interpretations, Business Processes, Process Mining, Interaction Protocols
Displaying result #1 - #100 of 224 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license