Search for publications:
Home
Publications
About
Login
Activate Account
Publications
Search
Publications :: Search
Basic Search
Advanced Search
Author Info
Show author
On this page you see the details of the selected author.
Author information
First name:
Piergiorgio
Last name:
Bertoli
DBLP:
05/1344
Rating:
(not rated yet)
Bookmark:
Below you find the publications which have been written by this author.
Show item
1
to
25
of
41
Select a publication
Show
Title
Venue
Rating
Date
Piergiorgio Bertoli
,
Raman Kazhamiakin
,
Massimo Paolucci
,
Marco Pistore
,
Heorhi Raik
,
Matthias Wagner
.
Continuous Orchestration of Web Services via Planning.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009 2009
(0)
2009
Piergiorgio Bertoli
,
Raman Kazhamiakin
,
Massimo Paolucci
,
Marco Pistore
,
Heorhi Raik
,
Matthias Wagner
.
Control Flow Requirements for Automated Service Composition.
IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009 2009
(0)
2009
Alexandre Albore
,
Natasha Alechina
,
Piergiorgio Bertoli
,
Chiara Ghidini
,
Brian Logan
.
Bounded-Resource Reasoning as (Strong or Classical) Planning.
Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers 2009
(0)
2008
Raman Kazhamiakin
,
Piergiorgio Bertoli
,
Massimo Paolucci
,
Marco Pistore
,
Matthias Wagner
.
Having Services "YourWay!": Towards User-Centric Composition of Mobile Services.
Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers 2009
(0)
2008
Jörg Hoffmann
,
Piergiorgio Bertoli
,
Marco Pistore
.
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada 2007
(0)
2007
Piergiorgio Bertoli
,
Laura Ferrari
,
Raman Kazhamiakin
,
Corrado Moiso
,
Marco Pistore
,
Ermes Thuegaz
.
Design and Analysis of the Composed Telecom Services.
Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers 2009
(0)
2007
Piergiorgio Bertoli
,
Laura Ferrari
,
Raman Kazhamiakin
,
Corrado Moiso
,
Marco Pistore
,
Ermes Thuegaz
.
Design and Verification ofWeb Services Compositions in the Telecommunication Domain.
2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA 2007
(0)
2007
Piergiorgio Bertoli
,
Jörg Hoffmann
,
Freddy Lécué
,
Marco Pistore
.
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code.
2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA 2007
(0)
2007
Mausam null
,
Piergiorgio Bertoli
,
Daniel S. Weld
.
A Hybridized Planner for Stochastic Domains.
IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 2007
(0)
2007
Alexandre Albore
,
Natasha Alechina
,
Piergiorgio Bertoli
,
Chiara Ghidini
,
Brian Logan
,
Luciano Serafini
.
Model-Checking Memory Requirements of Resource-Bounded Reasoners.
Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA 2006
(0)
2006
Alexandre Albore
,
Piergiorgio Bertoli
.
Safe LTL Assumption-Based Planning.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006 2006
(0)
2006
Piergiorgio Bertoli
,
Alessandro Cimatti
,
Marco Pistore
.
Towards Strong Cyclic Planning under Partial Observability.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006 2006
(0)
2006
Piergiorgio Bertoli
,
Marco Pistore
,
Paolo Traverso
.
Automated Web Service Composition by On-the-Fly Belief Space Search.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006 2006
(0)
2006
Natasha Alechina
,
Mark Jago
,
Piergiorgio Bertoli
,
Brian Logan
,
Chiara Ghidini
,
Luciano Serafini
.
Verifying space and time requirements for resource-bounded agents.
5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006 2006
(0)
2006
Piergiorgio Bertoli
,
Alessandro Cimatti
,
Marco Pistore
.
Stong Cyclic Planning Under Partial Observability.
ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings 2006
(0)
2006
Natasha Alechina
,
Piergiorgio Bertoli
,
Chiara Ghidini
,
Mark Jago
,
Brian Logan
,
Luciano Serafini
.
Verifying Space and Time Requirements for Resource-Bounded Agents.
Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers 2007
(0)
2006
Piergiorgio Bertoli
,
Marco Bozzano
,
Alessandro Cimatti
.
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.
Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers 2007
(0)
2006
Piergiorgio Bertoli
,
Alessandro Cimatti
,
Marco Roveri
,
Paolo Traverso
.
Strong planning under partial observability.
Artif. Intell. 2006, Volume 170
(0)
2006
Marco Pistore
,
Paolo Traverso
,
Piergiorgio Bertoli
.
Automated Composition of Web Services by Planning in Asynchronous Domains.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA 2005
(0)
2005
Michele Trainotti
,
Marco Pistore
,
Gaetano Calabrese
,
Gabriele Zacco
,
Gigi Lucchese
,
Fabio Barbon
,
Piergiorgio Bertoli
,
Paolo Traverso
.
ASTRO: Supporting Composition and Execution of Web Services.
Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings 2005
(0)
2005
Marco Pistore
,
Paolo Traverso
,
Piergiorgio Bertoli
,
Annapaola Marconi
.
Automated Synthesis of Composite BPEL4WS Web Services.
2005 IEEE International Conference on Web Services (ICWS 2005), 11-15 July 2005, Orlando, FL, USA 2005
(0)
2005
Marco Pistore
,
Annapaola Marconi
,
Piergiorgio Bertoli
,
Paolo Traverso
.
Automated Composition of Web Services by Planning at the Knowledge Level.
IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005 2005
(0)
2005
Marco Pistore
,
Paolo Traverso
,
Piergiorgio Bertoli
,
Annapaola Marconi
.
Automated synthesis of executable web service compositions from BPEL4WS processes.
Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters 2005
(0)
2005
Alexandre Albore
,
Piergiorgio Bertoli
.
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA 2004
(0)
2004
Marco Pistore
,
Fabio Barbon
,
Piergiorgio Bertoli
,
Dmitry Shaparau
,
Paolo Traverso
.
Planning and Monitoring Web Service Composition.
Artificial Intelligence: Methodology, Systems, and Applications, 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings 2004
(0)
2004
Your query returned
41
matches in the database.