Piergiorgio Bertoli
According to our database1,
Piergiorgio Bertoli
authored at least 52 papers
between 1998 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Expert Syst. Appl., 2022
2014
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014
2013
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013
Reasoning-Based Techniques for Dealing with Incomplete Business Process Execution Traces.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013
2012
SMART: Supporting the Design and Execution of User-Centric Service-Based Applications.
Proceedings of the Web Information Systems Engineering - WISE 2012, 2012
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments.
Proceedings of the Business Information Systems Workshops, 2012
2010
Artif. Intell., 2010
Proceedings of the Second Workshop on Context, Information and Ontologies, 2010
2009
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.
J. Artif. Intell. Res., 2009
Proceedings of the IEEE International Conference on Web Services, 2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
Proceedings of the Future Internet - FIS 2008, First Future Internet Symposium, 2008
Proceedings of the Poster and Demonstration Paper Track of the 1st Future Internet Symposium (FIS'08) FIS'08 ; Vienna, 2008
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008
2007
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Proceedings of the Service-Oriented Computing, 2007
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006
Stong Cyclic Planning Under Partial Observability.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006
Proceedings of the Proceedings, 2006
2005
Proceedings of the 14th international conference on World Wide Web, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005
Proceedings of the Service-Oriented Computing, 2005
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005
2004
Artif. Intell., 2004
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004
Proceedings of the Artificial Intelligence: Methodology, 2004
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003
2002
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions.
Proceedings of the Automated Deduction, 2002
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.
Proceedings of the Artificial Intelligence, 2002
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002
2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
2000
Int. J. Softw. Tools Technol. Transf., 2000
1999
Fundam. Informaticae, 1999
1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.
Proceedings of the Computer Safety, 1998