Programs as Collections of Communicating Prolog Units. - Paola Mello; Antonio Natali (ESOP, 1986)

Objects as Communicating Prolog Units. - Paola Mello; Antonio Natali (ECOOP, 1987)

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)

Concurrent objects in a logic programming framework. - Paola Mello (OOPSLA/ECOOP Workshop on Object-based Concurrent Programming, 1988)

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

Logic Programming in a Software Engineering Perspective. - Paola Mello; Antonio Natali; Cristina Ruggieri (NACLP, 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)

Extending Prolog with Moduarity, Concurrency and Meta-Rules. - Paola Mello; Antonio Natali (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)

Learning for Feature Selection and Shape Detection. - Rita Cucchiara; Massimo Piccardi; Michele Bariani; Paola Mello (ICIAP (1), 1997)

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

Exploiting Symbolic Learning in Visual Inspection. - Massimo Piccardi; Rita Cucchiara; Michele Bariani; Paola Mello (IDA, 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)

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)

Image analysis and rule-based reasoning for a traffic monitoring system. - Rita Cucchiara; Massimo Piccardi; Paola Mello (IEEE Trans. Intell. Transp. Syst., 2000)

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)

An application of machine learning and statistics to defect detection. - Rita Cucchiara; Paola Mello; Massimo Piccardi; Fabrizio Riguzzi (Intell. Data Anal., 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)

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)

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)

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)

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)

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)

Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. - Anna Ciampolini; Paola Mello; Marco Montali; Sergio Storari (CBMS, 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)

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)

Protocol Specification and Verification by Using Computational Logic. - Federico Chesani; Anna Ciampolini; Paola Mello; Marco Montali; Paolo Torroni; Marco Alberti 001; Sergio Storari (WOA, 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)

A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. - Federico Chesani; Pietro De Matteis; Paola Mello; Marco Montali; Sergio Storari (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)

Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. - Federico Chesani; Paola Mello; Marco Montali; Sergio Storari (AIME, 2007)

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

-Tropos. - Volha Bryl; Paola Mello; Marco Montali; Paolo Torroni; Nicola Zannone (CLIMA, 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)

AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR. - Davide Sottara; Luca Luccarini; Paola Mello (KES (1), 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)

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)

Modeling and Verification of Business Processes and Choreographies in ALP. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (Il Milione, 2008)

Checking Compliance of Execution Traces to Business Rules. - Federico Chesani; Paola Mello; Marco Montali; Fabrizio Riguzzi; Maurizio Sebastianis; Sergio Storari (Business Process Management Workshops, 2008)

Modelling Radial Basis Functions with Rational Logic Rules. - Davide Sottara; Paola Mello (HAIS, 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)

A Knowledge-Based System for Fashion Trend Forecasting. - Paola Mello; Sergio Storari; Bernardo Valli (IEA/AIE, 2008)

An Abductive Multi-Agent System for Medical Services Coordination. - Anna Ciampolini; Paola Mello; Sergio Storari (IFIP AI, 2008)

An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios. - Sergio Storari; Anna Ciampolini; Paola Mello (PervasiveHealth, 2008)

Adding Uncertainty to a Rete-OO Inference Engine. - Davide Sottara; Paola Mello; Mark Proctor (RuleML, 2008)

E-learning by Doing with Computational Logic. - Federico Chesani; Anna Ciampolini; Paola Mello (Knowledge Construction in E-learning Context, 2008)

Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (SWAP, 2008)

Verification of Choreographies During Execution Using the Reactive Event Calculus. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (WS-FM, 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)

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. - Alessio Bottrighi; Federico Chesani; Paola Mello; Gianpaolo Molino; Marco Montali; Stefania Montani; Sergio Storari; Paolo Terenziani; Mauro Torchio (AIME, 2009)

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. - Alessio Bottrighi; Federico Chesani; Paola Mello; Marco Montali; Stefania Montani; Sergio Storari; Paolo Terenziani (KR4HC, 2009)

Social Commitments in Time: Satisfied or Compensated. - Paolo Torroni; Federico Chesani; Paola Mello; Marco Montali (DALT, 2009)

A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants. - Davide Sottara; Gabriele Colombini; Luca Luccarini; Paola Mello (HAIS, 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)

Commitment Tracking via the Reactive Event Calculus. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (IJCAI, 2009)

Verifying A-Priori the Composition of Declarative Specified Services. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (MALLOW, 2009)

Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems. - Davide Sottara; Paola Mello; Mark Proctor (RuleML, 2009)

A wawelet based heuristic to dimension Neural Networks for simple signal approximation. - Gabriele Colombini; Davide Sottara; Luca Luccarini; Paola Mello (WIRN, 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)

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. - Stefano Bragaglia; Federico Chesani; Anna Ciampolini; Paola Mello; Marco Montali; Davide Sottara (HAIS (1), 2010)

Declarative Technologies for Open Agent Systems and Beyond. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (KES-AMSTA (1), 2010)

Role Monitoring in Open Agent Societies. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (KES-AMSTA (1), 2010)

A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules. - Stefano Bragaglia; Federico Chesani; Paola Mello; Davide Sottara (RR, 2010)

A Rule-Based Implementation of Fuzzy Tableau Reasoning. - Stefano Bragaglia; Federico Chesani; Paola Mello; Davide Sottara (RuleML, 2010)

Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant. - Luca Luccarini; Gianni Luigi Bragadin; Gabriele Colombini; Maurizio Mancini; Paola Mello; Marco Montali; Davide Sottara (Environ. Model. Softw., 2010)

A Logic-Based, Reactive Calculus of Events. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (Fundam. Informaticae, 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)

Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends. - Paola Mello; Sergio Storari; Bernardo Valli (Intelligenza Artificiale, 2010)

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. - Federico Chesani; Paola Mello; Marco Montali; Sergio Storari; Paolo Torroni (Multiagent Grid Syst., 2010)

A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information. - Davide Sottara; Paola Mello; Mark Proctor (IEEE Trans. Knowl. Data Eng., 2010)

Declarative specification and verification of service choreographiess. - Marco Montali; Maja Pesic; Wil M. P. van der Aalst; Federico Chesani; Paola Mello; Sergio Storari (ACM Trans. Web, 2010)

Fuzzy Conformance Checking of Observed Behaviour with Expectations. - Stefano Bragaglia; Federico Chesani; Paola Mello; Marco Montali; Davide Sottara (AI*IA, 2011)

Process Mining Manifesto. - Wil M. P. van der Aalst; Arya Adriansyah; Ana Karla Alves de Medeiros; Franco Arcieri; Thomas Baier 001; Tobias Blickle; R. P. Jagadeesh Chandra Bose; Peter van den Brand; Ronald Brandtjen; Joos C. A. M. Buijs; Andrea Burattin; Josep Carmona 001; et al. (Business Process Management Workshops (1), 2011)

Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. - Alessio Bottrighi; Federico Chesani; Paola Mello; Marco Montali; Stefania Montani; Paolo Terenziani (Business Process Management Workshops (2), 2011)

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. - Paolo Torroni; Federico Chesani; Paola Mello; Marco Montali (DALT, 2011)

An Evidential Fusion Architecture for People Surveillance in Wide Open Areas. - Michele Fornaciari; Davide Sottara; Andrea Prati 001; Paola Mello; Rita Cucchiara (HAIS (1), 2011)

Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems. - Stefano Bragaglia; Federico Chesani; Emory Fry; Paola Mello; Marco Montali; Davide Sottara (RuleML America, 2011)

Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. - Marco Montali; Paolo Torroni; Nicola Zannone; Paola Mello; Volha Bryl (Auton. Agents Multi Agent Syst., 2011)

Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (Cybern. Syst., 2011)

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (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)

Towards an Interactive Personal Care System driven by Sensor Data. - Stefano Bragaglia; Paola Mello; Davide Sottara (PAI, 2012)

Reactive Event Calculus for Monitoring Global Computing Applications. - Stefano Bragaglia; Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (Logic Programs, Norms and Action, 2012)

A Rule-Based Calculus and Processing of Complex Events. - Stefano Bragaglia; Federico Chesani; Paola Mello; Davide Sottara (RuleML, 2012)

Towards data-aware constraints in declare. - Marco Montali; Federico Chesani; Paola Mello; Fabrizio Maria Maggi (SAC, 2013)

Representing and monitoring social commitments using the event calculus. - Federico Chesani; Paola Mello; Marco Montali; Paolo Torroni (Auton. Agents Multi Agent Syst., 2013)

Guest-editorial: 25 years of AI*IA. - Matteo Baldoni; Paola Mello; Fabrizio Riguzzi (Intelligenza Artificiale, 2013)

Monitoring business constraints with the event calculus. - Marco Montali; Fabrizio Maria Maggi; Federico Chesani; Paola Mello; Wil M. P. van der Aalst (ACM Trans. Intell. Syst. Technol., 2013)

A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation. - Stefano Bragaglia; Stefano Di Monte; Paola Mello (CISIS, 2014)

Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes. - Stefano Bragaglia; Federico Chesani; Paola Mello; Marco Montali (Foundations of Biomedical Knowledge Representation, 2015)

Abducing Compliance of Incomplete Event Logs. - Federico Chesani; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Paola Mello; Marco Montali; Sergio Tessaris (AI*IA, 2016)

Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper). - Federico Chesani; Paola Mello; Michela Milano (URANIA@AI*IA, 2016)

Process Mining Monitoring for Map Reduce Applications in the Cloud. - Federico Chesani; Anna Ciampolini; Daniela Loreti; Paola Mello (CLOSER (1), 2016)

Map Reduce Autoscaling over the Cloud with Process Mining Monitoring. - Federico Chesani; Anna Ciampolini; Daniela Loreti; Paola Mello (CLOSER (Selected Papers), 2016)

Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. - Federico Chesani; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Paola Mello; Marco Montali; Sergio Tessaris (ECAI, 2016)

A Game-Based Competition as Instrument for Teaching Artificial Intelligence. - Federico Chesani; Andrea Galassi; Paola Mello; Giada Trisolini (AI*IA, 2017)

Abduction for Generating Synthetic Traces. - Federico Chesani; Anna Ciampolini; Daniela Loreti; Paola Mello (Business Process Management Workshops, 2017)

Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation. - Federico Chesani; Paola Mello; Marco Montali (ISMIS, 2017)

Distributed Compliance Monitoring of Business Processes over MapReduce Architectures. - Daniela Loreti; Federico Chesani; Anna Ciampolini; Paola Mello (ICPE Companion, 2017)

Solving Mathematical Puzzles: A Challenging Competition for AI. - Federico Chesani; Paola Mello; Michela Milano (AI Mag., 2017)

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)

Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study. - Andrea Galassi; Michele Lombardi 001; Paola Mello; Michela Milano (CPAIOR, 2018)

A distributed approach to compliance monitoring of business process event streams. - Daniela Loreti; Federico Chesani; Anna Ciampolini; Paola Mello (Future Gener. Comput. Syst., 2018)

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

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. - Federico Chesani; Paola Mello; Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Marco Montali; Sergio Tessaris (Fundam. Informaticae, 2018)

Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris. - Federico Chesani; Andrea Galassi; Marco Lippi 001; Paola Mello (IEEE Trans. Games, 2018)

Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Vasyl Skydanienko; Sergio Tessaris (CILC, 2019)

Complex reactive event processing for assisted living: The Habitat project case study. - Daniela Loreti; Federico Chesani; Paola Mello; Luca Roffia; Francesco Antoniazzi; Tullio Salmon Cinotti; Giacomo Paolini; Diego Masotti; Alessandra Costanzo (Expert Syst. Appl., 2019)

HABITAT: An IoT Solution for Independent Elderly. - Elena Borelli; Giacomo Paolini; Francesco Antoniazzi; Marina Barbiroli; Francesca Benassi; Federico Chesani; Lorenzo Chiari; Massimiliano Fantini; Franco Fuschini; Andrea Galassi; Gian Andrea Giacobone; Silvia Imbesi; et al. (Sensors, 2019)

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)

Generating synthetic positive and negative business process traces through abduction. - Daniela Loreti; Federico Chesani; Anna Ciampolini; Paola Mello (Knowl. Inf. Syst., 2020)

A Multi-modal Perspective for the Artistic Evaluation of Robotic Dance Performances. - Luca Giuliani; Allegra De Filippo; Andrea Borghesi; Paola Mello; Michela Milano (CREAI@AI*IA, 2022)

Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Elena Palmieri; Sergio Tessaris (CILC, 2022)

Do You Like Dancing Robots? AI Can Tell You Why. - Allegra De Filippo; Paola Mello; Michela Milano (PAIS@ECAI, 2022)

Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Giulia Grundler; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (EDOC, 2022)

Optimising Business Process Discovery Using Answer Set Programming. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Giulia Grundler; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (LPNMR, 2022)

Towards Symbiotic Creativity: A Methodological Approach to Compare Human and AI Robotic Dance Creations. - Allegra De Filippo; Luca Giuliani; Eleonora Mancini; Andrea Borghesi; Paola Mello; Michela Milano (IJCAI, 2023)

A Prolog application for reasoning on maths puzzles with diagrams. - Riccardo Buscaroli; Federico Chesani; Giulia Giuliani; Daniela Loreti; Paola Mello (J. Exp. Theor. Artif. Intell., 2023)

Process Discovery on Deviant Traces and Other Stranger Things. - Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti; Fabrizio Maria Maggi; Paola Mello; Marco Montali; Sergio Tessaris (IEEE Trans. Knowl. Data Eng., 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)