Paolo Felli
Orcid: 0000-0001-9561-8775Affiliations:
- Free University of Bozen-Bolzano, Italy
According to our database1,
Paolo Felli
authored at least 62 papers
between 2010 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on pfelli.xyz
On csauthors.net:
Bibliography
2023
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach.
Eng. Appl. Artif. Intell., November, 2023
CoRR, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the 5th International Conference on Process Mining, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Artif. Intell., 2022
Situation calculus for controller synthesis in manufacturing systems with first-order state representation.
Artif. Intell., 2022
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022
Proceedings of the Advanced Information Systems Engineering, 2022
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
Proceedings of the Business Process Management - 20th International Conference, 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions.
Fundam. Informaticae, 2021
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version).
CoRR, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Business Process Management - 19th International Conference, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
2019
Synthesising process controllers from formal models of transformable assembly systems.
Robotics Comput. Integr. Manuf., 2019
Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions.
Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version).
CoRR, 2018
Proceedings of the Conceptual Modeling - 37th International Conference, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Proceedings of the Social Robotics - 6th International Conference, 2014
Proceedings of the 2014 AAAI Fall Symposia, Arlington, Virginia, USA, November 13-15, 2014, 2014
2013
Proceedings of the IJCAI 2013, 2013
2012
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the ECAI 2012, 2012
2011
User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health (Extended Abstract).
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011
User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health.
Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), 2011
Proceedings of the Business Process Management - 9th International Conference, 2011
2010
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010