Paolo Felli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
12
Active years
2010–2024
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | BPM | Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications. | Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali |
| 2024 | CaiSE | On the Flexibility of Declarative Process Specifications. | Carl Corea, Paolo Felli, Marco Montali, Fabio Patrizi |
| 2023 | AAAI | Monitoring Arithmetic Temporal Properties on Finite Traces. | Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler |
| 2023 | ECAI | A Semantic Approach to Decidability in Epistemic Planning. | Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard |
| 2023 | ICPM | Repairing Soundness Properties in Data-Aware Processes. | Paolo Felli, Marco Montali, Sarah Winkler |
| 2023 | JELIA | delphic: Practical DEL Planning via Possibilities. | Alessandro Burigana, Paolo Felli, Marco Montali |
| 2022 | AAAI | Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. | Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | BPM | Conformance Checking with Uncertainty via SMT. | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
| 2022 | CADE | CTL | Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | CaiSE | Soundness of Data-Aware Processes with Arithmetic Conditions. | Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | IJCAI | Reasoning and Verification with Data Petri Nets. | Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | IJCAI | Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). | Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardia |
| 2021 | AAAI | SMT-based Safety Checking of Parameterized Multi-Agent Systems. | Paolo Felli, Alessandro Gianola, Marco Montali |
| 2021 | BPM | CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
| 2021 | IJCAI | HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. | Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli |
| 2020 | KR | Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. | Massimiliano de Leoni, Paolo Felli, Marco Montali |
| 2020 | PRIMA | A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems. | Paolo Felli, Alessandro Gianola, Marco Montali |
| 2019 | AAAI | Unbounded Orchestrations of Transducers for Manufacturing. | Natasha Alechina, Toms Brzdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi |
| 2018 | AAAI | Synthesis of Orchestrations of Transducers for Manufacturing. | Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan |
| 2018 | ER | A Holistic Approach for Soundness Verification of Decision-Aware Process Models. | Massimiliano de Leoni, Paolo Felli, Marco Montali |
| 2017 | IJCAI | Process Plan Controllers for Non-Deterministic Manufacturing Systems. | Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev |
| 2016 | AAAI | 'Knowing Whether' in Proper Epistemic Knowledge Bases. | Tim Miller, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg |
| 2016 | ECAI | Realisability of Production Recipes. | Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev |
| 2016 | IJCAI | Parallel Behavior Composition for Manufacturing. | Paolo Felli, Brian Logan, Sebastian Sardia |
| 2016 | IJCAI | Planning for a Single Agent in a Multi-Agent Environment Using FOND. | Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg |
| 2015 | AAAI | Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. | Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg |
| 2015 | IJCAI | Computing Social Behaviours Using Agent Models. | Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg |
| 2013 | IJCAI | Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. | Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardia |
| 2012 | ECAI | Verification of Description Logic Knowledge and Action Bases. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali |
| 2012 | KR | Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. | Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio |
| 2011 | BPM | Foundations of Relational Artifacts Verification. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli |
| 2011 | EICS | User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health. | Tiziana Catarci, Maddalena D'Addario, Paolo Felli, Laura Franceschetti, Domenico Lembo, Massimo Mecella, Tatiana Pipan, Alessandro Russo, Annarita Vestri, Paolo Villari |
| 2010 | AAAI | Two-Player Game Structures for Generalized Planning and Agent Composition. | Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardia |