Paolo Felli

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 54

Top Topics

Epistemic States

Dynamic Systems

Top Venues

Publications

Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali
Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications. CoRR (2024)
Carl Corea, Paolo Felli, Marco Montali, Fabio Patrizi
On the Flexibility of Declarative Process Specifications. CAiSE (2024)
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
A Semantic Approach to Decidability in Epistemic Planning. ECAI (2023)
Alessandro Burigana, Paolo Felli, Marco Montali
delphic: Practical DEL Planning via Possibilities. JELIA (2023)
Alessandro Burigana, Paolo Felli, Marco Montali
DELPHIC: Practical DEL Planning via Possibilities (Extended Version). CoRR (2023)
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
Monitoring Arithmetic Temporal Properties on Finite Traces. AAAI (2023)
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
A Semantic Approach to Decidability in Epistemic Planning (Extended Version). CoRR (2023)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. Eng. Appl. Artif. Intell. 126 (2023)
Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
A Semantic Approach to Decidability in Epistemic Planning. AAMAS (2023)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Data-aware conformance checking with SMT. Inf. Syst. 117 (2023)
Paolo Felli, Marco Montali, Sarah Winkler
Repairing Soundness Properties in Data-Aware Processes. ICPM (2023)
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artif. Intell. 302 (2022)
Alessandro Burigana, Paolo Felli, Marco Montali
DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework. OVERLAY@AI*IA (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Conformance Checking with Uncertainty via SMT. BPM (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Soundness of Data-Aware Processes with Arithmetic Conditions. CAiSE (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. AAAI (2022)
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). IJCAI (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. CoRR (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Model Checking for Data-Aware Dynamic Systems with Arithmetic. IJCAR (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
A Modular SMT-based Approach for Data-aware Conformance Checking. OVERLAY@AI*IA (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Soundness of Data-Aware Processes with Arithmetic Conditions. CoRR (2022)
Paolo Felli, Marco Montali, Sarah Winkler
CTL* model checking for data-aware dynamic systems with arithmetic. CoRR (2022)
Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Efficient multi-agent epistemic planning: Teaching planners about nested belief. Artif. Intell. 302 (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Reasoning and Verification with Data Petri Nets. PMAI@IJCAI (2022)
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
Monitoring Arithmetic Temporal Properties on Finite Traces. CoRR (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Conformance Checking with Uncertainty via SMT (Extended Version). CoRR (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. BPM (2021)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). CoRR (2021)
Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief. CoRR (2021)
Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI (2021)
Paolo Felli, Alessandro Gianola, Marco Montali
SMT-based Safety Checking of Parameterized Multi-Agent Systems. AAAI (2021)
Massimiliano de Leoni, Paolo Felli, Marco Montali
Integrating BPMN and DMN: Modeling and Analysis. J. Data Semant. 10 (1-2) (2021)
Paolo Felli, Marco Montali, Maurizio Proietti
Preface. Fundam. Informaticae 178 (4) (2021)
Paolo Felli, Massimiliano de Leoni, Marco Montali
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions. Fundam. Informaticae 182 (1) (2021)
Massimiliano de Leoni, Paolo Felli, Marco Montali
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. KR (2020)
Paolo Felli, Alessandro Gianola, Marco Montali
SMT-based Safety Verification of Parameterised Multi-Agent Systems. CoRR (2020)
Paolo Felli, Alessandro Gianola, Marco Montali
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems. PRIMA (2020)
Lavindra de Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan, Svetan M. Ratchev
Synthesising process controllers from formal models of transformable assembly systems. Robotics Comput. Integr. Manuf. 58 (2019)
Paolo Felli, Massimiliano de Leoni, Marco Montali
Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions. ACSD (2019)
Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi
Unbounded Orchestrations of Transducers for Manufacturing. AAAI (2019)
Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI (2018)
Massimiliano de Leoni, Paolo Felli, Marco Montali
A Holistic Approach for Soundness Verification of Decision-Aware Process Models. ER (2018)
Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev
Composite Capabilities for Cloud Manufacturing. AAMAS (2018)
Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
Situation Calculus for Synthesis of Manufacturing Controllers. CoRR (2018)
Massimiliano de Leoni, Paolo Felli, Marco Montali
A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version). CoRR (2018)
Paolo Felli, Nitin Yadav, Sebastian Sardiña
Supervisory Control for Behavior Composition. IEEE Trans. Autom. Control. 62 (2) (2017)
Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev
Synthesising Industry-Standard Manufacturing Process Controllers. AAMAS (2017)
Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev
Process Plan Controllers for Non-Deterministic Manufacturing Systems. IJCAI (2017)
Paolo Felli, Nitin Yadav, Sebastian Sardiña
Supervisory Control for Behavior Composition. CoRR (2016)
Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev
Realisability of Production Recipes. ECAI (2016)
Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Planning for a Single Agent in a Multi-Agent Environment Using FOND. IJCAI (2016)
Liz Sonenberg, Tim Miller, Adrian R. Pearce, Paolo Felli, Christian J. Muise, Frank Dignum
Social planning for social HRI. CoRR (2016)
Paolo Felli, Brian Logan, Sebastian Sardiña
Parallel Behavior Composition for Manufacturing. IJCAI (2016)
Tim Miller, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
'Knowing Whether' in Proper Epistemic Knowledge Bases. AAAI (2016)
Christian J. Muise, Frank Dignum, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Towards Team Formation via Automated Planning. COIN@AAMAS/IJCAI (2015)
Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. AAAI (2015)
Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
Computing Social Behaviours Using Agent Models. IJCAI (2015)
Christian J. Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. AAMAS (2015)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
Description Logic Knowledge and Action Bases. CoRR (2014)
Tim Miller, Adrian R. Pearce, Liz Sonenberg, Frank Dignum, Paolo Felli, Christian J. Muise
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. AAAI Fall Symposia (2014)
Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. ICSR (2014)
Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. IJCAI (2013)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
Description Logic Knowledge and Action Bases. J. Artif. Intell. Res. 46 (2013)
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali
Verification of Description Logic Knowledge and Action Bases. ECAI (2012)
Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. KR (2012)
Giuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu, Massimo Mecella
Goal-Based Composition of Stateful Services for Smart Homes. OTM Conferences (1) (2012)
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
Foundations of Relational Artifacts Verification. BPM (2011)
Tiziana Catarci, Maddalena D'Addario, Paolo Felli, Laura Franceschetti, Domenico Lembo, Massimo Mecella, Tatiana Pipan, Alessandro Russo, Annarita Vestri, Paolo Villari
User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health. EICS4Med (2011)
Tiziana Catarci, Maddalena D'Addario, Paolo Felli, Laura Franceschetti, Domenico Lembo, Massimo Mecella, Tatiana Pipan, Alessandro Russo, Annarita Vestri, Paolo Villari
User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health (Extended Abstract). SEBD (2011)
Giuseppe De Giacomo, Paolo Felli
Agent composition synthesis based on ATL. AAMAS (2010)
Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
Two-Player Game Structures for Generalized Planning and Agent Composition. AAAI (2010)