Pubblicazioni di Patrizi Fabio
2022
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: 103598-
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. AAAI 2020 - 34th 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 F., Vassos S.
Action theories over generalized databases with equality constraints. Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. 2014: 472-485
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: -
Patrizi F., Benatallah B., Brandic I.
ICSOC PhD symposium 2013. Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. 2014: 527-527
DE GIACOMO Giuseppe, Yves Lespérance, Patrizi Fabio, Vassos Stavros
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. ECAI 2014 - 21st European Conference on Artificial Intelligence 2014: 369-374
DE GIACOMO Giuseppe, Y. Lespérance, Patrizi Fabio, Vassos Stavros
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 2014: 141-148
Lomuscio A., Nepal S., Patrizi F., Benatallah B., Brandic I.
Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. 2014: v-vi
Russo Alessandro, Mecella Massimo, Marco Montali, Patrizi Fabio
Towards a reference implementation for Data Centric Dynamic Systems. Lecture Notes in Business Information Processing, Business Process Management Workshops 2014: 141-154
Belardinelli Francesco, Lomuscio Alessio, Patrizi Fabio
Verification of agent-based artifact systems. THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2014: 333-376
2013
VASSOS STAVROS, PATRIZI FABIO
A classification of first-order progressable action theories in situation calculus. IJCAIProceedings of the 23rd International Joint Conference on Artificial Intelligence 2013: 1132-1138
DE GIACOMO Giuseppe, Patrizi Fabio, Sardina Sebastian
Automatic behavior composition synthesis. ARTIFICIAL INTELLIGENCE 2013: 106-142
Diego Calvanese, DE GIACOMO Giuseppe, Marco Montali, Patrizi Fabio
Best paper award. Verification and synthesis in description logic based dynamic systems 2013: -
DE GIACOMO Giuseppe, Yves Lesperance, Patrizi Fabio
Bounded epistemic situation calculus theories. Proceedings of the 23rd International Joint Conference on Artificial Intelligence 2013: 846-853
Diego Calvanese, DE GIACOMO Giuseppe, M. Montali, Patrizi Fabio
Dynamic Systems based on Description Logics: Formalization, verification, and synthesis. CEUR WORKSHOP PROCEEDINGSProceedings of the 26th International Workshop on Description Logics 2013: 573-586
PATRIZI FABIO, N. Lipovetzky, H. Geffner
Fair LTL synthesis for non-deterministic systems using strong cyclic planners. IJCAIProceedings of the 23rd International Joint Conference on Artificial Intelligence 2013: 2343-2349
Russo Alessandro, Mecella Massimo, Patrizi Fabio, Marco Montali
Implementing and running data-centric dynamic systems. 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications 2013: 225-232
Diego Calvanese, De Giacomo Giuseppe, Marco Montali, Patrizi Fabio
Verification and synthesis in description logic based dynamic systems. LECTURE NOTES IN COMPUTER SCIENCEProceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013 2013: 50-64
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
Verification and synthesis in description logic based dynamic systems (abridged version). CEUR Workshop Proceedings 2013: 71-80
2012
Patrizi Fabio
F. Belardinelli, A. Lomuscio, Patrizi Fabio
An abstraction technique for the verification of artifact-centric systems. Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 2012: 319-328
Leonetti Matteo, Iocchi Luca, Patrizi Fabio
Automatic generation and learning of finite-state controllers. Artificial Intelligence: Methodology, Systems, and Applications - 15th International Conference, AIMSA 2012 2012: 135-144
DE GIACOMO Giuseppe, Yves Lesperance, Patrizi Fabio
Bounded situation calculus action theories (Extended abstract). Proc. of the 8th International Cognitive Robotics Workshop 2012: 16-23
DE GIACOMO Giuseppe, Yves Lesperance, Patrizi Fabio
Bounded situation calculus action theories and decidable verification. Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 2012: 467-477