Pubblicazioni di Patrizi Fabio

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
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

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: -

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

2012

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

Francesco Belardinelli, Alessio Lomuscio, PATRIZI FABIO

2011

Francesco Belardinelli, Alessio Lomuscio, PATRIZI FABIO
A computationally-grounded semantics for artifact-centric systems and abstraction results. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) 2011: 738-743

Alfonso Gerevini, PATRIZI FABIO, Alessandro Saetti
An effective approach to realizing planning programs. Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS 2011) 2011: 323-326

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