Paola Mello

Evelina Lamma, Paola Mello, Federico Chesani, 2004, 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.

MONITORING TIME-AWARE COMMITMENTS WITHIN AGENT-BASED SIMULATION ENVIRONMENTS

Paola Mello, Federico Chesani, Marco Montali, 2011, Cybern. Syst..

An intelligent medical system for microbiological data validation and nosocomial infection surveillance

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2002, Proceedings of 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002).

A-priori verification of web services with abduction.

Evelina Lamma, Paola Mello, Federico Chesani, 2006 .

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning

Paola Mello, Federico Chesani, Marco Montali, 2018, Fundam. Informaticae.

Towards an Interactive Personal Care System driven by Sensor Data

Paola Mello, Stefano Bragaglia, Davide Sottara, 2012, PAI.

A Meta Constraint Logic Programming Architecture (Extended Abstract)

Evelina Lamma, Paola Mello, Michela Milano, 1996, CP.

ATMS for Implementing Logic Programming

Evelina Lamma, Paola Mello, Antonio Brogi, 1992, European Conference on Artificial Intelligence.

Abduction for Generating Synthetic Traces

Paola Mello, Federico Chesani, Daniela Loreti, 2017, Business Process Management Workshops.

Constraint based methods for allocation and scheduling of periodic applications

Paola Mello, Alessandro Vanelli Coralli, 2013 .

An Abductive Interpretation for Open Agent Societies

Evelina Lamma, Paola Mello, Paolo Torroni, 2003, AI*IA.

A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2018, CILC.

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance

Paola Mello, Federico Chesani, Marco Montali, 2009, AIME.

Integrating constraint logic programming and operations research techniques for the Crew Rostering Problem

Evelina Lamma, Paola Mello, Paolo Toth, 1998 .

Integrating Induction and Abduction in Logic Programming

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 1999, Inf. Sci..

AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR

Paola Mello, Davide Sottara, Luca Luccarini, 2007, KES.

Processing Abductive Reasoning via Contextual Logic Programming

Evelina Lamma, Paola Mello, P. Mello, 1991, PDK.

Modelling Interactions via Commitments and Expectations

Evelina Lamma, Paola Mello, Federico Chesani, 2009, Handbook of Research on Multi-Agent Systems.

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language

Paola Mello, Federico Chesani, Marco Montali, 2011, DALT.

Abductive Reasoning in a Multi-Theory Framework

Evelina Lamma, Paola Mello, Antonio Brogi, 1991, AI*IA.

Guest-editorial: 25 years of AI*IA

Paola Mello, Fabrizio Riguzzi, Matteo Baldoni, 2013, Intelligenza Artificiale.

A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules

Paola Mello, Federico Chesani, Stefano Bragaglia, 2010, RR.

A Verifiable Logic-Based Agent Architecture

Evelina Lamma, Paola Mello, Federico Chesani, 2006, ISMIS.

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions

Paola Mello, Federico Chesani, Marco Montali, 2011, Intelligenza Artificiale.

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning

Paola Mello, Federico Chesani, Marco Montali, 2010, HAIS.

An Expert System for the Oral Anticoagulation Treatment

Evelina Lamma, Paola Mello, Sergio Storari, 2005, IEA/AIE.

Learning the Dose Adjustment for the Oral Anticoagulation Treatment

Evelina Lamma, Paola Mello, Sergio Storari, 2004, ISBMDA.

Learning for Feature Selection and Shape Detection

Paola Mello, Rita Cucchiara, Massimo Piccardi, 1997, ICIAP.

Evaluating compliance: from LTL to abductive logic programming

Evelina Lamma, Paola Mello, Federico Chesani, 2015, CILC.

Map Reduce Autoscaling over the Cloud with Process Mining Monitoring

Paola Mello, Federico Chesani, Daniela Loreti, 2016, CLOSER.

Adding Uncertainty to a Rete-OO Inference Engine

Paola Mello, Davide Sottara, Mark Proctor, 2008, RuleML.

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate

Evelina Lamma, Paola Mello, Paolo Torroni, 2004, Annals of Mathematics and Artificial Intelligence.

Computer-based Medical Guidelines and Protocols: A Primer and Current Trends

Evelina Lamma, Paola Mello, Federico Chesani, 2008, Computer-based Medical Guidelines and Protocols.

Fuzzy Conformance Checking of Observed Behaviour with Expectations

Paola Mello, Federico Chesani, Marco Montali, 2011, AI*IA.

Testing guidelines conformance by translating a graphical language to computational logic

Paola Mello, Federico Chesani, Marco Montali, 2006 .

Compositional model-theoretic semantics for logic programs

Evelina Lamma, Paola Mello, Antonio Brogi, 1992, New Generation Computing.

A Logic-Based, Reactive Calculus of Events

Paola Mello, Federico Chesani, Marco Montali, 2010, Fundam. Informaticae.

Towards data-aware constraints in declare

Paola Mello, Federico Chesani, Marco Montali, 2013, SAC '13.

A distributed constraint-based scheduler

Evelina Lamma, Paola Mello, Michela Milano, 1997, Artif. Intell. Eng..

A Knowledge-Based System for Fashion Trend Forecasting

Paola Mello, Sergio Storari, Bernardo Valli, 2008, IEA/AIE.

Applying Inductive Logic Programming to Process Mining

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2007, ILP.

E-learning by Doing with Computational Logic

Paola Mello, Federico Chesani, Anna Ciampolini, 2008, Knowledge Construction in E-learning Context.

An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages

Evelina Lamma, Paola Mello, Anna Ciampolini, 1996, Inf. Process. Lett..

Introducing Abduction into (Extensional) Inductive Logic Programming Systems

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 1997, AI*IA.

Integrating constraint logic programming and operations research techniques for the Crew Rostering Problem

Evelina Lamma, Paola Mello, Paolo Toth, 1998, Softw. Pract. Exp..

LAILA: a language for coordinating abductive reasoning among logic agents

Evelina Lamma, Paola Mello, Paolo Torroni, 2001, Comput. Lang..

A multi-agent system for medical services synergy and coordination

Paola Mello, Sergio Storari, Anna Ciampolini, 2004 .

Abduction in the context of a reasoning process: the SCIFF framework

Paola Mello, Federico Chesani, Marco Alberti, 2007 .

A distributed approach to compliance monitoring of business process event streams

Paola Mello, Federico Chesani, Daniela Loreti, 2018, Future Gener. Comput. Syst..

Computing 3-valued Stable Models by using the ATMS

Evelina Lamma, Paola Mello, P. Mello, 1993, AI*IA.

Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence

Evelina Lamma, Paola Mello, P. Mello, 1999 .

Exploiting Constraints for Domain Managing in CLP(FD)

Evelina Lamma, Paola Mello, Marco Gavanelli, 2002, FroCoS.

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

Evelina Lamma, Paola Mello, Federico Chesani, 2006, Appl. Artif. Intell..

Representing and monitoring social commitments using the event calculus

Paola Mello, Federico Chesani, Marco Montali, 2013, Autonomous Agents and Multi-Agent Systems.

A knowledge based system for the anticoagulant oral therapy

Evelina Lamma, Paola Mello, Sergio Storari, 2004, Intelligenza Artificiale.

Enhancing Constraint Logic Programming through Meta Programming

Evelina Lamma, Paola Mello, Michela Milano, 1996, APPIA-GULP-PRODE.

Composing Open Logic Programs

Evelina Lamma, Paola Mello, Antonio Brogi, 1993, J. Log. Comput..

Constraint-based Knowledge Acquisition and Verification for Planning

Evelina Lamma, Paola Mello, Michela Milano, 1999 .

Process Mining Monitoring for Map Reduce Applications in the Cloud

Paola Mello, Federico Chesani, Daniela Loreti, 2016, CLOSER.

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

Evelina Lamma, Paola Mello, Federico Chesani, 2009, 2009 IEEE International Conference on Web Services.

Under Consideration for Publication in Theory and Practice of Logic Programming a Constraint Handling Rules Implementation for Known-arc-consistency in Interactive Constraint Satisfaction Problems

Evelina Lamma, Paola Mello, Marco Alberti, 2022 .

A Computational Logic Application Framework for Service Discovery and Contracting

Evelina Lamma, Paola Mello, Federico Chesani, 2011, Int. J. Web Serv. Res..

Ontologies, rules, workflow and predictive models: Knowledge assets for an EDSS

Paola Mello, Stefano Bragaglia, Davide Sottara, 2012 .

The architecture of Alpes: an open and extendible programming environment

Paola Mello, Antonio Natali, C. Ruggieri, 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.

Engineering and verifying agent-oriented requirements augmented by business constraints with $${\mathcal{B}}$$-Tropos

Paola Mello, Marco Montali, Paolo Torroni, 2011, Autonomous Agents and Multi-Agent Systems.

Hypothetical Reasoning in Logic Programming: A Semantic Approach

Evelina Lamma, Paola Mello, Antonio Brogi, 1990, Inf. Process. Lett..

Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic

Paola Mello, Federico Chesani, Marco Montali, 2007, AIME.

Optimizing modular logic languages

Evelina Lamma, Paola Mello, Michele Bugliesi, 1998, CSUR.

Cooperation of Abduction and Induction in Logic Programming

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2000 .

Integration of medical services in the MeSSyCo agent system (demo session).

Paola Mello, Sergio Storari, Anna Ciampolini, 2004, AAMAS 2004.

Optimization techniques in building expert systems

Evelina Lamma, Paola Mello, R. Cremonini, 1987, Microprocess. Microprogramming.

Web Service Contracting: Specification and Reasoning with SCIFF

Evelina Lamma, Paola Mello, Federico Chesani, 2007, ESWC.

An Extended Warren Abstract Machine for the Execution of Structured Logic Programs

Evelina Lamma, Paola Mello, Antonio Natali, 1992, J. Log. Program..

Domains as First Class Objects in CLP(FD)

Evelina Lamma, Paola Mello, Marco Gavanelli, 1999, APPIA-GULP-PRODE.

Abducing Compliance of Incomplete Event Logs

Paola Mello, Federico Chesani, Marco Montali, 2016, AI*IA.

A CHR-based implementation of known arc-consistency

Evelina Lamma, Paola Mello, Marco Alberti, 2004, Theory and Practice of Logic Programming.

From eager to lazy constrained data acquisition: A general framework

Evelina Lamma, Paola Mello, Rita Cucchiara, 2001, New Generation Computing.

A Unifying View for Logic Programming with Non-Monotonic Reasoning

Evelina Lamma, Paola Mello, Antonio Brogi, 1997, Theor. Comput. Sci..

Expressing interaction in combinatorial auction through social integrity constraints

Evelina Lamma, Paola Mello, Federico Chesani, 2005, Intelligenza Artificiale.

Social Commitments in Time: Satisfied or Compensated

Paola Mello, Federico Chesani, Marco Montali, 2009, DALT.

AI*IA 99: Advances in Artificial Intelligence

Evelina Lamma, Paola Mello, 2000, Lecture Notes in Computer Science.

Expressing Collaborative and Competitive Coordination among Abductive

Evelina Lamma, Paola Mello, Paolo Torroni, 2000, CL-2000 Workshop on Computational Logic in Multi-Agent Systems.

Abductive coordination for logic agents

Evelina Lamma, Paola Mello, Cesare Stefanelli, 1999, SAC '99.

Exploiting Type Analysis for Unification in a Distributed Environment

Evelina Lamma, Paola Mello, Pascal Van Hentenryck, 1999, Comput. Artif. Intell..

Modelling Radial Basis Functions with Rational Logic Rules

Paola Mello, Davide Sottara, 2008, HAIS.

An Expert System for Microbiological Data Validation and Surveillance

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2001, ISMDA.

Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting

Paola Mello, Federico Chesani, Marco Montali, 2008, SWAP.

The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses

Evelina Lamma, Paola Mello, Antonio Brogi, 1992, Inf. Process. Lett..

Using social integrity constraints for on-the-fly compliance verification of medical protocols

Paola Mello, Marco Montali, Sergio Storari, 2005, 18th IEEE Symposium on Computer-Based Medical Systems (CBMS'05).

A logic-based approach to model interaction amongst computees

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2003 .

Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris

Paola Mello, Federico Chesani, Marco Lippi, 2018, IEEE Transactions on Games.

A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation

Paola Mello, Stefano Bragaglia, Stefano Di Monte, 2014, 2014 Eighth International Conference on Complex, Intelligent and Software Intensive Systems.

A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services

Evelina Lamma, Paola Mello, Federico Chesani, 2007, RR.

An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios

Paola Mello, Sergio Storari, Anna Ciampolini, 2008, 2008 Second International Conference on Pervasive Computing Technologies for Healthcare.

Expressing and Verifying Business Contracts with Abductive

Evelina Lamma, Paola Mello, Federico Chesani, 2007 .

An abductive framework for a-priori verification of web services

Evelina Lamma, Paola Mello, Federico Chesani, 2006, PPDP '06.

A System for Monitoring Nosocomial Infections

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2000, ISMDA.

Declarative specification and verification of service choreographiess

Paola Mello, Federico Chesani, Marco Montali, 2010, TWEB.

UCD, Ergonomics and Inclusive Design: The HABITAT Project

Paola Mello, Federico Chesani, Lorenzo Chiari, 2018 .

Modeling and Verification of Business Processes and Choreographies in ALP

Paola Mello, Federico Chesani, Marco Montali, 2008, Il Milione.

Modeling, Verifying and Reasoning about Web Services (Extended Abstract)

Paola Mello, Fabrizio Riguzzi, Federico Chesani, 2006 .

Distributed Logic Objects

Evelina Lamma, Paola Mello, Cesare Stefanelli, 1996, Comput. Lang..

Programs as Collections of Communicating Prolog Units

Paola Mello, Antonio Natali, P. Mello, 1986, ESOP.

Improving the Efficiency of Dynamic Modular Logic Languages

Evelina Lamma, Paola Mello, Anna Ciampolini, 1995, GULP-PRODE.

A Proof-System for the Safe Execution of Tasks in Multi-agent Systems

Evelina Lamma, Paola Mello, Paolo Torroni, 2002, JELIA.

Image analysis and rule-based reasoning for a traffic monitoring system

Paola Mello, Rita Cucchiara, Massimo Piccardi, 2000, IEEE Trans. Intell. Transp. Syst..

Constraint Propagation and Value Acquisition: Why we should do it Interactively

Evelina Lamma, Paola Mello, Rita Cucchiara, 1999, IJCAI.

Temporal reasoning in a meta constraint logic programming architecture

Evelina Lamma, Paola Mello, Michela Milano, 1996, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96).

A Computational Logic-based approach to security protocols verification, and its application to the Needham-Schroeder Public Key authentication protocol

Evelina Lamma, Paola Mello, Federico Chesani, 2004 .

A Rationalisation of the ATMS in Terms of Partial Evaluation

Evelina Lamma, Paola Mello, P. Mello, 1992, LOPSTR.

3D object recognition by VC-graphs and interactive constraint satisfaction

Evelina Lamma, Paola Mello, Rita Cucchiara, 1999, Proceedings 10th International Conference on Image Analysis and Processing.

Abduction with Hypotheses Confirmation

Evelina Lamma, Paola Mello, Paolo Torroni, 2005, IJCAI.

Verifying A-Priori the Composition of Declarative Specified Services

Paola Mello, Federico Chesani, Marco Montali, 2009, MALLOW.

Verification from Declarative Specifications Using Logic Programming

Evelina Lamma, Paola Mello, Federico Chesani, 2008, ICLP.

Artificial intelligence techniques for monitoring dangerous infections

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2006, IEEE Transactions on Information Technology in Biomedicine.

Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems

Paola Mello, Federico Chesani, Marco Montali, 2011, RuleML America.

Distributed logic objects: A fragment of rewriting logic and its implementation

Evelina Lamma, Paola Mello, Cesare Stefanelli, 1996, WRLA.

An Abductive Framework for Extended Logic Programming

Evelina Lamma, Paola Mello, Antonio Brogi, 1995, LPNMR.

Policy-based Reasoning for Smart Web Service Interaction

Evelina Lamma, Paola Mello, Federico Chesani, 2006, SWAP.

Paola Mello, Federico Chesani, Marco Montali, 2012 .

Monitoring business constraints with the event calculus

Paola Mello, Federico Chesani, Marco Montali, 2013, ACM Trans. Intell. Syst. Technol..

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2009, Trans. Petri Nets Other Model. Concurr..

Logic Based Semantics for an Agent Communication Language

Evelina Lamma, Paola Mello, Paolo Torroni, 2007 .

Modelling SBR cycle management and optimization using Events and Workflows

Paola Mello, Davide Sottara, Luca Luccarini, 2012 .

An Interactive Constraint-Based System for Selective Attention in Visual Search

Evelina Lamma, Paola Mello, Rita Cucchiara, 1997, ISMIS.

An application of machine learning and statistics to defect detection

Paola Mello, Fabrizio Riguzzi, Rita Cucchiara, 2001, Intell. Data Anal..

Logic Programming in a Software Engineering Perspective

Paola Mello, Antonio Natali, Cristina Ruggieri, 1989, NACLP.

The SCIFF Abductive Proof-Procedure

Evelina Lamma, Paola Mello, Paolo Torroni, 2005, AI*IA.

An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios

Paola Mello, Sergio Storari, Anna Ciampolini, 2008, Pervasive 2008.

The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies

Evelina Lamma, Paola Mello, Federico Chesani, 2004, Global Computing.

Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends

Paola Mello, Sergio Storari, Bernardo Valli, 2010, Intelligenza Artificiale.

Specification and Verification of Agent Interaction using Social Integrity Constraints

Evelina Lamma, Paola Mello, Paolo Torroni, 2004, LCMAS.

Executing Structured Logic Programs on a Dedicated VLSI Coprocessor

Gianluca Piccinini, Evelina Lamma, Paola Mello, 1991 .

Building and optimizing an expert system for ATP design

Evelina Lamma, Paola Mello, R. Cremonini, 1989, Proceedings. Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering.

Extending Prolog with modularity, concurrency and meta-rules

Paola Mello, Antonio Natali, P. Mello, 1992, New Generation Computing.

Implementing contexts in logic programming

Evelina Lamma, Paola Mello, Andrea Omicini, 1992 .

A wawelet based heuristic to dimension Neural Networks for simple signal approximation

Paola Mello, Davide Sottara, Luca Luccarini, 2009, WIRN.

An Abductive Multi-Agent System for Medical Services Coordination

Paola Mello, Sergio Storari, Anna Ciampolini, 2008, IFIP AI.

Complex reactive event processing for assisted living: The Habitat project case study

Paola Mello, Federico Chesani, Francesco Antoniazzi, 2019, Expert Syst. Appl..

Partial Deduction for Structured Logic Programming

Evelina Lamma, Paola Mello, Michele Bugliesi, 1993, J. Log. Program..

Towards the Generation of the "Perfect" Log Using Abductive Logic Programming

Paola Mello, Federico Chesani, Marco Montali, 2019, CILC.

Expressing and Verifying Business Contracts with Abductive Logic Programming

Evelina Lamma, Paola Mello, Federico Chesani, 2008, Normative Multi-agent Systems.

A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information

Paola Mello, Davide Sottara, Mark Proctor, 2010, IEEE Transactions on Knowledge and Data Engineering.

A distributed implementation for parallel logic programming

Evelina Lamma, Paola Mello, Antonio Brogi, 1991, [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications.

Learning DecSerFlow Models from Labelled Traces

Paola Mello, Marco Montali, Evelina Lamma, 2007, ICML 2007.

Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach?

Paola Mello, Marco Montali, Paolo Torroni, 2007 .

Image analysis and rule-based reasoning for a traffic monitoring system

Paola Mello, Rita Cucchiara, Massimo Piccardi, 1999, Proceedings 199 IEEE/IEEJ/JSAI International Conference on Intelligent Transportation Systems (Cat. No.99TH8383).

Reactive Event Calculus for Monitoring Global Computing Applications

Paola Mello, Federico Chesani, Marco Montali, 2012, Logic Programs, Norms and Action.

B-tropos : agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification

Paola Mello, Marco Montali, Paolo Torroni, 2008 .

Monitoring Time-Aware Social Commitments with Reactive Event Calculus

Paola Mello, Federico Chesani, Marco Montali, 2009 .

ADES: An expert system for ATP design

Evelina Lamma, Paola Mello, Roberto Cremonini, 1989, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

Commitment Tracking via the Reactive Event Calculus

Paola Mello, Federico Chesani, Marco Montali, 2009, IJCAI.

A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants

Paola Mello, Davide Sottara, Luca Luccarini, 2009, HAIS.