Pubblicazioni di Patrizi Fabio
2023
Trapasso Alessandro, Santilli Sofia, Iocchi Luca, Patrizi Fabio
A formalization of multi-agent planning with explicit agent representation. SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing 2023: 816-823
De Giacomo G., Fuggitti F., Maggi F. M., Marrella A., Patrizi F.
A tool for declarative Trace Alignment via automated planning. SOFTWARE IMPACTS 2023: 100505-
Maggi FABRIZIO MARIA, Marrella Andrea, Patrizi Fabio, Skydanienko Vasyl
Data-Aware Declarative Process Mining with SAT. ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY 2023: -
Cipollone R., De Giacomo G., Favorito M., Iocchi L., Patrizi F.
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 2023: 7227-7234
De Giacomo G., Fried D., Patrizi F., Zhu S.
Mimicking Behaviors in Separated Domains. THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2023: 1087-1112
Felli P., Montali M., Patrizi F., Winkler S.
Monitoring Arithmetic Temporal Properties on Finite Traces. Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 2023: 6346-6354
Alman A., Maggi F. M., Montali M., Patrizi F., Rivkin A.
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. ARTIFICIAL INTELLIGENCE IN MEDICINE 2023: 102512-
Fernandez-Gil Oliver, Patrizi Fabio, Perelli Giuseppe, Turhan Anni-Yasmin
Optimal Alignment of Temporal Knowledge Bases. European Conference on Artificial Intelligence 2023: 708-715
Agostinelli Simone, Chiariello Francesco, Maggi FABRIZIO MARIA, Marrella Andrea, Patrizi Fabio
Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis. INFORMATION SYSTEMS 2023: 102180-
Gaillard Pierre, Patrizi Fabio, Perelli Giuseppe
Strategy Repair in Reachability Games. European Conference on Artificial Intelligence 2023: 780-787
2022
Chiariello Francesco, Maria Maggi Fabrizio, Patrizi Fabio
A tool for compiling Declarative Process Mining problems in ASP. SOFTWARE IMPACTS 2022: 100435-
Chiariello Francesco, Maggi Fabrizio Maria, Patrizi Fabio
ASP-Based Declarative Process Mining. Proceedings of the 36th AAAI Conference on Artificial Intelligence 2022: 5539-5547
Chiariello Francesco, Maggi FABRIZIO MARIA, Patrizi Fabio
ASP-Based Declarative Process Mining (Extended Abstract). Electronic Proceedings in Theoretical Computer Science 2022: -
Alman A., Maggi F. M., Montali M., Patrizi F., Rivkin A.
Multi-model Monitoring Framework for Hybrid Process Specifications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2022: 319-335
De Giacomo G., Felli P., Logan B., Patrizi F., Sardina S.
Situation calculus for controller synthesis in manufacturing systems with first-order state representation. ARTIFICIAL INTELLIGENCE 2022: -
De Giacomo G., Felli P., Logan B., Patrizi F., Sardiña S.
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, IJCAI 2022, Vienna, Austria, 23-29 July 2022 2022: 5722-5726
Calvanese D., De Giacomo G., Montali M., Patrizi F.
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI International Joint Conference on Artificial Intelligence 2022: 2553-2560
2021
Agostinelli S., Bergami G., Fiorenza A., Maggi F. M., Marrella A., Patrizi F.
Discovering Declarative Process Model Behavior from Event Logs via Model Learning. Proceedings - 2021 3rd International Conference on Process Mining, ICPM 2021 2021: 48-55
De Giacomo Giuseppe, Murano Aniello, Patrizi Fabio, Perelli Giuseppe
2020
Bonet Blai, De Giacomo Giuseppe, Geffner Hector, Patrizi Fabio, Rubin Sasha
High-level Programming via Generalized Planning and LTL Synthesis. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) 2020: 152-161
De Giacomo Giuseppe, Iocchi Luca, Favorito Marco, Patrizi Fabio
Imitation Learning over Heterogeneous Agents with Restraining Bolts. Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS) 2020: 517-521
Giacomo De, Favorito Marco, Iocchi Luca, Patrizi Fabio
Restraining Bolts for Reinforcement Learning Agents. Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence 2020: 13659-13662
De Giacomo Giuseppe, Favorito Marco, Iocchi Luca, Patrizi Fabio, Ronca Alessandro
Temporal Logic Monitoring Rewards via Transducers. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020: 860-870
2019
DE GIACOMO Giuseppe, IOCCHI Luca, FAVORITO MARCO, PATRIZI FABIO
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling 2019: 128-136
Deutsch Alin, Hull RICHARD BAXTER, Patrizi Fabio, Vianu: Victor
ICDT Test of Time Award. Automatic verification of data-centric business processes. 2019: -
Calvanese D., Montali M., Patrizi F., Rivkin A.
Modeling and In-Database Management of Relational, Data-Aware Processes. Advanced Information Systems Engineering 2019: 328-345
2018
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
First-order μ-calculus over generic transition systems and applications to the situation calculus. INFORMATION AND COMPUTATION 2018: 328-347
Brafman RONEN ISRAEL, DE GIACOMO Giuseppe, Patrizi Fabio
LTLf/LDLf Non-Markovian Rewards. Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) 2018: 1771-1778
2017
De Giacomo Giuseppe, Maggi Fabrizio Maria, Marrella Andrea, Patrizi Fabio
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, Twenty-Ninth Innovative Applications of Artificial Intelligence Conference, Seventh Symposium on Educational Advances in Artificial Intelligence : 4-9 February 2017, San Franci... 2017: 3555-3561
2016
De Giacomo Giuseppe, Gerevini Alfonso, Patrizi Fabio, Saetti Alessandro, Sardina Sebastian
Agent planning programs. ARTIFICIAL INTELLIGENCE 2016: 64-106
De Giacomo Giuseppe, Lespérance Yves, Patrizi Fabio
Bounded situation calculus action theories. ARTIFICIAL INTELLIGENCE 2016: 172-203
Dumas Marlon, Hull Richard, Patrizi Fabio
Guest editorial: special issue on data and artifact-centric business processes. COMPUTING 2016: 343-344
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
On First-Order μ-Calculus over Situation Calculus Action Theories. Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016 2016: 411-420
Calvanese Diego, Montali Marco, Patrizi Fabio, Stawowy Michele
Plan Synthesis for Knowledge and Action Bases. IJCAI 2016: 1022-1029
DE GIACOMO Giuseppe, Lesperance Y., Patrizi Fabio, Vassos Stavros
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. STUDIA LOGICA 2016: 705-739
Calvanese Diego, Montali Marco, Patrizi Fabio, Stawowy Michele
Synthesizing and executing plans in Knowledge and Action Bases. Proceedings of the 29th International Workshop on Description Logics. DL 2016 2016: -
DE GIACOMO Giuseppe, Lesṕerance Yves, Patrizi Fabio, Sardina Sebastian
Verifying congolog programs on bounded situation calculus theories. AAAI'16 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence 2016: 950-956
2015
Calvanese Diego, Montali Marco, Patrizi Fabio, DE GIACOMO Giuseppe
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 2015: 4247-4253
Calvanese Diego, Montali Marco, Patrizi Fabio, Rivkin Andrey
Implementing data-centric dynamic systems over a relational DBMS. Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management. AMW 2015 2015: 209-212
Calvanese Diego, Montali Marco, Patrizi Fabio, Rivkin Andrey
Leveraging relational technology for data-centric dynamic systems. 23rd Italian Symposium on Advanced Database Systems, SEBD 2015 2015: 60-71
DE GIACOMO Giuseppe, Ntouskos Valsamis, Patrizi Fabio, Vassos Stavros, Aversa Davide
Service Composition with PDDL Representations and Visualization over Videogame Engines. 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) 2015: 101-107
2014
Patrizi Fabio, Vassos Stavros
Action theories over generalized databases with equality constraints. Proc. of KR 2014 2014: 650-652
DE GIACOMO Giuseppe, Ntouskos Valsamis, Patrizi Fabio, Vassos Stavros, Aversa Davide
Agent Behavior Composition in Virtual Environments Realized Using Game Engines. Proceedings of the 2014 Workshop on AI Problems and Approaches for Intelligent Environments 2014: -
DE GIACOMO Giuseppe, Mecella Massimo, Patrizi Fabio
Automated Service Composition Based on Behaviors: The Roman Model. Web Services Foundations 2014: 189-214
DE GIACOMO Giuseppe, Patrizi Fabio, Sebastian Sardiña
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014 2014: -