Paolo Traverso
发表
Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition
Marco Pistore,
Pierluigi Roberti,
Paolo Traverso,
2005,
ESWC.
Paolo Traverso,
Elisabetta Di Nitto,
Anne-Marie Sassen,
2009
.
Paolo Traverso,
Enrico Giunchiglia,
Alessandro Armando,
1992,
AIMSA.
Annapaola Marconi,
Marco Pistore,
Paolo Traverso,
2015,
SMARTGREENS/VEHITS.
Paolo Traverso,
Andrea Passerini,
Chiara Ghidini,
2018,
Lecture Notes in Computer Science.
Marco Pistore,
Paolo Traverso,
Renato Bettin,
2014
.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2004
.
Paolo Traverso,
Malik Ghallab,
Dana Nau,
2004
.
Marco Pistore,
Paolo Traverso,
Luca Spalazzi,
2007,
SEBD.
Marco Pistore,
Paolo Traverso,
Dmitry Shaparau,
2008,
AAAI.
Fausto Giunchiglia,
Paolo Traverso,
1991,
IJCAI.
Paolo Traverso,
Alessandro Cimatti,
Luca Spalazzi,
1993
.
Marco Pistore,
John Mylopoulos,
Paolo Traverso,
2001,
Proceedings Fifth IEEE International Symposium on Requirements Engineering.
Paolo Traverso,
2003,
Planning Based on Decision Theory.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2014
.
Piergiorgio Bertoli,
Paolo Traverso,
2000,
International Journal on Software Tools for Technology Transfer.
Fabio Casati,
Paolo Traverso,
Boualem Benatallah,
2005
.
Paolo Traverso,
Malik Ghallab,
Dana S. Nau,
2004
.
Marco Pistore,
Paolo Traverso,
Massimo Paolucci,
2009,
Future Internet Assembly.
Marco Pistore,
Paolo Traverso,
Alessandro Cimatti,
2008,
Handbook of Knowledge Representation.
Marco Pistore,
Paolo Traverso,
Luca Spalazzi,
2006,
SEBD.
Paolo Traverso,
Enrico Giunchiglia,
Alessandro Armando,
1992
.
Marco Pistore,
Paolo Traverso,
Fabio Barbon,
2006,
ICAPS.
Annapaola Marconi,
Marco Pistore,
Paolo Traverso,
2008
.
Paolo Traverso,
Alessandro Cimatti,
Roberto Sebastiani,
1999,
World Congress on Formal Methods.
Paolo Traverso,
Malik Ghallab,
Dana S. Nau,
2004
.
Paolo Traverso,
Elisabetta Di Nitto,
Anne-Marie Sassen,
2009
.
Paolo Traverso,
Bernardo Magnini,
Chiara Ghidini,
2018
.
Paolo Traverso,
Alessandro Armando,
Alessandro Cimatti,
1992,
Proceedings of the Intelligent Vehicles `92 Symposium.
Annapaola Marconi,
Marco Pistore,
Paolo Traverso,
2007,
IEEE International Conference on Web Services (ICWS 2007).
Paolo Traverso,
Anne-Marie Sassen,
Arian Zwegers,
2009
.
Paolo Traverso,
Luciano Serafini,
2019,
AI*IA.
Marco Pistore,
Paolo Traverso,
Danail Dochev,
2008,
Artificial Intelligence: Methodology, Systems, Applications.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2017
.
Paolo Traverso,
Karl-Heinz Krempels,
Tim A. Majchrzak,
2016,
WEBIST 2016.
Piergiorgio Bertoli,
Fausto Giunchiglia,
Paolo Traverso,
1998,
SAFECOMP.
Paolo Traverso,
Dieter Hutter,
Werner Stephan,
1998
.
Fausto Giunchiglia,
Paolo Traverso,
1994
.
Paolo Traverso,
2015,
CLOSER.
Marco Pistore,
Paolo Traverso,
P. Traverso,
2007,
Test and Analysis of Web Services.
Paolo Traverso,
Anne-Marie Sassen,
Arian Zwegers,
2009
.
Annapaola Marconi,
Piergiorgio Bertoli,
Marco Pistore,
2005,
WWW '05.
Paolo Traverso,
Elisabetta Di Nitto,
Anne-Marie Sassen,
2009
.
Paolo Traverso,
Luca Spalazzi,
1995,
IJCAI.
Paolo Traverso,
Silvia Coradeschi,
Gerhard Brewka,
2006
.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2004
.
Fausto Giunchiglia,
Paolo Traverso,
Alessandro Cimatti,
1998,
SAFECOMP.
Paolo Traverso,
Frank Leymann,
Mike P. Papazoglou,
2007,
Computer.
Piergiorgio Bertoli,
Marco Pistore,
Paolo Traverso,
2001
.
Marco Pistore,
Paolo Traverso,
Fabio Barbon,
2006,
2006 IEEE International Conference on Web Services (ICWS'06).
Marco Pistore,
Paolo Traverso,
Luca Spalazzi,
2008,
SEBD.
Fausto Giunchiglia,
Paolo Traverso,
Enrico Giunchiglia,
1993
.
Paolo Traverso,
Enrico Giunchiglia,
P. Traverso,
1995,
Int. J. Intell. Syst..
Paolo Traverso,
Anne-Marie Sassen,
Arian Zwegers,
2009
.
Fausto Giunchiglia,
Paolo Traverso,
Luca Spalazzi,
1994,
AIPS.
Piergiorgio Bertoli,
Marco Pistore,
Paolo Traverso,
2006,
ICAPS.
Annapaola Marconi,
Marco Pistore,
Paolo Traverso,
2008,
IEEE Data Eng. Bull..
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2004
.
Dieter Fensel,
Paolo Traverso,
John Domingue,
2009,
FIS.
Paolo Traverso,
Elisabetta Di Nitto,
Anne-Marie Sassen,
2009
.
Paolo Traverso,
Luca Spalazzi,
2000,
J. Log. Comput..
Paolo Traverso,
Frank Leymann,
Mike P. Papazoglou,
2005,
Service Oriented Computing.
Annapaola Marconi,
Piergiorgio Bertoli,
Marco Pistore,
2005,
IEEE International Conference on Web Services (ICWS'05).
Piergiorgio Bertoli,
Paolo Traverso,
Marco Roveri,
2006,
Artif. Intell..
Paolo Traverso,
Anne-Marie Sassen,
Arian Zwegers,
2009
.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2004
.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2004
.
Fabio Casati,
Paolo Traverso,
Boualem Benatallah,
2005,
ICSOC.
Piergiorgio Bertoli,
Marco Pistore,
Paolo Traverso,
2005,
ICSOC.
Paolo Traverso,
Marco Roveri,
Alessandro Cimatti,
1998,
AAAI/IAAI.
John Mylopoulos,
Paolo Traverso,
Marco Roveri,
2004,
Requirements Engineering.
Paolo Traverso,
Mike P. Papazoglou,
Mikio Aoyama,
2004
.
Paolo Traverso,
Elisabetta Di Nitto,
Anne-Marie Sassen,
2009
.
Paolo Traverso,
Enrico Giunchiglia,
Alessandro Armando,
1995
.
Fabio Casati,
Paolo Traverso,
Boualem Benatallah,
2006
.
Antonio Bucchiarone,
Annapaola Marconi,
Marco Pistore,
2015,
ICSOC.
Marco Pistore,
Amit P. Sheth,
Paolo Traverso,
2007,
Autonomous and Adaptive Web Services.
Paolo Traverso,
Luciano Serafini,
2019,
ArXiv.
Fausto Giunchiglia,
Paolo Traverso,
Roberto Sebastiani,
2001
.
Annapaola Marconi,
Marco Pistore,
Paolo Traverso,
2006,
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
Lora Aroyo,
Eyal Oren,
Paolo Traverso,
2009
.
Amedeo Cesta,
Paolo Traverso,
Enrico Giunchiglia,
2001
.
Fausto Giunchiglia,
Paolo Traverso,
Enrico Giunchiglia,
1996
.
Fausto Giunchiglia,
Paolo Traverso,
Bing Yu,
1997,
CAV.
Piergiorgio Bertoli,
Paolo Traverso,
Alessandro Cimatti,
2007
.
Piergiorgio Bertoli,
Marco Pistore,
Paolo Traverso,
2005,
Artif. Intell..
Piergiorgio Bertoli,
Marco Pistore,
Paolo Traverso,
2004,
AIMSA.
Paolo Traverso,
Malik Ghallab,
Sunandita Patra,
2018
.
Marco Pistore,
Amit P. Sheth,
Paolo Traverso,
2007,
Autonomous and Adaptive Web Services.
Paolo Traverso,
Elisabetta Di Nitto,
Anne-Marie Sassen,
2009
.
Paolo Traverso,
Malik Ghallab,
Dana S. Nau,
2014,
Artif. Intell..
Paolo Traverso,
Domenico Zito,
Francesco Malavasi,
2013
.
Paolo Traverso,
Moshe Y. Vardi,
Marco Daniele,
1999,
ECP.
Fausto Giunchiglia,
Paolo Traverso,
Fausto Giunchiglia,
1999,
ECP.
Fausto Giunchiglia,
Paolo Traverso,
Fausto Giunchiglia,
1994,
Annals of Mathematics and Artificial Intelligence.
Paolo Traverso,
Dieter Hutter,
Markus Ullmann,
1998,
Lecture Notes in Computer Science.
Paolo Traverso,
Enrico Giunchiglia,
Alessandro Armando,
1996,
IEEE Trans. Syst. Man Cybern. Part B.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2018
.
Paolo Traverso,
Alessandro Cimatti,
Roberto Sebastiani,
1999,
SAFECOMP.
Paolo Traverso,
Anne-Marie Sassen,
Arian Zwegers,
2009
.
Paolo Traverso,
Elisabetta Di Nitto,
Anne-Marie Sassen,
2009
.
Marco Pistore,
Ugo Dal Lago,
Paolo Traverso,
2002,
AAAI/IAAI.
Paolo Traverso,
Dana S. Nau,
Dana Nau,
2004
.
Antonio Bucchiarone,
Annapaola Marconi,
Piergiorgio Bertoli,
2013,
2013 IEEE 20th International Conference on Web Services.
Paolo Traverso,
Alessandro Cimatti,
A. Cimatti,
1996,
Int. J. Intell. Syst..
Lora Aroyo,
Eyal Oren,
Paolo Traverso,
2009,
Lecture Notes in Computer Science.
Paolo Traverso,
Dana S. Nau,
Malik Ghallab,
2014
.
Marco Pistore,
Paolo Traverso,
P. Traverso,
2001,
IJCAI.
Paolo Traverso,
Elisabetta Di Nitto,
Anne-Marie Sassen,
2009
.
Paolo Traverso,
Anne-Marie Sassen,
Arian Zwegers,
2009
.
Fausto Giunchiglia,
Paolo Traverso,
1994,
LPAR.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2019,
AAAI.
Paolo Traverso,
Anne-Marie Sassen,
Arian Zwegers,
2009
.
Fausto Giunchiglia,
Paolo Traverso,
Emanuele Trucco,
1992,
Int. J. Man Mach. Stud..
Marco Pistore,
Paolo Traverso,
Dmitry Shaparau,
2006,
AAAI.
Paolo Traverso,
Malik Ghallab,
Dana S. Nau,
2016
.
Fausto Giunchiglia,
Paolo Traverso,
2000,
International Journal on Software Tools for Technology Transfer.
Paolo Traverso,
Valérie Monfort,
Karl-Heinz Krempels,
2016,
Lecture Notes in Business Information Processing.
Paolo Traverso,
Frank Leymann,
Mike P. Papazoglou,
2008,
Int. J. Cooperative Inf. Syst..
Paolo Traverso,
Enrico Giunchiglia,
Alessandro Armando,
1994,
Appl. Artif. Intell..
Annapaola Marconi,
Piergiorgio Bertoli,
Marco Pistore,
2005,
IJCAI.
Paolo Traverso,
Elisabetta Di Nitto,
Anne-Marie Sassen,
2009
.
Antonio Bucchiarone,
Annapaola Marconi,
Marco Pistore,
2016,
2016 IEEE International Conference on Web Services (ICWS).
Marco Pistore,
Marco Aiello,
Paolo Traverso,
2002,
TES.
Craig A. Knoblock,
Paolo Traverso,
Sheila A. McIlraith,
2003
.
Marco Pistore,
Paolo Traverso,
Dana S. Nau,
2009,
Artif. Intell..
Marco Pistore,
Paolo Traverso,
2007,
ICSM.
Paolo Traverso,
Alessandro Cimatti,
Luca Spalazzi,
1992,
ECAI.
Marco Pistore,
Paolo Traverso,
P. Traverso,
2004,
SEMWEB.
Anna Perini,
Paolo Traverso,
Silvia Coradeschi,
2006
.
Paolo Traverso,
Dana S. Nau,
Dana Nau,
2004
.
Paolo Traverso,
Malik Ghallab,
Dana Nau,
2014
.
Piergiorgio Bertoli,
Paolo Traverso,
Alessandro Cimatti,
2004,
ECAI.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2014
.
Annapaola Marconi,
Marco Pistore,
Paolo Traverso,
2006,
ICSOC.
Fausto Giunchiglia,
Paolo Traverso,
Alessandro Cimatti,
1998,
Formal Aspects of Computing.
Piergiorgio Bertoli,
Paolo Traverso,
Marco Roveri,
2001,
IJCAI.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2014
.
Paolo Traverso,
Anne-Marie Sassen,
Arian Zwegers,
2009
.
Fausto Giunchiglia,
Paolo Traverso,
Roberto Sebastiani,
2000
.
Fausto Giunchiglia,
Paolo Traverso,
Fausto Giunchiglia,
1996,
Artif. Intell..
Piergiorgio Bertoli,
Marco Pistore,
Paolo Traverso,
2003,
ICAPS.
Paolo Traverso,
Frank Leymann,
Mike P. Papazoglou,
2007
.
Automated Process-level Composition of Web Services: from Requirements Specification to Process Run.
Marco Pistore,
Paolo Traverso,
2008
.
Piergiorgio Bertoli,
Paolo Traverso,
2000
.
Paolo Traverso,
Marco Roveri,
Alessandro Cimatti,
1998,
AIPS.
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World
Fausto Giunchiglia,
Paolo Traverso,
Luca Spalazzi,
1995,
ATAL.
Paolo Traverso,
Joachim Hertzberg,
Malik Ghallab,
2002,
International Conference on Artificial Intelligence Planning Systems.
Paolo Traverso,
Elisabetta Di Nitto,
Anne-Marie Sassen,
2009
.
Marco Pistore,
Paolo Traverso,
Marco Roveri,
2003,
Artif. Intell..
Lora Aroyo,
Eyal Oren,
Paolo Traverso,
2009,
ESWC.
Paolo Traverso,
Malik Ghallab,
Dana S. Nau,
2015,
AAAI.
Paolo Traverso,
2006,
Reasoning, Action and Interaction in AI Theories and Systems.
Fausto Giunchiglia,
Paolo Traverso,
Enrico Giunchiglia,
1997,
ECP.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2004
.
Fausto Giunchiglia,
Paolo Traverso,
David A. Basin,
1991,
AI*IA.
Marco Pistore,
Paolo Traverso,
Dana S. Nau,
2005,
ICAPS.
Paolo Traverso,
Dana Nau,
Malik Ghallab,
2004
.
Paolo Traverso,
Anne-Marie Sassen,
Arian Zwegers,
2009
.
Oren Etzioni,
Paolo Traverso,
Fei-Fei Li,
2021,
Reflections on Artificial Intelligence for Humanity.
Paolo Traverso,
Luciano Serafini,
Alfonso E. Gerevini,
2021,
AAAI.
Paolo Traverso,
Malik Ghallab,
Sunandita Patra,
2021,
FLAIRS Conference.
Paolo Traverso,
Alfonso Gerevini,
Luciano Serafini,
2021,
ArXiv.
Teresa Scantamburlo,
Alessandro Saffiotti,
Paolo Traverso,
2021,
ArXiv.
Paolo Traverso,
Alfonso Gerevini,
Luciano Serafini,
2021,
IJCAI.
Paolo Traverso,
Malik Ghallab,
Dana S. Nau,
2021,
Artif. Intell..
Paolo Traverso,
Alessandro Cimatti,
1996
.
Paolo Traverso,
Malik Ghallab,
Dana Nau,
2004
.
Paolo Traverso,
Malik Ghallab,
Dana Nau,
2004
.
Annapaola Marconi,
Piergiorgio Bertoli,
Raman Kazhamiakin,
.
Paolo Traverso,
Anne-Marie Sassen,
Arian Zwegers,
2009
.
Fausto Giunchiglia,
Paolo Traverso,
Alessandro Cimatti,
1997
.
Paolo Traverso,
Malik Ghallab,
Dana Nau,
2004
.
Paolo Traverso,
Malik Ghallab,
Dana Nau,
2004
.
Paolo Traverso,
Malik Ghallab,
Dana Nau,
2004
.
Anna Perini,
Paolo Traverso,
Silvia Coradeschi,
2006
.
Marco Pistore,
Paolo Traverso,
P. Traverso,
2007
.
Paolo Traverso,
Malik Ghallab,
Dana Nau,
2004
.
Paolo Traverso,
Malik Ghallab,
Dana Nau,
2004
.
Marco Pistore,
Amit P. Sheth,
Paolo Traverso,
2007
.