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.
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.
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
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
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.
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
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
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
DE GIACOMO Giuseppe, Lesperance Y., Patrizi Fabio, Vassos Stavros
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
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
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: -

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma