Paola Mello - RankMe

228 papers A* 4A 11B 18C 12Misc 7Journal 73Unranked 95

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Probabilistic Compliance in Declarative Process Mining. PMAI@ECAI Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini
2024	—	`conf`	Probabilistic Traces in Declarative Process Mining. AI*IA Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini, Marco Gavanelli, Riccardo Zese
2023	J	`jnl`	A Prolog application for reasoning on maths puzzles with diagrams. J. Exp. Theor. Artif. Intell. Riccardo Buscaroli, Federico Chesani, Giulia Giuliani, Daniela Loreti, Paola Mello
2023	J	`jnl`	Process Discovery on Deviant Traces and Other Stranger Things. IEEE Trans. Knowl. Data Eng. Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
2023	A*	`conf`	Towards Symbiotic Creativity: A Methodological Approach to Compare Human and AI Robotic Dance Creations. IJCAI Allegra De Filippo, Luca Giuliani, Eleonora Mancini, Andrea Borghesi, Paola Mello, Michela Milano
2022	—	`conf`	A Multi-modal Perspective for the Artistic Evaluation of Robotic Dance Performances. CREAI@AI*IA Luca Giuliani, Allegra De Filippo, Andrea Borghesi, Paola Mello, Michela Milano
2022	—	`conf`	Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. CILC Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris
2022	—	`conf`	Do You Like Dancing Robots? AI Can Tell You Why. PAIS@ECAI Allegra De Filippo, Paola Mello, Michela Milano
2022	B	`conf`	Optimising Business Process Discovery Using Answer Set Programming. LPNMR Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
2022	B	`conf`	Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. EDOC Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
2021	J	`jnl`	Process discovery on deviant traces and other stranger things. CoRR Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
2020	J	`jnl`	Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling. Eng. Appl. Artif. Intell. Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
2020	J	`jnl`	Generating synthetic positive and negative business process traces through abduction. Knowl. Inf. Syst. Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello
2019	J	`jnl`	Complex reactive event processing for assisted living: The Habitat project case study. Expert Syst. Appl. Daniela Loreti, Federico Chesani, Paola Mello, Luca Roffia, Francesco Antoniazzi, Tullio Salmon Cinotti, Giacomo Paolini, Diego Masotti, Alessandra Costanzo
2019	J	`jnl`	HABITAT: An IoT Solution for Independent Elderly. Sensors 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, Melissa Licciardello, Daniela Loreti, Michele Marchi, Diego Masotti, Paola Mello, Sabato Mellone, Giuseppe Mincolelli, Carla Raffaelli, Luca Roffia, Tullio Salmon Cinotti, Carlo Tacconi, Paola Tamburini, Marco Zoli, Alessandra Costanzo
2019	—	`conf`	Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. CILC Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris
2018	—	`conf`	A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. CILC Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
2018	J	`jnl`	A distributed approach to compliance monitoring of business process event streams. Future Gener. Comput. Syst. Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello
2018	J	`jnl`	Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris. IEEE Trans. Games Federico Chesani, Andrea Galassi, Marco Lippi, Paola Mello
2018	J	`jnl`	Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. Fundam. Informaticae Federico Chesani, Paola Mello, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris
2018	J	`jnl`	Evaluating Compliance: From LTL to Abductive Logic Programming. Fundam. Informaticae Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali
2018	B	`conf`	Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study. CPAIOR Andrea Galassi, Michele Lombardi, Paola Mello, Michela Milano
2017	—	`conf`	A Game-Based Competition as Instrument for Teaching Artificial Intelligence. AI*IA Federico Chesani, Andrea Galassi, Paola Mello, Giada Trisolini
2017	—	`conf`	Abduction for Generating Synthetic Traces. Business Process Management Workshops Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello
2017	C	`conf`	Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation. ISMIS Federico Chesani, Paola Mello, Marco Montali
2017	—	`conf`	Distributed Compliance Monitoring of Business Processes over MapReduce Architectures. ICPE Companion Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello
2017	—	`ed.`	Proceedings of the AIIA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), Genova, Italy, November 28th, 2016. URANIA@AIIA Federico Chesani, Paola Mello, Michela Milano
2017	J	`jnl`	Solving Mathematical Puzzles: A Challenging Competition for AI. AI Mag. Federico Chesani, Paola Mello, Michela Milano
2016	—	`conf`	Abducing Compliance of Incomplete Event Logs. AI*IA Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
2016	J	`jnl`	Abducing Compliance of Incomplete Event Logs. CoRR Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
2016	A	`conf`	Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. ECAI Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
2016	—	`conf`	Map Reduce Autoscaling over the Cloud with Process Mining Monitoring. CLOSER (Selected Papers) Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello
2016	—	`conf`	Process Mining Monitoring for Map Reduce Applications in the Cloud. CLOSER (1) Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello
2016	—	`conf`	Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper). URANIA@AI*IA Federico Chesani, Paola Mello, Michela Milano
2015	—	`ch.`	Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes. Foundations of Biomedical Knowledge Representation Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali
2015	—	`conf`	Evaluating compliance: from LTL to abductive logic programming. CILC Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2014	Misc	`conf`	A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation. CISIS Stefano Bragaglia, Stefano Di Monte, Paola Mello
2013	J	`jnl`	Guest-editorial: 25 years of AI*IA. Intelligenza Artificiale Matteo Baldoni, Paola Mello, Fabrizio Riguzzi
2013	J	`jnl`	Monitoring business constraints with the event calculus. ACM Trans. Intell. Syst. Technol. Marco Montali, Fabrizio Maria Maggi, Federico Chesani, Paola Mello, Wil M. P. van der Aalst
2013	—	`ed.`	Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AIIA 2013), Turin, Italy, December 5, 2013. PAI@AIIA Matteo Baldoni, Federico Chesani, Paola Mello, Marco Montali
2013	J	`jnl`	Representing and monitoring social commitments using the event calculus. Auton. Agents Multi Agent Syst. Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2013	Misc	`conf`	Towards data-aware constraints in declare. SAC Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi
2012	—	`conf`	A Rule-Based Calculus and Processing of Complex Events. RuleML Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara
2012	—	`ed.`	Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth, Rome, Italy, June 15, 2012 PAI Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, Marco Montali
2012	—	`conf`	Reactive Event Calculus for Monitoring Global Computing Applications. Logic Programs, Norms and Action Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2012	—	`conf`	Towards an Interactive Personal Care System driven by Sensor Data. PAI Stefano Bragaglia, Paola Mello, Davide Sottara
2011	J	`jnl`	A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Serv. Res. Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2011	—	`conf`	A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. DALT Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
2011	—	`conf`	An Evidential Fusion Architecture for People Surveillance in Wide Open Areas. HAIS (1) Michele Fornaciari, Davide Sottara, Andrea Prati, Paola Mello, Rita Cucchiara
2011	—	`conf`	Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. Business Process Management Workshops (2) Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani
2011	J	`jnl`	Engineering and verifying agent-oriented requirements augmented by business constraints with Auton. Agents Multi Agent Syst. Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl
2011	—	`conf`	Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems. RuleML America Stefano Bragaglia, Federico Chesani, Emory Fry, Paola Mello, Marco Montali, Davide Sottara
2011	—	`conf`	Fuzzy Conformance Checking of Observed Behaviour with Expectations. AI*IA Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Davide Sottara
2011	J	`jnl`	Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Intelligenza Artificiale Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2011	J	`jnl`	Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. Cybern. Syst. Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2011	—	`conf`	Process Mining Manifesto. Business Process Management Workshops (1) Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan E. Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn
2010	J	`jnl`	A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information. IEEE Trans. Knowl. Data Eng. Davide Sottara, Paola Mello, Mark Proctor
2010	J	`jnl`	A Logic-Based, Reactive Calculus of Events. Fundam. Informaticae Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2010	—	`conf`	A Rule-Based Implementation of Fuzzy Tableau Reasoning. RuleML Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara
2010	—	`conf`	A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules. RR Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara
2010	J	`jnl`	Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Informaticae Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma
2010	—	`conf`	An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. HAIS (1) Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara
2010	J	`jnl`	Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends. Intelligenza Artificiale Paola Mello, Sergio Storari, Bernardo Valli
2010	—	`conf`	Declarative Technologies for Open Agent Systems and Beyond. KES-AMSTA (1) Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2010	J	`jnl`	Declarative specification and verification of service choreographiess. ACM Trans. Web Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
2010	J	`jnl`	Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant. Environ. Model. Softw. Luca Luccarini, Gianni Luigi Bragadin, Gabriele Colombini, Maurizio Mancini, Paola Mello, Marco Montali, Davide Sottara
2010	J	`jnl`	On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Multiagent Grid Syst. Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2010	—	`conf`	Role Monitoring in Open Agent Societies. KES-AMSTA (1) Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2009	B	`conf`	A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. AIME Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio
2009	Misc	`conf`	A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants. HAIS Davide Sottara, Gabriele Colombini, Luca Luccarini, Paola Mello
2009	—	`conf`	A wawelet based heuristic to dimension Neural Networks for simple signal approximation. WIRN Gabriele Colombini, Davide Sottara, Luca Luccarini, Paola Mello
2009	—	`conf`	Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. KR4HC Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani
2009	A*	`conf`	Commitment Tracking via the Reactive Event Calculus. IJCAI Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2009	J	`jnl`	Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. Trans. Petri Nets Other Model. Concurr. Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
2009	A	`conf`	Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni
2009	—	`ch.`	Modelling Interactions via Commitments and Expectations. Handbook of Research on Multi-Agent Systems Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2009	—	`conf`	Social Commitments in Time: Satisfied or Compensated. DALT Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
2009	—	`conf`	Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems. RuleML Davide Sottara, Paola Mello, Mark Proctor
2009	—	`conf`	Verifying A-Priori the Composition of Declarative Specified Services. MALLOW Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2008	C	`conf`	A Knowledge-Based System for Fashion Trend Forecasting. IEA/AIE Paola Mello, Sergio Storari, Bernardo Valli
2008	—	`conf`	Adding Uncertainty to a Rete-OO Inference Engine. RuleML Davide Sottara, Paola Mello, Mark Proctor
2008	—	`conf`	An Abductive Multi-Agent System for Medical Services Coordination. IFIP AI Anna Ciampolini, Paola Mello, Sergio Storari
2008	—	`conf`	An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios. PervasiveHealth Sergio Storari, Anna Ciampolini, Paola Mello
2008	—	`conf`	Checking Compliance of Execution Traces to Business Rules. Business Process Management Workshops Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari
2008	—	`ch.`	Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. Computer-based Medical Guidelines and Protocols Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, Marilena Manfredi
2008	—	`conf`	E-learning by Doing with Computational Logic. Knowledge Construction in E-learning Context Federico Chesani, Anna Ciampolini, Paola Mello
2008	J	`jnl`	Expressing and Verifying Business Contracts with Abductive Logic Programming. Int. J. Electron. Commer. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2008	—	`conf`	Modeling and Verification of Business Processes and Choreographies in ALP. Il Milione Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2008	Misc	`conf`	Modelling Radial Basis Functions with Rational Logic Rules. HAIS Davide Sottara, Paola Mello
2008	—	`conf`	Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2008	J	`jnl`	Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2008	B	`conf`	Verification from Declarative Specifications Using Logic Programming. ICLP Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2008	—	`conf`	Verification of Choreographies During Execution Using the Reactive Event Calculus. WS-FM Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2007	—	`conf`	-Tropos. CLIMA Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
2007	—	`conf`	A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007	—	`conf`	AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR. KES (1) Davide Sottara, Luca Luccarini, Paola Mello
2007	B	`conf`	Applying Inductive Logic Programming to Process Mining. ILP Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari
2007	—	`conf`	Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007	A	`conf`	Inducing Declarative Logic-Based Models from Labeled Traces. BPM Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
2007	J	`jnl`	Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Comput. Pract. Exp. Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2007	B	`conf`	Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. AIME Federico Chesani, Paola Mello, Marco Montali, Sergio Storari
2007	B	`conf`	Web Service Contracting: Specification and Reasoning with SCIFF. ESWC Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2006	C	`conf`	A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. ISMIS Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari
2006	C	`conf`	A Verifiable Logic-Based Agent Architecture. ISMIS Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2006	C	`conf`	An abductive framework for a-priori verification of web services. PPDP Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
2006	J	`jnl`	Artificial Intelligence Techniques for Monitoring Dangerous Infections. IEEE Trans. Inf. Technol. Biomed. Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, Gianfranco Valastro
2006	J	`jnl`	Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
2006	—	`conf`	Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the WS-FM Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2006	J	`jnl`	Mapping deontic operators to abductive expectations. Comput. Math. Organ. Theory Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
2006	—	`conf`	Policy-based Reasoning for Smart Web Service Interaction. SWAP Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2005	J	`jnl`	A CHR-based implementation of known arc-consistency. Theory Pract. Log. Program. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2005	A*	`conf`	Abduction with Hypotheses Confirmation. IJCAI Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005	C	`conf`	An Expert System for the Oral Anticoagulation Treatment. IEA/AIE Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari
2005	J	`jnl`	Dealing with incomplete knowledge on CLP( ACM Trans. Program. Lang. Syst. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2005	—	`conf`	Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
2005	J	`jnl`	Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	Mapping of Deontic Operators to Abductive Expectations. NORMAS Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
2005	—	`conf`	Protocol Specification and Verification by Using Computational Logic. WOA Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari
2005	—	`conf`	Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	The AI*IA Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005	B	`conf`	Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. CBMS Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari
2004	J	`jnl`	A CHR-based Implementation of Known Arc-Consistency CoRR Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2004	C	`conf`	A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
2004	J	`jnl`	A System for Measuring Function Points from an ER-DFD Specification. Comput. J. Evelina Lamma, Paola Mello, Fabrizio Riguzzi
2004	J	`jnl`	A knowledge based system for the anticoagulant oral therapy. Intelligenza Artificiale Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari
2004	—	`conf`	An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2004	—	`conf`	Learning the Dose Adjustment for the Oral Anticoagulation Treatment. ISBMDA Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari, Giuseppe Trocino
2004	Misc	`conf`	Specification and verification of agent interaction protocols in a logic-based system. SAC Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
2004	—	`conf`	The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	—	`conf`	A Social ACL Semantics by Deontic Constraints. CEEMAS Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	—	`conf`	An Abductive Interpretation for Open Agent Societies. AI*IA Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	J	`jnl`	Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. Ann. Math. Artif. Intell. Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni
2003	J	`jnl`	Discovering Validation Rules from Microbiological Data. New Gener. Comput. Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti
2003	—	`conf`	Interpreting Abduction in CLP. APPIA-GULP-PRODE Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
2003	—	`conf`	Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	—	`conf`	Specification and Verification of Agent Interaction using Social Integrity Constraints. LCMAS Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	J	`jnl`	Validation of biochemical laboratory results using the DNSev expert system. Expert Syst. Appl. Sergio Storari, Evelina Lamma, R. Mancini, Paola Mello, R. Motta, D. Patrono, G. Canova
2002	B	`conf`	A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. JELIA Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2002	B	`conf`	An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. CBMS Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti
2002	A	`conf`	Coordinating the safe execution of tasks in a constrained multi-agent system. AAMAS Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma
2002	—	`conf`	Exploiting Constraints for Domain Managing in CLP(FD). FroCoS Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2001	—	`conf`	An Expert System for Microbiological Data Validation and Surveillance. ISMDA Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari
2001	J	`jnl`	An application of machine learning and statistics to defect detection. Intell. Data Anal. Rita Cucchiara, Paola Mello, Massimo Piccardi, Fabrizio Riguzzi
2001	J	`jnl`	From Eager to Lazy Constrained Data Acquisition: A General Framework. New Gener. Comput. Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara
2001	J	`jnl`	LAILA: a language for coordinating abductive reasoning among logic agents. Comput. Lang. Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2001	—	`conf`	Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. RULE@PLI Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari
2000	—	`conf`	A System for Monitoring Nosocomial Infections. ISMDA Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi
2000	—	`ed.`	AIIA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings AIIA Evelina Lamma, Paola Mello
2000	—	`conf`	Expressing Collaboration And Competition Among Abductive Logic Agents. WOA Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2000	—	`conf`	Expressing Collaborative and Competitive Coordination among Abductive. CL-2000 Workshop on Computational Logic in Multi-Agent Systems Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2000	J	`jnl`	Image analysis and rule-based reasoning for a traffic monitoring system. IEEE Trans. Intell. Transp. Syst. Rita Cucchiara, Massimo Piccardi, Paola Mello
1999	Misc	`conf`	3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. ICIAP Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi
1999	Misc	`conf`	Abductive Coordination for Logic Agents. SAC Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
1999	—	`conf`	An Implementation for Abductive Logic Agents. AI*IA Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni
1999	A*	`conf`	Constraint Propagation and Value Acquisition: Why we should do it Interactively. IJCAI Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi
1999	—	`conf`	Domains as First Class Objects in CLP(FD). APPIA-GULP-PRODE Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello
1999	B	`conf`	Domains as First Class Objects in CLP(FD). ICLP Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
1999	J	`jnl`	Exploiting Type Analysis for Unification in a Distributed Environment. Comput. Artif. Intell. Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
1999	J	`jnl`	Integrating Induction and Abduction in Logic Programming. Inf. Sci. Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1999	—	`conf`	Least Commitment on Variable Binding in Presence of Incomplete Knowledge. ECP Rosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano
1999	J	`jnl`	Reasoning on Constraints in CLP(FD). J. Log. Program. Evelina Lamma, Michela Milano, Paola Mello
1998	J	`jnl`	Extending Constraint Logic Programming for Temporal Reasoning. Ann. Math. Artif. Intell. Evelina Lamma, Michela Milano, Paola Mello
1998	J	`jnl`	Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem. Softw. Pract. Exp. Alberto Caprara, Filippo Focacci, Evelina Lamma, Paola Mello, Michela Milano, Paolo Toth, Daniele Vigo
1998	—	`conf`	Interactive Constraint Satisfaction and its Application to Visual Object Recognition. APPIA-GULP-PRODE Evelina Lamma, Michela Milano, Rita Cucchiara, Paola Mello, Massimo Piccardi
1998	J	`jnl`	Optimizing Modular Logic Languages. ACM Comput. Surv. Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
1997	—	`conf`	A System for Abductive Learning of Logic Programs. LPKR Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1997	J	`jnl`	A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theor. Comput. Sci. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
1997	J	`jnl`	A distributed constraint-based scheduler. Artif. Intell. Eng. Evelina Lamma, Paola Mello, Michela Milano
1997	—	`conf`	An Algorithm for Learning Abductive Rules. APPIA-GULP-PRODE Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1997	C	`conf`	An Interactive Constraint-Based System for Selective Attention in Visual Search. ISMIS Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano
1997	J	`jnl`	Blackboard- and Object-Based Systems via Multi-Head Clauses. Comput. Artif. Intell. Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello
1997	B	`conf`	Constraint Logic Programming for the Crew Rostering Problem. PACT Filippo Focacci, Evelina Lamma, Paola Mello, Michela Milano
1997	B	`conf`	Exploiting Symbolic Learning in Visual Inspection. IDA Massimo Piccardi, Rita Cucchiara, Michele Bariani, Paola Mello
1997	—	`conf`	Improving Distributed Unification through Type Analysis. Euro-Par Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
1997	—	`conf`	Introducing Abduction into (Extensional) Inductive Logic Programming Systems. AI*IA Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1997	—	`conf`	Learning for Feature Selection and Shape Detection. ICIAP (1) Rita Cucchiara, Massimo Piccardi, Michele Bariani, Paola Mello
1997	B	`conf`	Reasoning on Constraints in Constraint Logic Programming. ICLP Evelina Lamma, Michela Milano, Paola Mello
1996	A	`conf`	A Meta Constraint Logic Programming Architecture (Extended Abstract). CP Evelina Lamma, Paola Mello, Michela Milano
1996	J	`jnl`	An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages. Inf. Process. Lett. Anna Ciampolini, Evelina Lamma, Paola Mello
1996	J	`jnl`	An Optimized Implementation of a Dynamic Modular Logic Language. Softw. Concepts Tools Anna Ciampolini, Evelina Lamma, Paola Mello
1996	J	`jnl`	An assumption-based truth maintenance system dealing with non-ground justifications. J. Exp. Theor. Artif. Intell. Evelina Lamma, Paola Mello
1996	—	`conf`	Combining Solvers in a Meta Constraint Logic Programming Architecture. FroCoS Evelina Lamma, Michela Milano, Paola Mello
1996	—	`conf`	Comsumption-based Distributed Unification. APPIA-GULP-PRODE Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
1996	J	`jnl`	Distributed Logic Objects. Comput. Lang. Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello
1996	—	`conf`	Distributed logic objects: A fragment of rewriting logic and its implementation. WRLA Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
1996	—	`conf`	Enhancing Constraint Logic Programming through Meta Programming. APPIA-GULP-PRODE Evelina Lamma, Paola Mello, Michela Milano
1996	C	`conf`	Resource-Based vs. Task-Based Approaches for Scheduling Problems. ISMIS Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani
1996	C	`conf`	Temporal Reasoning in a Meta Constraint Logic Programming Architecture. TIME Evelina Lamma, Paola Mello, Michela Milano
1995	B	`conf`	An Abductive Framework for Extended Logic Programming. LPNMR Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
1995	—	`conf`	Improving the Efficiency of Dynamic Modular Logic Languages. GULP-PRODE Anna Ciampolini, Evelina Lamma, Paola Mello
1994	B	`conf`	Modularity in Logic Programming. ICLP Evelina Lamma, Paola Mello
1994	J	`jnl`	Modularity in Logic Programming. J. Log. Program. Michele Bugliesi, Evelina Lamma, Paola Mello
1994	C	`conf`	Multi-level Copying For Unification In Parallel Architectures. PDP Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
1993	J	`jnl`	Composing Open Logic Programs. J. Log. Comput. Antonio Brogi, Evelina Lamma, Paola Mello
1993	—	`conf`	Computing 3-valued Stable Models by using the ATMS. AI*IA Evelina Lamma, Paola Mello
1993	—	`ed.`	Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings ELP Evelina Lamma, Paola Mello
1993	J	`jnl`	Parametric Composable Modules in a Logic Programming Language. Comput. Lang. Evelina Lamma, Paola Mello, Gianfranco Rossi
1993	J	`jnl`	Partial Deduction for Structured Logic Programming. J. Log. Program. Michele Bugliesi, Evelina Lamma, Paola Mello
1993	—	`conf`	Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. ELP Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
1992	C	`conf`	A Rationalisation of the ATMS in Terms of Partial Evaluation. LOPSTR Evelina Lamma, Paola Mello
1992	A	`conf`	ATMS for Implementing Logic Programming. ECAI Antonio Brogi, Evelina Lamma, Paola Mello
1992	A	`conf`	An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications. ECAI Evelina Lamma, Paola Mello
1992	J	`jnl`	An Extended Warren Abstract Machine for the Execution of Structured Logic Programs. J. Log. Program. Evelina Lamma, Paola Mello, Antonio Natali
1992	J	`jnl`	Compositional Model-Theoretic Semantics for Logic Programs. New Gener. Comput. Antonio Brogi, Evelina Lamma, Paola Mello
1992	J	`jnl`	Extending Prolog with Moduarity, Concurrency and Meta-Rules. New Gener. Comput. Paola Mello, Antonio Natali
1992	J	`jnl`	Knowledge-Based Technology for Controlling Railway Stations. IEEE Expert Bruno Fringuelli, Evelina Lamma, Paola Mello, Giovanni Santocchia
1992	—	`conf`	Normal Logic Programs as Open Positive Programs. JICSLP Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
1992	—	`conf`	Normal logic programs as open positive programs. CNKBS Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
1992	—	`conf`	Techniques for Implementing Contexts in Logic Programming. ELP Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
1992	J	`jnl`	The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. Inf. Process. Lett. Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paola Mello
1991	—	`conf`	Abductive Reasoning in a Multi-Theory Framework. AI*IA Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
1991	—	`conf`	Objects in a Logic Programming Framework. RCLP Antonio Brogi, Evelina Lamma, Paola Mello
1991	—	`conf`	Open Logic Theories. ELP Antonio Brogi, Evelina Lamma, Paola Mello
1991	—	`conf`	Processing Abductive Reasoning via Contextual Logic Programming. PDK Evelina Lamma, Paola Mello
1991	J	`jnl`	Reflection Mechanisms for Combining Prolog Databases. Softw. Pract. Exp. Evelina Lamma, Paola Mello, Antonio Natali
1990	J	`jnl`	Hypothetical Reasoning in Logic Programming: A Semantic Approach. Inf. Process. Lett. Antonio Brogi, Evelina Lamma, Paola Mello
1990	A	`conf`	Inheritance and Hypothetical Reasoning in Logic Programming. ECAI Antonio Brogi, Evelina Lamma, Paola Mello
1990	—	`conf`	Partial Evaluation for Hierarchies of Logic Theories. NACLP Michele Bugliesi, Evelina Lamma, Paola Mello
1989	J	`jnl`	ADES: An expert system for ATP design. Artif. Intell. Eng. Des. Anal. Manuf. Roberto Cremonini, Evelina Lamma, Paola Mello
1989	—	`conf`	Logic Programming in a Software Engineering Perspective. NACLP Paola Mello, Antonio Natali, Cristina Ruggieri
1989	B	`conf`	The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. ICLP Evelina Lamma, Paola Mello, Antonio Natali
1988	A	`conf`	An Extended Prolog Machine for Dynamic Context Handling. ECAI Marco Cavalieri, Evelina Lamma, Paola Mello
1988	—	`conf`	Concurrent objects in a logic programming framework. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Paola Mello
1988	—	`conf`	Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques. META Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali
1987	A	`conf`	Objects as Communicating Prolog Units. ECOOP Paola Mello, Antonio Natali
1987	J	`jnl`	Optimization techniques in building expert systems. Microprocess. Microprogramming Roberto Cremonini, Evelina Lamma, Paola Mello
1986	A	`conf`	Programs as Collections of Communicating Prolog Units. ESOP Paola Mello, Antonio Natali