Optimization techniques in building expert systems. - Roberto Cremonini; Evelina Lamma; Paola Mello (Microprocess. Microprogramming, 1987)

An Extended Prolog Machine for Dynamic Context Handling. - Marco Cavalieri; Evelina Lamma; Paola Mello (ECAI, 1988)

Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques. - Marco Cavalieri; Evelina Lamma; Paola Mello; Antonio Natali (META, 1988)

The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. - Evelina Lamma; Paola Mello; Antonio Natali (ICLP, 1989)

ADES: An expert system for ATP design. - Roberto Cremonini; Evelina Lamma; Paola Mello (Artif. Intell. Eng. Des. Anal. Manuf., 1989)

Inheritance and Hypothetical Reasoning in Logic Programming. - Antonio Brogi; Evelina Lamma; Paola Mello (ECAI, 1990)

Partial Evaluation for Hierarchies of Logic Theories. - Michele Bugliesi; Evelina Lamma; Paola Mello (NACLP, 1990)

Hypothetical Reasoning in Logic Programming: A Semantic Approach. - Antonio Brogi; Evelina Lamma; Paola Mello (Inf. Process. Lett., 1990)

Abductive Reasoning in a Multi-Theory Framework. - Antonio Brogi; Evelina Lamma; Paolo Mancarella; Paola Mello (AI*IA, 1991)

Open Logic Theories. - Antonio Brogi; Evelina Lamma; Paola Mello (ELP, 1991)

Objects in a Logic Programming Framework. - Antonio Brogi; Evelina Lamma; Paola Mello (RCLP, 1991)

Processing Abductive Reasoning via Contextual Logic Programming. - Evelina Lamma; Paola Mello (PDK, 1991)

Reflection Mechanisms for Combining Prolog Databases. - Evelina Lamma; Paola Mello; Antonio Natali (Softw. Pract. Exp., 1991)

ATMS for Implementing Logic Programming. - Antonio Brogi; Evelina Lamma; Paola Mello (ECAI, 1992)

An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications. - Evelina Lamma; Paola Mello (ECAI, 1992)

Techniques for Implementing Contexts in Logic Programming. - Enrico Denti; Evelina Lamma; Paola Mello; Antonio Natali; Andrea Omicini (ELP, 1992)

Normal Logic Programs as Open Positive Programs. - Antonio Brogi; Evelina Lamma; Paolo Mancarella; Paola Mello (JICSLP, 1992)

A Rationalisation of the ATMS in Terms of Partial Evaluation. - Evelina Lamma; Paola Mello (LOPSTR, 1992)

Knowledge-Based Technology for Controlling Railway Stations. - Bruno Fringuelli; Evelina Lamma; Paola Mello; Giovanni Santocchia (IEEE Expert, 1992)

The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. - Antonio Brogi; Anna Ciampolini; Evelina Lamma; Paola Mello (Inf. Process. Lett., 1992)

An Extended Warren Abstract Machine for the Execution of Structured Logic Programs. - Evelina Lamma; Paola Mello; Antonio Natali (J. Log. Program., 1992)

Compositional Model-Theoretic Semantics for Logic Programs. - Antonio Brogi; Evelina Lamma; Paola Mello (New Gener. Comput., 1992)

Computing 3-valued Stable Models by using the ATMS. - Evelina Lamma; Paola Mello (AI*IA, 1993)

Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. - Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli (ELP, 1993)

Parametric Composable Modules in a Logic Programming Language. - Evelina Lamma; Paola Mello; Gianfranco Rossi (Comput. Lang., 1993)

Partial Deduction for Structured Logic Programming. - Michele Bugliesi; Evelina Lamma; Paola Mello (J. Log. Program., 1993)

Composing Open Logic Programs. - Antonio Brogi; Evelina Lamma; Paola Mello (J. Log. Comput., 1993)

Modularity in Logic Programming. - Evelina Lamma; Paola Mello (ICLP, 1994)

Multi-level Copying For Unification In Parallel Architectures. - Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli (PDP, 1994)

Modularity in Logic Programming. - Michele Bugliesi; Evelina Lamma; Paola Mello (J. Log. Program., 1994)

Improving the Efficiency of Dynamic Modular Logic Languages. - Anna Ciampolini; Evelina Lamma; Paola Mello (GULP-PRODE, 1995)

An Abductive Framework for Extended Logic Programming. - Antonio Brogi; Evelina Lamma; Paolo Mancarella; Paola Mello (LPNMR, 1995)

Enhancing Constraint Logic Programming through Meta Programming. - Evelina Lamma; Paola Mello; Michela Milano (APPIA-GULP-PRODE, 1996)

Comsumption-based Distributed Unification. - Evelina Lamma; Paola Mello; Cesare Stefanelli; Pascal Van Hentenryck (APPIA-GULP-PRODE, 1996)

A Meta Constraint Logic Programming Architecture (Extended Abstract). - Evelina Lamma; Paola Mello; Michela Milano (CP, 1996)

Combining Solvers in a Meta Constraint Logic Programming Architecture. - Evelina Lamma; Michela Milano; Paola Mello (FroCoS, 1996)

Resource-Based vs. Task-Based Approaches for Scheduling Problems. - Vittorio Brusoni; Luca Console; Evelina Lamma; Paola Mello; Michela Milano; Paolo Terenziani (ISMIS, 1996)

Temporal Reasoning in a Meta Constraint Logic Programming Architecture. - Evelina Lamma; Paola Mello; Michela Milano (TIME, 1996)

Distributed Logic Objects. - Anna Ciampolini; Evelina Lamma; Cesare Stefanelli; Paola Mello (Comput. Lang., 1996)

Distributed logic objects: A fragment of rewriting logic and its implementation. - Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli (WRLA, 1996)

An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages. - Anna Ciampolini; Evelina Lamma; Paola Mello (Inf. Process. Lett., 1996)

An assumption-based truth maintenance system dealing with non-ground justifications. - Evelina Lamma; Paola Mello (J. Exp. Theor. Artif. Intell., 1996)

An Optimized Implementation of a Dynamic Modular Logic Language. - Anna Ciampolini; Evelina Lamma; Paola Mello (Softw. Concepts Tools, 1996)

An Algorithm for Learning Abductive Rules. - Evelina Lamma; Paola Mello; Michela Milano; Fabrizio Riguzzi (APPIA-GULP-PRODE, 1997)

Introducing Abduction into (Extensional) Inductive Logic Programming Systems. - Evelina Lamma; Paola Mello; Michela Milano; Fabrizio Riguzzi (AI*IA, 1997)

Improving Distributed Unification through Type Analysis. - Evelina Lamma; Paola Mello; Cesare Stefanelli; Pascal Van Hentenryck (Euro-Par, 1997)

Reasoning on Constraints in Constraint Logic Programming. - Evelina Lamma; Michela Milano; Paola Mello (ICLP, 1997)

An Interactive Constraint-Based System for Selective Attention in Visual Search. - Rita Cucchiara; Evelina Lamma; Paola Mello; Michela Milano (ISMIS, 1997)

A System for Abductive Learning of Logic Programs. - Evelina Lamma; Paola Mello; Michela Milano; Fabrizio Riguzzi (LPKR, 1997)

Constraint Logic Programming for the Crew Rostering Problem. - Filippo Focacci; Evelina Lamma; Paola Mello; Michela Milano (PACT, 1997)

A distributed constraint-based scheduler. - Evelina Lamma; Paola Mello; Michela Milano (Artif. Intell. Eng., 1997)

Blackboard- and Object-Based Systems via Multi-Head Clauses. - Anna Ciampolini; Evelina Lamma; Cesare Stefanelli; Paola Mello (Comput. Artif. Intell., 1997)

A Unifying View for Logic Programming with Non-Monotonic Reasoning. - Antonio Brogi; Evelina Lamma; Paolo Mancarella; Paola Mello (Theor. Comput. Sci., 1997)

Interactive Constraint Satisfaction and its Application to Visual Object Recognition. - Evelina Lamma; Michela Milano; Rita Cucchiara; Paola Mello; Massimo Piccardi (APPIA-GULP-PRODE, 1998)

Learning Multiple Predicates. - Antonis C. Kakas; Evelina Lamma; Fabrizio Riguzzi (AIMSA, 1998)

Extending Constraint Logic Programming for Temporal Reasoning. - Evelina Lamma; Michela Milano; Paola Mello (Ann. Math. Artif. Intell., 1998)

Optimizing Modular Logic Languages. - Michele Bugliesi; Anna Ciampolini; Evelina Lamma; Paola Mello (ACM Comput. Surv., 1998)

Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem. - Alberto Caprara; Filippo Focacci; Evelina Lamma; Paola Mello; Michela Milano; Paolo Toth; Daniele Vigo (Softw. Pract. Exp., 1998)

An Implementation for Abductive Logic Agents. - Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli; Paolo Torroni (AI*IA, 1999)

Least Commitment on Variable Binding in Presence of Incomplete Knowledge. - Rosy Barruffi; Evelina Lamma; Paola Mello; Michela Milano (ECP, 1999)

3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. - Rita Cucchiara; Evelina Lamma; Paola Mello; Michela Milano; Massimo Piccardi (ICIAP, 1999)

Domains as First Class Objects in CLP(FD). - Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano (ICLP, 1999)

Constraint Propagation and Value Acquisition: Why we should do it Interactively. - Evelina Lamma; Paola Mello; Michela Milano; Rita Cucchiara; Marco Gavanelli; Massimo Piccardi (IJCAI, 1999)

Abductive Coordination for Logic Agents. - Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli (SAC, 1999)

Exploiting Type Analysis for Unification in a Distributed Environment. - Evelina Lamma; Paola Mello; Cesare Stefanelli; Pascal Van Hentenryck (Comput. Artif. Intell., 1999)

Integrating Induction and Abduction in Logic Programming. - Evelina Lamma; Paola Mello; Michela Milano; Fabrizio Riguzzi (Inf. Sci., 1999)

Reasoning on Constraints in CLP(FD). - Evelina Lamma; Michela Milano; Paola Mello (J. Log. Program., 1999)

Expressing Collaborative and Competitive Coordination among Abductive. - Anna Ciampolini; Evelina Lamma; Paola Mello; Paolo Torroni (CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000)

A System for Monitoring Nosocomial Infections. - Evelina Lamma; M. Manservigi; Paola Mello; Sergio Storari; Fabrizio Riguzzi (ISMDA, 2000)

Expressing Collaboration And Competition Among Abductive Logic Agents. - Anna Ciampolini; Evelina Lamma; Paola Mello; Paolo Torroni (WOA, 2000)

Strategies in Combined Learning via Logic Programs. - Evelina Lamma; Fabrizio Riguzzi; Luís Moniz Pereira (Mach. Learn., 2000)

Belief Revision by Lamarckian Evolution. - Evelina Lamma; Luís Moniz Pereira; Fabrizio Riguzzi (EvoWorkshops, 2001)

An Expert System for Microbiological Data Validation and Surveillance. - Evelina Lamma; Paola Mello; Anna Nanetti; G. Poli; Fabrizio Riguzzi; Sergio Storari (ISMDA, 2001)

LAILA: a language for coordinating abductive reasoning among logic agents. - Anna Ciampolini; Evelina Lamma; Paola Mello; Paolo Torroni (Comput. Lang., 2001)

From Eager to Lazy Constrained Data Acquisition: A General Framework. - Paola Mello; Michela Milano; Marco Gavanelli; Evelina Lamma; Massimo Piccardi; Rita Cucchiara (New Gener. Comput., 2001)

Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. - Evelina Lamma; L. Maestrami; Paola Mello; Fabrizio Riguzzi; Sergio Storari (RULE@PLI, 2001)

Coordinating the safe execution of tasks in a constrained multi-agent system. - Anna Ciampolini; Paola Mello; Paolo Torroni; Evelina Lamma (AAMAS, 2002)

An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. - Evelina Lamma; G. Modestino; Fabrizio Riguzzi; Sergio Storari; Paola Mello; Anna Nanetti (CBMS, 2002)

Synthesis of Object Models from Partial Models: A CSP Perspective. - Marco Alberti 001; Evelina Lamma (ECAI, 2002)

Exploiting Constraints for Domain Managing in CLP(FD). - Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano (FroCoS, 2002)

A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. - Anna Ciampolini; Evelina Lamma; Paola Mello; Paolo Torroni (JELIA, 2002)

Interpreting Abduction in CLP. - Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano; Paolo Torroni (APPIA-GULP-PRODE, 2003)

An Abductive Interpretation for Open Agent Societies. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (AI*IA, 2003)

Improving the SLA Algorithm Using Association Rules. - Evelina Lamma; Fabrizio Riguzzi; Andrea Stambazzi; Sergio Storari (AI*IA, 2003)

A Social ACL Semantics by Deontic Constraints. - Marco Alberti 001; Anna Ciampolini; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (CEEMAS, 2003)

Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (DALT, 2003)

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. - Anna Ciampolini; Evelina Lamma; Paola Mello; Francesca Toni; Paolo Torroni (Ann. Math. Artif. Intell., 2003)

Specification and Verification of Agent Interaction using Social Integrity Constraints. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (LCMAS, 2003)

Validation of biochemical laboratory results using the DNSev expert system. - Sergio Storari; Evelina Lamma; R. Mancini; Paola Mello; R. Motta; D. Patrono; G. Canova (Expert Syst. Appl., 2003)

Belief Revision via Lamarckian Evolution. - Evelina Lamma; Fabrizio Riguzzi; Luís Moniz Pereira (New Gener. Comput., 2003)

Discovering Validation Rules from Microbiological Data. - Evelina Lamma; Fabrizio Riguzzi; Sergio Storari; Paola Mello; Anna Nanetti (New Gener. Comput., 2003)

An Abductive Framework for Information Exchange in Multi-agent Systems. - Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (CLIMA, 2004)

Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. - Evelina Lamma; Fabrizio Riguzzi; Sergio Storari (ECAI, 2004)

The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (Global Computing, 2004)

Learning the Dose Adjustment for the Oral Anticoagulation Treatment. - Giacomo Gamberoni; Evelina Lamma; Paola Mello; Piercamillo Pavesi; Sergio Storari; Giuseppe Trocino (ISBMDA, 2004)

Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster. - Giacomo Gamberoni; Evelina Lamma; Sergio Storari; Diego Arcelli; Francesca Francioso; Stefano Volinia (ISBMDA, 2004)

Specification and verification of agent interaction protocols in a logic-based system. - Marco Alberti 001; Davide Daolio; Paolo Torroni; Marco Gavanelli; Evelina Lamma; Paola Mello (SAC, 2004)

A Logic based Approach to Interaction Design in Open Multi-Agent Systems. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Federico Chesani; Paola Mello; Paolo Torroni (WETICE, 2004)

A System for Measuring Function Points from an ER-DFD Specification. - Evelina Lamma; Paola Mello; Fabrizio Riguzzi (Comput. J., 2004)

A knowledge based system for the anticoagulant oral therapy. - Benedetta Barbieri; Giacomo Gamberoni; Evelina Lamma; Paola Mello; Piercamillo Pavesi; Sergio Storari (Intelligenza Artificiale, 2004)

The SCIFF Abductive Proof-Procedure. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (AI*IA, 2005)

Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). - Federico Chesani; Marco Gavanelli; Marco Alberti 001; Evelina Lamma; Paola Mello; Paolo Torroni (CLIMA, 2005)

Security Protocols Verification in Abductive Logic Programming: A Case Study. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (ESAW, 2005)

Bayesian Networks Learning for Gene Expression Datasets. - Giacomo Gamberoni; Evelina Lamma; Fabrizio Riguzzi; Sergio Storari; Stefano Volinia (IDA, 2005)

An Expert System for the Oral Anticoagulation Treatment. - Benedetta Barbieri; Giacomo Gamberoni; Evelina Lamma; Paola Mello; Piercamillo Pavesi; Sergio Storari (IEA/AIE, 2005)

Abduction with Hypotheses Confirmation. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (IJCAI, 2005)

Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. - Marco Alberti 001; Federico Chesani; Alessio Guerri; Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano; Paolo Torroni (W(C)LP, 2005)

The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma (W(C)LP, 2005)

Expressing interaction in combinatorial auction through social integrity constraints. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Alessio Guerri; Evelina Lamma; Paola Mello; Paolo Torroni (Intelligenza Artificiale, 2005)

Dealing with incomplete knowledge on CLP(FD) variable domains. - Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano (ACM Trans. Program. Lang. Syst., 2005)

A CHR-based implementation of known arc-consistency. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Michela Milano (Theory Pract. Log. Program., 2005)

A Verifiable Logic-Based Agent Architecture. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (ISMIS, 2006)

An abductive framework for a-priori verification of web services. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Federico Chesani; Paola Mello; Marco Montali (PPDP, 2006)

Policy-based Reasoning for Smart Web Service Interaction. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (SWAP, 2006)

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Sergio Storari; Paolo Torroni (WS-FM, 2006)

Compliance verification of agent interaction: a logic-based software tool. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Federico Chesani; Paola Mello; Paolo Torroni (Appl. Artif. Intell., 2006)

Mapping deontic operators to abductive expectations. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni; Giovanni Sartor (Comput. Math. Organ. Theory, 2006)

Artificial Intelligence Techniques for Monitoring Dangerous Infections. - Evelina Lamma; Paola Mello; Anna Nanetti; Fabrizio Riguzzi; Sergio Storari; Gianfranco Valastro (IEEE Trans. Inf. Technol. Biomed., 2006)

Inducing Declarative Logic-Based Models from Labeled Traces. - Evelina Lamma; Paola Mello; Marco Montali; Fabrizio Riguzzi; Sergio Storari (BPM, 2007)

Web Service Contracting: Specification and Reasoning with SCIFF. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (ESWC, 2007)

Applying Inductive Logic Programming to Process Mining. - Evelina Lamma; Paola Mello; Fabrizio Riguzzi; Sergio Storari (ILP, 2007)

A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (RR, 2007)

Fun&Co: identification of key functional differences in transcriptomes. - Giacomo Gamberoni; Evelina Lamma; Gianluca Lodo; Jlenia Marchesini; Nicoletta Mascellani; Simona Rossi; Sergio Storari; Luca Tagliavini; Stefano Volinia (Bioinform., 2007)

Specification and Verification of Agent Interaction Protocols in a Logic-based System. - Marco Alberti 001; Federico Chesani; Davide Daolio; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (Scalable Comput. Pract. Exp., 2007)

Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. - Federico Chesani; Evelina Lamma; Paola Mello; Marco Montali; Sergio Storari; Paola Baldazzi; Marilena Manfredi (Computer-based Medical Guidelines and Protocols, 2008)

Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Sergio Storari (Il Milione, 2008)

Integrating Abduction and Constraint Optimization in Constraint Handling Rules. - Marco Gavanelli; Marco Alberti 001; Evelina Lamma (ECAI, 2008)

Verification from Declarative Specifications Using Logic Programming. - Marco Montali; Paolo Torroni; Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (ICLP, 2008)

Exploiting Semantic Technology in Computational Logic-based Service Contracting. - Marco Alberti 001; Massimiliano Cattafi; Marco Gavanelli; Evelina Lamma (SWAP, 2008)

Expressing and Verifying Business Contracts with Abductive Logic Programming. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (Int. J. Electron. Commer., 2008)

Verifiable agent interaction in abductive logic programming: The SCIFF framework. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (ACM Trans. Comput. Log., 2008)

Modelling Interactions via Commitments and Expectations. - Paolo Torroni; Pinar Yolum; Munindar P. Singh; Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello (Handbook of Research on Multi-Agent Systems, 2009)

Automatic Cluster Selection Using Index Driven Search Strategy. - Denis Ferraretti; Giacomo Gamberoni; Evelina Lamma (AI*IA, 2009)

Integration of Abductive Reasoning and Constraint Optimization in SCIFF. - Marco Gavanelli; Marco Alberti 001; Evelina Lamma (ICLP, 2009)

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. - Marco Alberti 001; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Marco Montali; Paola Mello; Paolo Torroni (ICWS, 2009)

An AI Tool for the Petroleum Industry Based on Image Analysis and Hierarchical Clustering. - Denis Ferraretti; Giacomo Gamberoni; Evelina Lamma; Raffaele Di Cuia; Chiara Turolla (IDEAL, 2009)

Exploiting association and correlation rules parameters for learning Bayesian networks. - Sergio Storari; Fabrizio Riguzzi; Evelina Lamma (Intell. Data Anal., 2009)

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. - Federico Chesani; Evelina Lamma; Paola Mello; Marco Montali; Fabrizio Riguzzi; Sergio Storari (Trans. Petri Nets Other Model. Concurr., 2009)

Runtime Addition of Integrity Constraints in SCIFF. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma (CILC, 2010)

Probabilistic Logic-Based Process Mining. - Elena Bellodi; Fabrizio Riguzzi; Evelina Lamma (CILC, 2010)

Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma (ICLP (Technical Communications), 2010)

Probabilistic Declarative Process Mining. - Elena Bellodi; Fabrizio Riguzzi; Evelina Lamma (KSEM, 2010)

A fully 3D work context for oral implant planning and simulation. - Tommaso Chiarelli; Evelina Lamma; Tommaso Sansoni (Int. J. Comput. Assist. Radiol. Surg., 2010)

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. - Marco Montali; Paolo Torroni; Federico Chesani; Paola Mello; Marco Alberti 001; Evelina Lamma (Fundam. Informaticae, 2010)

Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images. - Denis Ferraretti; Luca Tagliavini; Raffaele Di Cuia; Mariachiara Puviani; Evelina Lamma; Sergio Storari (Intelligenza Artificiale, 2010)

Techniques to Improve Preoperative Planning Precision for Oral Implantology. - Tommaso Chiarelli; Evelina Lamma; Tommaso Sansoni (IEEE Trans. Instrum. Meas., 2010)

Incremental Declarative Process Mining. - Massimiliano Cattafi; Evelina Lamma; Fabrizio Riguzzi; Sergio Storari (Smart Information and Knowledge Management, 2010)

Clustering and Classification Techniques for Blind Predictions of Reservoir Facies. - Denis Ferraretti; Evelina Lamma; Giacomo Gamberoni; Michele Febo (AI*IA, 2011)

Spot Detection in Images with Noisy Background. - Denis Ferraretti; Luca Casarotti; Giacomo Gamberoni; Evelina Lamma (ICIAP (1), 2011)

Integrating Clustering and Classification Techniques: A Case Study for Reservoir Facies Prediction. - Denis Ferraretti; Evelina Lamma; Giacomo Gamberoni; Michele Febo; Raffaele Di Cuia (ISMIS Industrial Session, 2011)

A Distribution Semantics for Probabilistic Ontologies. - Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi; Simone Albani (URSW, 2011)

Learning specifications of interaction protocols and business processes and proving their properties. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Sergio Storari (Intelligenza Artificiale, 2011)

A Computational Logic Application Framework for Service Discovery and Contracting. - Marco Alberti 001; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (Int. J. Web Serv. Res., 2011)

Un sistema di Vision Inspection basato su reti neurali. - Ludovico Buffon; Evelina Lamma; Fabrizio Riguzzi; Davide Formenti (PAI, 2012)

Miglioramento di algoritmi di elaborazione di immagini da scanner 3D tramite Simulated Annealing. - Marco Derboni; Evelina Lamma; Antonio Zaccaro (PAI, 2012)

I2AM: a Semi-Automatic System for Data Interpretation in Petroleum Geology. - Denis Ferraretti; Giacomo Gamberoni; Evelina Lamma (PAI, 2012)

Semantics and Inference for Probabilistic Ontologies. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma; Riccardo Zese (PAI, 2012)

Deon + : Abduction and Constraints for Normative Reasoning. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma (Logic Programs, Norms and Action, 2012)

Probabilistic Ontologies in Datalog+/-. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma (CILC, 2012)

Mandibular nerve canal identification for preoperative planning in oral implantology. - Tommaso Chiarelli; Evelina Lamma; Tommaso Sansoni (CompIMAGE, 2012)

Probabilistic Datalog+/- under the Distribution Semantics. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma (Description Logics, 2012)

Epistemic and Statistical Probabilistic Ontologies. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma; Riccardo Zese (URSW, 2012)

Unsupervised and supervised learning in cascade for petroleum geology. - Denis Ferraretti; Giacomo Gamberoni; Evelina Lamma (Expert Syst. Appl., 2012)

di4g: Uno Strumento di Clustering per l'Analisi Integrata di Dati Geologici. - Alice Piva; Giacomo Gamberoni; Denis Ferraretti; Evelina Lamma (PAI@AI*IA, 2013)

Computing Instantiated Explanations in OWL DL. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma; Riccardo Zese (AI*IA, 2013)

A Description Logics Tableau Reasoner in Prolog. - Riccardo Zese; Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi (CILC, 2013)

Learning the Parameters of Probabilistic Description Logics. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma; Riccardo Zese (ILP (Late Breaking Papers), 2013)

BUNDLE: A Reasoner for Probabilistic Ontologies. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma; Riccardo Zese (RR, 2013)

Parameter Learning for Probabilistic Ontologies. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma; Riccardo Zese (RR, 2013)

CT dataset anisotropy management for oral implantology planning software. - Tommaso Chiarelli; Evelina Lamma; Tommaso Sansoni (Int. J. Comput. Assist. Radiol. Surg., 2013)

The CHR-based Implementation of the SCIFF Abductive System. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma (Fundam. Informaticae, 2013)

Editorial: 29th International Conference on Logic Programming special issue. - Evelina Lamma; Terrance Swift (Theory Pract. Log. Program., 2013)

Appropriateness of Repeated Execution of Laboratory Examinations: A CDSS Approach. - Massimo Gallerani; Dario Pelizzola; Marcello Pivanti; Michela Boni; Evelina Lamma; Elena Bellodi (ICHI, 2014)

Learning Probabilistic Description Logics. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma; Riccardo Zese; Giuseppe Cota (URSW (LNCS Vol.), 2014)

Semantics and Inference for Probabilistic Description Logics. - Riccardo Zese; Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi; Fabiano Aguiari (URSW (LNCS Vol.), 2014)

Lifted Variable Elimination for Probabilistic Logic Programming. - Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi; Vítor Santos Costa; Riccardo Zese (Theory Pract. Log. Program., 2014)

Learning Probabilistic Ontologies with Distributed Parameter Learning. - Giuseppe Cota; Riccardo Zese; Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi (DC@AI*IA, 2015)

Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques. - Riccardo Zese; Elena Bellodi; Fabrizio Riguzzi; Evelina Lamma (DC@AI*IA, 2015)

Abductive logic programming for Datalog +/- ontologies. - Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese; Giuseppe Cota (CILC, 2015)

An Abductive Framework for Datalog± Ontologies. - Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese; Giuseppe Cota (ICLP (Technical Communications), 2015)

Reducing Laboratory Examinations by a Computer-Aided Clinical Decision Support System. - Massimo Gallerani; Dario Pelizzola; Marcello Pivanti; Giovanni Guerra; Michela Boni; Evelina Lamma; Elena Bellodi (ICTAI, 2015)

Reasoning with Probabilistic Ontologies. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma; Riccardo Zese (IJCAI, 2015)

Logic Programming Techniques for Reasoning with Probabilistic Ontologies. - Riccardo Zese; Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi (JOWO@IJCAI, 2015)

Distributed Parameter Learning for Probabilistic Ontologies. - Giuseppe Cota; Riccardo Zese; Elena Bellodi; Fabrizio Riguzzi; Evelina Lamma (ILP, 2015)

Abductive Logic Programming for Normative Reasoning and Ontologies. - Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese; Giuseppe Cota (JSAI-isAI Workshops, 2015)

Probabilistic Description Logics under the distribution semantics. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma; Riccardo Zese (Semantic Web, 2015)

Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics. - Marco Alberti 001; Evelina Lamma; Fabrizio Riguzzi; Riccardo Zese (AI*IA, 2016)

Probabilistic Logic Programming for Natural Language Processing. - Fabrizio Riguzzi; Evelina Lamma; Marco Alberti 001; Elena Bellodi; Riccardo Zese; Giuseppe Cota (URANIA@AI*IA, 2016)

Scaling Structure Learning of Probabilistic Logic Programs by MapReduce. - Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese; Giuseppe Cota; Evelina Lamma (ECAI, 2016)

Probabilistic Constraint Logic Theories. - Marco Alberti 001; Elena Bellodi; Giuseppe Cota; Evelina Lamma; Fabrizio Riguzzi; Riccardo Zese (PLP@ILP, 2016)

Statistical relational learning for workflow mining. - Elena Bellodi; Fabrizio Riguzzi; Evelina Lamma (Intell. Data Anal., 2016)

Probabilistic logic programming on the web. - Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma; Riccardo Zese; Giuseppe Cota (Softw. Pract. Exp., 2016)

Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. - Marco Alberti 001; Evelina Lamma; Fabrizio Riguzzi; Riccardo Zese (ICTCS/CILC, 2017)

A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases. - Marco Alberti 001; Evelina Lamma; Fabrizio Riguzzi; Riccardo Zese (PLP@ILP, 2017)

Deep Probabilistic Logic Programming. - Arnaud Nguembang Fadja; Evelina Lamma; Fabrizio Riguzzi (PLP@ILP, 2017)

Dischargeable Obligations in Abductive Logic Programming. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Riccardo Zese (RuleML+RR, 2017)

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. - Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese; Giuseppe Cota; Evelina Lamma (Int. J. Approx. Reason., 2017)

Economic and organizational impact of a clinical decision support system on laboratory test ordering. - Elena Bellodi; Emidia Vagnoni; Barbara Bonvento; Evelina Lamma (BMC Medical Informatics Decis. Mak., 2017)

A web system for reasoning with probabilistic OWL. - Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi; Riccardo Zese; Giuseppe Cota (Softw. Pract. Exp., 2017)

Vision Inspection with Neural Networks. - Arnaud Nguembang Fadja; Evelina Lamma; Fabrizio Riguzzi (RiCeRcA@AI*IA, 2018)

Expectation Maximization in Deep Probabilistic Logic Programming. - Arnaud Nguembang Fadja; Fabrizio Riguzzi; Evelina Lamma (AI*IA, 2018)

A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. - Federico Chesani; Giuseppe Cota; Evelina Lamma; Paola Mello; Fabrizio Riguzzi (CILC, 2018)

Modeling Bitcoin Protocols with Probabilistic Logic Programming. - Damiano Azzolini; Fabrizio Riguzzi; Evelina Lamma; Elena Bellodi; Riccardo Zese (PLP@ILP, 2018)

Learning the Parameters of Deep Probabilistic Logic Programs. - Arnaud Nguembang Fadja; Fabrizio Riguzzi; Evelina Lamma (PLP@ILP, 2018)

A Modular Inference System for Probabilistic Description Logics. - Giuseppe Cota; Fabrizio Riguzzi; Riccardo Zese; Elena Bellodi; Evelina Lamma (SUM, 2018)

Tableau reasoning for description logics and its extension to probabilities. - Riccardo Zese; Elena Bellodi; Fabrizio Riguzzi; Giuseppe Cota; Evelina Lamma (Ann. Math. Artif. Intell., 2018)

Evaluating Compliance: From LTL to Abductive Logic Programming. - Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali (Fundam. Informaticae, 2018)

Reasoning on Datalog± Ontologies with Abductive Logic Programming. - Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese; Giuseppe Cota (Fundam. Informaticae, 2018)

Accountable Protocols in Abductive Logic Programming. - Marco Gavanelli; Marco Alberti 001; Evelina Lamma (ACM Trans. Internet Techn., 2018)

Editorial: 29th International conference on logic programming special issue - ADDENDUM. - Evelina Lamma; Terrance Swift (Theory Pract. Log. Program., 2018)

A Comparison of MCMC Sampling for Probabilistic Logic Programming. - Damiano Azzolini; Fabrizio Riguzzi; Franco Masotti; Evelina Lamma (AI*IA, 2019)

Analyzing Transaction Fees with Probabilistic Logic Programming. - Damiano Azzolini; Fabrizio Riguzzi; Evelina Lamma (BIS (Workshops), 2019)

KRaider: a Crawler for Linked Data. - Giuseppe Cota; Fabrizio Riguzzi; Riccardo Zese; Evelina Lamma (CILC, 2019)

Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming. - Damiano Azzolini; Fabrizio Riguzzi; Evelina Lamma (Inf., 2019)

Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. - Riccardo Zese; Giuseppe Cota; Evelina Lamma; Elena Bellodi; Fabrizio Riguzzi (Theory Pract. Log. Program., 2019)

Modeling Smart Contracts with Probabilistic Logic Programming. - Damiano Azzolini; Fabrizio Riguzzi; Evelina Lamma (BIS (Workshops), 2020)

An Analysis of Gibbs Sampling for Probabilistic Logic Programs. - Damiano Azzolini; Fabrizio Riguzzi; Evelina Lamma (ICLP Workshops, 2020)

Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules. - Michele Fraccaroli; Evelina Lamma; Fabrizio Riguzzi (LOD (1), 2020)

A Framework for Reasoning on Probabilistic Description Logics. - Giuseppe Cota; Riccardo Zese; Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi (CoRR, 2020)

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling. - Federico Chesani; Giuseppe Cota; Marco Gavanelli; Evelina Lamma; Paola Mello; Fabrizio Riguzzi (Eng. Appl. Artif. Intell., 2020)

Dischargeable Obligations in the 𝒮CIFF Framework. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Ken Satoh; Riccardo Zese (Fundam. Informaticae, 2020)

A Framework for Reasoning on Probabilistic Description Logics. - Giuseppe Cota; Riccardo Zese; Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi (Applications and Practices in Ontology Design, Extraction, and Reasoning, 2020)

A Probabilistic Logic Model of Lightning Network. - Damiano Azzolini; Fabrizio Riguzzi; Elena Bellodi; Evelina Lamma (BIS (Workshops), 2021)

A semantics for Hybrid Probabilistic Logic programs with function symbols. - Damiano Azzolini; Fabrizio Riguzzi; Evelina Lamma (Artif. Intell., 2021)

Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints. - Elena Bellodi; Marco Gavanelli; Riccardo Zese; Evelina Lamma; Fabrizio Riguzzi (CoRR, 2021)

Learning hierarchical probabilistic logic programs. - Arnaud Nguembang Fadja; Fabrizio Riguzzi; Evelina Lamma (Mach. Learn., 2021)

Probabilistic inductive constraint logic. - Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese; Marco Alberti 001; Evelina Lamma (Mach. Learn., 2021)

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. - Elena Bellodi; Marco Gavanelli; Riccardo Zese; Evelina Lamma; Fabrizio Riguzzi (Theory Pract. Log. Program., 2021)

Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary. - Damiano Azzolini; Fabrizio Riguzzi; Evelina Lamma (ICLP Workshops, 2022)

An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols. - Marco Alberti 001; Riccardo Zese; Fabrizio Riguzzi; Evelina Lamma (ICLP Technical Communications / Doctoral Consortium, 2022)

Neural-Symbolic Ensemble Learning for early-stage prediction of critical state of Covid-19 patients. - Arnaud Nguembang Fadja; Michele Fraccaroli; Alice Bizzarri; Giulia Mazzuchelli; Evelina Lamma (Medical Biol. Eng. Comput., 2022)

Symbolic DNN-Tuner. - Michele Fraccaroli; Evelina Lamma; Fabrizio Riguzzi (Mach. Learn., 2022)

Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing Deep Neural Networks hyperparameters. - Michele Fraccaroli; Evelina Lamma; Fabrizio Riguzzi (SoftwareX, 2022)

GRD-Net: Generative-Reconstructive-Discriminative Anomaly Detection with Region of Interest Attention Module. - Niccolò Ferrari; Michele Fraccaroli; Evelina Lamma (Int. J. Intell. Syst., 2023)

Probabilistic Traces in Declarative Process Mining. - Michela Vespa; Elena Bellodi; Federico Chesani; Daniela Loreti; Paola Mello; Evelina Lamma; Anna Ciampolini; Marco Gavanelli; Riccardo Zese (AI*IA, 2024)

Probabilistic Compliance in Declarative Process Mining. - Michela Vespa; Elena Bellodi; Federico Chesani; Daniela Loreti; Paola Mello; Evelina Lamma; Anna Ciampolini (PMAI@ECAI, 2024)

Integration between constrained optimization and deep networks: a survey. - Alice Bizzarri; Michele Fraccaroli; Evelina Lamma; Fabrizio Riguzzi (Frontiers Artif. Intell., 2024)

Exploiting CNN's visual explanations to drive anomaly detection. - Michele Fraccaroli; Alice Bizzarri; Paolo Casellati; Evelina Lamma (Appl. Intell., 2024)

A semantics for probabilistic hybrid knowledge bases with function symbols. - Marco Alberti 001; Evelina Lamma; Fabrizio Riguzzi; Riccardo Zese (Artif. Intell., 2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases. - Riccardo Zese; Evelina Lamma; Fabrizio Riguzzi (Log. Methods Comput. Sci., 2025)