Pubblicazioni di Patrizi Fabio

2012

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