Paolo Felli

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