Paola Mello
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
62
Venues
30
Active years
1986–2023
Best venue rank
A*
Where they publish
- AECAI6 papers
- BICLP6 papers
- ABPM5 papers
- CISMIS5 papers
- A*IJCAI4 papers
- NationalHAIS4 papers
- MulticonferenceSAC3 papers
- BAIME3 papers
- BLPNMR2 papers
- CCLOSER2 papers
- BCBMS2 papers
- NationalICIAP2 papers
- BEDOC1 paper
- BCPAIOR1 paper
- NationalCISIS1 paper
- AICWS1 paper
- BILP1 paper
- BKES1 paper
- CPPDP1 paper
- CWETICE1 paper
- BJELIA1 paper
- BEuroPar1 paper
- BIDA1 paper
- ACP1 paper
- CTIME1 paper
- CPDP1 paper
- CLOPSTR1 paper
- BLPAR1 paper
- AECOOP1 paper
- AESOP1 paper
Papers
62 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | IJCAI | 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 |
| 2022 | ECAI | Do You Like Dancing Robots? AI Can Tell You Why. | Allegra De Filippo, Paola Mello, Michela Milano |
| 2022 | EDOC | 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 |
| 2022 | LPNMR | 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 |
| 2018 | CPAIOR | Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study. | Andrea Galassi, Michele Lombardi, Paola Mello, Michela Milano |
| 2017 | BPM | Abduction for Generating Synthetic Traces. | Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello |
| 2017 | ISMIS | Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation. | Federico Chesani, Paola Mello, Marco Montali |
| 2016 | CLOSER | Process Mining Monitoring for Map Reduce Applications in the Cloud. | Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello |
| 2016 | CLOSER | Map Reduce Autoscaling over the Cloud with Process Mining Monitoring. | Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello |
| 2016 | ECAI | 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 |
| 2014 | CISIS | A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation. | Stefano Bragaglia, Stefano Di Monte, Paola Mello |
| 2013 | SAC | Towards data-aware constraints in declare. | Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi |
| 2011 | BPM | Process Mining Manifesto. | 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. Gnther, 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 Prez, Ricardo Seguel Prez, Marcos Seplveda, 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 |
| 2011 | BPM | Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. | Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani |
| 2011 | HAIS | An Evidential Fusion Architecture for People Surveillance in Wide Open Areas. | Michele Fornaciari, Davide Sottara, Andrea Prati, Paola Mello, Rita Cucchiara |
| 2010 | HAIS | An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. | Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara |
| 2009 | AIME | 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 |
| 2009 | AIME | Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. | Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani |
| 2009 | HAIS | A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants. | Davide Sottara, Gabriele Colombini, Luca Luccarini, Paola Mello |
| 2009 | IJCAI | Commitment Tracking via the Reactive Event Calculus. | Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni |
| 2009 | ICWS | Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. | Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni |
| 2008 | BPM | Checking Compliance of Execution Traces to Business Rules. | Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari |
| 2008 | HAIS | Modelling Radial Basis Functions with Rational Logic Rules. | Davide Sottara, Paola Mello |
| 2008 | ICLP | Verification from Declarative Specifications Using Logic Programming. | Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2007 | AIME | Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. | Federico Chesani, Paola Mello, Marco Montali, Sergio Storari |
| 2007 | BPM | Inducing Declarative Logic-Based Models from Labeled Traces. | Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari |
| 2007 | ILP | Applying Inductive Logic Programming to Process Mining. | Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari |
| 2007 | KES | AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR. | Davide Sottara, Luca Luccarini, Paola Mello |
| 2006 | ISMIS | A Verifiable Logic-Based Agent Architecture. | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2006 | ISMIS | 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 |
| 2006 | PPDP | An abductive framework for a-priori verification of web services. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali |
| 2005 | CBMS | Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. | Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari |
| 2005 | IJCAI | Abduction with Hypotheses Confirmation. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
| 2004 | SAC | Specification and verification of agent interaction protocols in a logic-based system. | Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2004 | WETICE | A Logic based Approach to Interaction Design in Open Multi-Agent Systems. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni |
| 2002 | CBMS | An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. | Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti |
| 2002 | JELIA | A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. | Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni |
| 1999 | ICIAP | 3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. | Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi |
| 1999 | ICLP | Domains as First Class Objects in CLP(FD). | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
| 1999 | IJCAI | Constraint Propagation and Value Acquisition: Why we should do it Interactively. | Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi |
| 1999 | SAC | Abductive Coordination for Logic Agents. | Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli |
| 1997 | EuroPar | Improving Distributed Unification through Type Analysis. | Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck |
| 1997 | ICIAP | Learning for Feature Selection and Shape Detection. | Rita Cucchiara, Massimo Piccardi, Michele Bariani, Paola Mello |
| 1997 | ICLP | Reasoning on Constraints in Constraint Logic Programming. | Evelina Lamma, Michela Milano, Paola Mello |
| 1997 | IDA | Exploiting Symbolic Learning in Visual Inspection. | Massimo Piccardi, Rita Cucchiara, Michele Bariani, Paola Mello |
| 1997 | ISMIS | An Interactive Constraint-Based System for Selective Attention in Visual Search. | Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano |
| 1996 | CP | A Meta Constraint Logic Programming Architecture (Extended Abstract). | Evelina Lamma, Paola Mello, Michela Milano |
| 1996 | ISMIS | Resource-Based vs. Task-Based Approaches for Scheduling Problems. | Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani |
| 1996 | TIME | Temporal Reasoning in a Meta Constraint Logic Programming Architecture. | Evelina Lamma, Paola Mello, Michela Milano |
| 1995 | LPNMR | An Abductive Framework for Extended Logic Programming. | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello |
| 1994 | ICLP | Modularity in Logic Programming. | Evelina Lamma, Paola Mello |
| 1994 | PDP | Multi-level Copying For Unification In Parallel Architectures. | Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli |
| 1992 | ECAI | ATMS for Implementing Logic Programming. | Antonio Brogi, Evelina Lamma, Paola Mello |
| 1992 | ECAI | An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications. | Evelina Lamma, Paola Mello |
| 1992 | ICLP | Normal Logic Programs as Open Positive Programs. | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello |
| 1992 | LOPSTR | A Rationalisation of the ATMS in Terms of Partial Evaluation. | Evelina Lamma, Paola Mello |
| 1991 | LPAR | Objects in a Logic Programming Framework. | Antonio Brogi, Evelina Lamma, Paola Mello |
| 1990 | ECAI | Inheritance and Hypothetical Reasoning in Logic Programming. | Antonio Brogi, Evelina Lamma, Paola Mello |
| 1989 | ICLP | The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. | Evelina Lamma, Paola Mello, Antonio Natali |
| 1988 | ECAI | An Extended Prolog Machine for Dynamic Context Handling. | Marco Cavalieri, Evelina Lamma, Paola Mello |
| 1987 | ECOOP | Objects as Communicating Prolog Units. | Paola Mello, Antonio Natali |
| 1986 | ESOP | Programs as Collections of Communicating Prolog Units. | Paola Mello, Antonio Natali |