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
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
Francesco Belardinelli, Alessio Lomuscio, PATRIZI FABIO
Verification of GSM-based artifact-centric systems through finite abstraction. Service-Oriented Computing 2012: 17-31
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
Visiting Researcher's Award. 2011: -
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