Publications
Search

Publications :: Search

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.