Pubblicazioni di Patrizi Fabio

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

Patrizi Fabio, Lipovetzky Nir, DE GIACOMO Giuseppe, Hector Geffner
Computing infinite plans for LTL goals using a classical planner. Proceedings of the 22nd International Joint Conference on Artificial Intelligence 2011: 2003-2008

Francesco Belardinelli, Alessio Lomuscio, Patrizi Fabio
Verification of deployed artifact systems via data abstraction. Service Oriented Computing 2011: 142-156

Sebastian Sardina, Patrizi Fabio

2010

DE GIACOMO Giuseppe, Patrizi Fabio, Sebastian Sardina
Agent programming via planning programs. Proceedings of 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) 2010: 491-498

DE GIACOMO Giuseppe, PATRIZI FABIO
Automated composition of nondeterministic stateful services. Proceedings the 6th Int. Workshop on Web Services and Formal Methods (WS-FM'09) 2010: 147-160

DE GIACOMO Giuseppe, Patrizi Fabio, Sebastian Sardina
Generalized Planning with Loops under Strong Fairness Constraints. Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010) 2010: -

DE MASELLIS Riccardo, DI CICCIO Claudio, Mecella Massimo, Patrizi Fabio
Smart home planning programs. Proc. of ICSSSM'10 2010: 377-382

DE GIACOMO Giuseppe, Felli Paolo, Patrizi Fabio, Sardina Sebastian
Two-player game structures for generalized planning and agent composition. Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010) 2010: 297-302

2009

Baldoni Roberto, DI CICCIO Claudio, Mecella Massimo, Patrizi Fabio, Querzoni Leonardo, Santucci Giuseppe, Cincotti Febo, Aloise Fabio
An Embedded Middleware Platform for Pervasive and Immersive Environments for-All. Sixth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Network (SECON 2009) 2009: 161-163

Patrizi Fabio, DE GIACOMO Giuseppe
Composition of Services that Share an Infinite-State Blackboard (Extended Abstract). Proceedings of IJCAI 2009 Workshop on Information Integration on the Web (IIWEB'09), 2009. 2009: -

DE GIACOMO Giuseppe, Patrizi Fabio, Sebastian Sardina
Solving High-Level Planning Programs (Extended Abstract). ICAPS'09 Workshop on Generalized Planning: Macros, Loops, Domain Control (GenPlan'09) 2009: 1-4

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