Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Paolo Traverso
@article{DBLP:journals/corr/abs-2402-16857, author = {Alessandra Bulanti and Alessandro Carf{\`{\i}} and Paolo Traverso and Carlo Terrone and Fulvio Mastrogiovanni}, title = {A novel method to compute the contact surface area between an organ and cancer tissue}, journal = {CoRR}, volume = {abs/2402.16857}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.16857}, doi = {10.48550/ARXIV.2402.16857}, eprinttype = {arXiv}, eprint = {2402.16857}, timestamp = {Mon, 25 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-16857.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/LamannaSFSSGT23, author = {Leonardo Lamanna and Luciano Serafini and Mohamadreza Faridghasemnia and Alessandro Saffiotti and Alessandro Saetti and Alfonso Gerevini and Paolo Traverso}, editor = {Brian Williams and Yiling Chen and Jennifer Neville}, title = {Planning for Learning Object Properties}, booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI} 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February 7-14, 2023}, pages = {12005--12013}, publisher = {{AAAI} Press}, year = {2023}, url = {https://doi.org/10.1609/aaai.v37i10.26416}, doi = {10.1609/AAAI.V37I10.26416}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/LamannaSFSSGT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/LamannaFGSSST23, author = {Leonardo Lamanna and Mohamadreza Faridghasemnia and Alfonso Gerevini and Alessandro Saetti and Alessandro Saffiotti and Luciano Serafini and Paolo Traverso}, title = {Learning to Act for Perceiving in Partially Unknown Environments}, booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao, SAR, China}, pages = {5485--5493}, publisher = {ijcai.org}, year = {2023}, url = {https://doi.org/10.24963/ijcai.2023/609}, doi = {10.24963/IJCAI.2023/609}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/LamannaFGSSST23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-06054, author = {Leonardo Lamanna and Luciano Serafini and Mohamadreza Faridghasemnia and Alessandro Saffiotti and Alessandro Saetti and Alfonso Gerevini and Paolo Traverso}, title = {Planning for Learning Object Properties}, journal = {CoRR}, volume = {abs/2301.06054}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.06054}, doi = {10.48550/ARXIV.2301.06054}, eprinttype = {arXiv}, eprint = {2301.06054}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-06054.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cvpr/CampariLTSB22, author = {Tommaso Campari and Leonardo Lamanna and Paolo Traverso and Luciano Serafini and Lamberto Ballan}, title = {Online Learning of Reusable Abstract Models for Object Goal Navigation}, booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition, {CVPR} 2022, New Orleans, LA, USA, June 18-24, 2022}, pages = {14850--14859}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/CVPR52688.2022.01445}, doi = {10.1109/CVPR52688.2022.01445}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cvpr/CampariLTSB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/LamannaSSGT22, author = {Leonardo Lamanna and Luciano Serafini and Alessandro Saetti and Alfonso Gerevini and Paolo Traverso}, editor = {Gabriele Kern{-}Isberner and Gerhard Lakemeyer and Thomas Meyer}, title = {Online Grounding of Symbolic Planning Domains in Unknown Environments}, booktitle = {Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel, July 31 - August 5, 2022}, year = {2022}, url = {https://proceedings.kr.org/2022/53/}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/LamannaSSGT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-02583, author = {Tommaso Campari and Leonardo Lamanna and Paolo Traverso and Luciano Serafini and Lamberto Ballan}, title = {Online Learning of Reusable Abstract Models for Object Goal Navigation}, journal = {CoRR}, volume = {abs/2203.02583}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.02583}, doi = {10.48550/ARXIV.2203.02583}, eprinttype = {arXiv}, eprint = {2203.02583}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-02583.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/PatraMGNT21, author = {Sunandita Patra and James Mason and Malik Ghallab and Dana S. Nau and Paolo Traverso}, title = {Deliberative acting, planning and learning with hierarchical operational models}, journal = {Artif. Intell.}, volume = {299}, pages = {103523}, year = {2021}, url = {https://doi.org/10.1016/j.artint.2021.103523}, doi = {10.1016/J.ARTINT.2021.103523}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/PatraMGNT21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/LamannaGSST21, author = {Leonardo Lamanna and Alfonso Emilio Gerevini and Alessandro Saetti and Luciano Serafini and Paolo Traverso}, title = {On-line Learning of Planning Domains from Sensor Data in {PAL:} Scaling up to Large State Spaces}, booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021}, pages = {11862--11869}, publisher = {{AAAI} Press}, year = {2021}, url = {https://doi.org/10.1609/aaai.v35i13.17409}, doi = {10.1609/AAAI.V35I13.17409}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/LamannaGSST21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flairs/PatraTGN21, author = {Sunandita Patra and Paolo Traverso and Malik Ghallab and Dana S. Nau}, editor = {Eric Bell and Fazel Keshtkar}, title = {Coordination and Control of Hierarchically Organized Interacting Agents}, booktitle = {Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, North Miami Beach, Florida, USA, May 17-19, 2021}, year = {2021}, url = {https://doi.org/10.32473/flairs.v34i1.128541}, doi = {10.32473/FLAIRS.V34I1.128541}, timestamp = {Wed, 26 Oct 2022 08:35:05 +0200}, biburl = {https://dblp.org/rec/conf/flairs/PatraTGN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/LamannaSSGT21, author = {Leonardo Lamanna and Alessandro Saetti and Luciano Serafini and Alfonso Gerevini and Paolo Traverso}, editor = {Zhi{-}Hua Zhou}, title = {Online Learning of Action Models for {PDDL} Planning}, booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27 August 2021}, pages = {4112--4118}, publisher = {ijcai.org}, year = {2021}, url = {https://doi.org/10.24963/ijcai.2021/566}, doi = {10.24963/IJCAI.2021/566}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/LamannaSSGT21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/0001EDHLTT21, author = {Andreas Dengel and Oren Etzioni and Nicole DeCario and Holger H. Hoos and Li Fei{-}Fei and Junichi Tsujii and Paolo Traverso}, editor = {Bertrand Braunschweig and Malik Ghallab}, title = {Next Big Challenges in Core {AI} Technology}, booktitle = {Reflections on Artificial Intelligence for Humanity}, series = {Lecture Notes in Computer Science}, volume = {12600}, pages = {90--115}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-69128-8\_7}, doi = {10.1007/978-3-030-69128-8\_7}, timestamp = {Wed, 15 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/0001EDHLTT21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-10007, author = {Leonardo Lamanna and Luciano Serafini and Alessandro Saetti and Alfonso Gerevini and Paolo Traverso}, title = {Online Grounding of {PDDL} Domains by Acting and Sensing in Unknown Environments}, journal = {CoRR}, volume = {abs/2112.10007}, year = {2021}, url = {https://arxiv.org/abs/2112.10007}, eprinttype = {arXiv}, eprint = {2112.10007}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-10007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-14480, author = {Luciano Serafini and Raul Barbosa and Jasmin Grosinger and Luca Iocchi and Christian Napoli and Salvatore Rinzivillo and Jacques Robin and Alessandro Saffiotti and Teresa Scantamburlo and Peter Sch{\"{u}}ller and Paolo Traverso and Javier V{\'{a}}zquez{-}Salceda}, title = {On some Foundational Aspects of Human-Centered Artificial Intelligence}, journal = {CoRR}, volume = {abs/2112.14480}, year = {2021}, url = {https://arxiv.org/abs/2112.14480}, eprinttype = {arXiv}, eprint = {2112.14480}, timestamp = {Mon, 21 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-14480.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/PatraMKGTN20, author = {Sunandita Patra and James Mason and Amit Kumar and Malik Ghallab and Paolo Traverso and Dana S. Nau}, editor = {J. Christopher Beck and Olivier Buffet and J{\"{o}}rg Hoffmann and Erez Karpas and Shirin Sohrabi}, title = {Integrating Acting, Planning, and Learning in Hierarchical Operational Models}, booktitle = {Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020}, pages = {478--487}, publisher = {{AAAI} Press}, year = {2020}, url = {https://ojs.aaai.org/index.php/ICAPS/article/view/6743}, timestamp = {Mon, 07 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/PatraMKGTN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-03932, author = {Sunandita Patra and James Mason and Amit Kumar and Malik Ghallab and Paolo Traverso and Dana S. Nau}, title = {Integrating Acting, Planning and Learning in Hierarchical Operational Models}, journal = {CoRR}, volume = {abs/2003.03932}, year = {2020}, url = {https://arxiv.org/abs/2003.03932}, eprinttype = {arXiv}, eprint = {2003.03932}, timestamp = {Tue, 23 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-03932.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-01909, author = {Sunandita Patra and James Mason and Malik Ghallab and Dana S. Nau and Paolo Traverso}, title = {Deliberative Acting, Online Planning and Learning with Hierarchical Operational Models}, journal = {CoRR}, volume = {abs/2010.01909}, year = {2020}, url = {https://arxiv.org/abs/2010.01909}, eprinttype = {arXiv}, eprint = {2010.01909}, timestamp = {Mon, 12 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-01909.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/PatraGNT19, author = {Sunandita Patra and Malik Ghallab and Dana S. Nau and Paolo Traverso}, title = {Acting and Planning Using Operational Models}, booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019}, pages = {7691--7698}, publisher = {{AAAI} Press}, year = {2019}, url = {https://doi.org/10.1609/aaai.v33i01.33017691}, doi = {10.1609/AAAI.V33I01.33017691}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/PatraGNT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/SerafiniT19, author = {Luciano Serafini and Paolo Traverso}, editor = {Mario Alviano and Gianluigi Greco and Francesco Scarcello}, title = {Learning Abstract Planning Domains and Mappings to Real World Perceptions}, booktitle = {AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11946}, pages = {461--476}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-35166-3\_33}, doi = {10.1007/978-3-030-35166-3\_33}, timestamp = {Mon, 18 Nov 2019 16:33:10 +0100}, biburl = {https://dblp.org/rec/conf/aiia/SerafiniT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-05937, author = {Luciano Serafini and Paolo Traverso}, title = {Incremental Learning of Discrete Planning Domains from Continuous Perceptions}, journal = {CoRR}, volume = {abs/1903.05937}, year = {2019}, url = {http://arxiv.org/abs/1903.05937}, eprinttype = {arXiv}, eprint = {1903.05937}, timestamp = {Sun, 31 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-05937.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aiia/2018, editor = {Chiara Ghidini and Bernardo Magnini and Andrea Passerini and Paolo Traverso}, title = {AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11298}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03840-3}, doi = {10.1007/978-3-030-03840-3}, isbn = {978-3-030-03839-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aiia/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/webist/2017sp, editor = {Tim A. Majchrzak and Paolo Traverso and Karl{-}Heinz Krempels and Val{\'{e}}rie Monfort}, title = {Web Information Systems and Technologies - 13th International Conference, {WEBIST} 2017, Porto, Portugal, April 25-27, 2017, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {322}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-93527-0}, doi = {10.1007/978-3-319-93527-0}, isbn = {978-3-319-93526-3}, timestamp = {Wed, 15 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/webist/2017sp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1810-07096, author = {Luciano Serafini and Paolo Traverso}, title = {Learning abstract planning domains and mappings to real world perceptions}, journal = {CoRR}, volume = {abs/1810.07096}, year = {2018}, url = {http://arxiv.org/abs/1810.07096}, eprinttype = {arXiv}, eprint = {1810.07096}, timestamp = {Tue, 30 Oct 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-07096.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/webist/2016sp, editor = {Val{\'{e}}rie Monfort and Karl{-}Heinz Krempels and Tim A. Majchrzak and Paolo Traverso}, title = {Web Information Systems and Technologies - 12th International Conference, {WEBIST} 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {292}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66468-2}, doi = {10.1007/978-3-319-66468-2}, isbn = {978-3-319-66467-5}, timestamp = {Mon, 18 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/webist/2016sp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/webist/2017, editor = {Tim A. Majchrzak and Paolo Traverso and Karl{-}Heinz Krempels and Val{\'{e}}rie Monfort}, title = {Proceedings of the 13th International Conference on Web Information Systems and Technologies, {WEBIST} 2017, Porto, Portugal, April 25-27, 2017}, publisher = {SciTePress}, year = {2017}, isbn = {978-989-758-246-2}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/webist/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/cu/GNT2016, author = {Malik Ghallab and Dana S. Nau and Paolo Traverso}, title = {Automated Planning and Acting}, publisher = {Cambridge University Press}, year = {2016}, url = {http://www.cambridge.org/de/academic/subjects/computer-science/artificial-intelligence-and-natural-language-processing/automated-planning-and-acting?format=HB}, isbn = {978-1-107-03727-4}, timestamp = {Mon, 13 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/cu/GNT2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/BucchiaroneSMPT16, author = {Antonio Bucchiarone and Martina {De Sanctis} and Annapaola Marconi and Marco Pistore and Paolo Traverso}, editor = {Stephan Reiff{-}Marganiec}, title = {Incremental Composition for Adaptive By-Design Service Based Systems}, booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2016, San Francisco, CA, USA, June 27 - July 2, 2016}, pages = {236--243}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ICWS.2016.38}, doi = {10.1109/ICWS.2016.38}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/BucchiaroneSMPT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/webist/2016-1, editor = {Tim A. Majchrzak and Paolo Traverso and Val{\'{e}}rie Monfort and Karl{-}Heinz Krempels}, title = {Proceedings of the 12th International Conference on Web Information Systems and Technologies, {WEBIST} 2016, Volume 1, Rome, Italy, April 23-25, 2016}, publisher = {SciTePress}, year = {2016}, isbn = {978-989-758-186-1}, timestamp = {Wed, 10 Aug 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/webist/2016-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/webist/2016-2, editor = {Tim A. Majchrzak and Paolo Traverso and Val{\'{e}}rie Monfort and Karl{-}Heinz Krempels}, title = {Proceedings of the 12th International Conference on Web Information Systems and Technologies, {WEBIST} 2016, Volume 2, Rome, Italy, April 23-25, 2016}, publisher = {SciTePress}, year = {2016}, timestamp = {Wed, 05 Apr 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/webist/2016-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/NauGT15, author = {Dana S. Nau and Malik Ghallab and Paolo Traverso}, editor = {Blai Bonet and Sven Koenig}, title = {Blended Planning and Acting: Preliminary Approach, Research Challenges}, booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA}}, pages = {4047--4051}, publisher = {{AAAI} Press}, year = {2015}, url = {https://doi.org/10.1609/aaai.v29i1.9768}, doi = {10.1609/AAAI.V29I1.9768}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/NauGT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/closer/Traverso15, author = {Paolo Traverso}, editor = {Markus Helfert and Donald Ferguson and V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz}, title = {Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities}, booktitle = {{CLOSER} 2015 - Proceedings of the 5th International Conference on Cloud Computing and Services Science, Lisbon, Portugal, 20-22 May, 2015}, pages = {IS--7}, publisher = {SciTePress}, year = {2015}, timestamp = {Tue, 04 Aug 2015 09:17:34 +0200}, biburl = {https://dblp.org/rec/conf/closer/Traverso15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/BucchiaroneSMPT15, author = {Antonio Bucchiarone and Martina {De Sanctis} and Annapaola Marconi and Marco Pistore and Paolo Traverso}, editor = {Alistair Barros and Daniela Grigori and Nanjangud C. Narendra and Hoa Khanh Dam}, title = {Design for Adaptation of Distributed Service-Based Systems}, booktitle = {Service-Oriented Computing - 13th International Conference, {ICSOC} 2015, Goa, India, November 16-19, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9435}, pages = {383--393}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-48616-0\_27}, doi = {10.1007/978-3-662-48616-0\_27}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/BucchiaroneSMPT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smap/Traverso15, author = {Paolo Traverso}, title = {Keynote abstract: From smart cities to smart communities: The case of children's independent mobility}, booktitle = {10th International Workshop on Semantic and Social Media Adaptation and Personalization, {SMAP} 2015, Trento, Italy, November 5-6, 2015}, pages = {xv}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/SMAP.2015.7370080}, doi = {10.1109/SMAP.2015.7370080}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/smap/Traverso15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smartgreens/GerosaMPT15, author = {Matteo Gerosa and Annapaola Marconi and Marco Pistore and Paolo Traverso}, editor = {Markus Helfert and Karl{-}Heinz Krempels and Cornel Klein and Brian Donnellan and Oleg Yu. Gusikhin}, title = {An Open Platform for Children's Independent Mobility}, booktitle = {Smart Cities, Green Technologies, and Intelligent Transport Systems - 4th International Conference, {SMARTGREENS} 2015, and 1st International Conference {VEHITS} 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {579}, pages = {50--71}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-27753-0\_4}, doi = {10.1007/978-3-319-27753-0\_4}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/smartgreens/GerosaMPT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smartgreens/Traverso15, author = {Paolo Traverso}, editor = {Markus Helfert and Karl{-}Heinz Krempels and Brian Donnellan and Cornel Klein}, title = {Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities}, booktitle = {{SMARTGREENS} 2015 - Proceedings of the 4th International Conference on Smart Cities and Green {ICT} Systems, Lisbon, Portugal, 20-22 May, 2015}, pages = {IS--7}, publisher = {SciTePress}, year = {2015}, timestamp = {Wed, 29 Mar 2017 16:45:22 +0200}, biburl = {https://dblp.org/rec/conf/smartgreens/Traverso15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webist/Traverso15, author = {Paolo Traverso}, editor = {Val{\'{e}}rie Monfort and Karl{-}Heinz Krempels and Tim A. Majchrzak and Ziga Turk}, title = {Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities}, booktitle = {{WEBIST} 2015 - Proceedings of the 11th International Conference on Web Information Systems and Technologies, Lisbon, Portugal, 20-22 May, 2015}, pages = {IS--7}, publisher = {SciTePress}, year = {2015}, timestamp = {Wed, 29 Mar 2017 16:45:26 +0200}, biburl = {https://dblp.org/rec/conf/webist/Traverso15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GhallabNT14, author = {Malik Ghallab and Dana S. Nau and Paolo Traverso}, title = {The actor's view of automated planning and acting: {A} position paper}, journal = {Artif. Intell.}, volume = {208}, pages = {1--17}, year = {2014}, url = {https://doi.org/10.1016/j.artint.2013.11.002}, doi = {10.1016/J.ARTINT.2013.11.002}, timestamp = {Thu, 28 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/GhallabNT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/BucchiaroneMPTBK13, author = {Antonio Bucchiarone and Annapaola Marconi and Marco Pistore and Paolo Traverso and Piergiorgio Bertoli and Raman Kazhamiakin}, title = {Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems}, booktitle = {2013 {IEEE} 20th International Conference on Web Services, Santa Clara, CA, USA, June 28 - July 3, 2013}, pages = {571--578}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICWS.2013.82}, doi = {10.1109/ICWS.2013.82}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/BucchiaroneMPTBK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BertoliPT10, author = {Piergiorgio Bertoli and Marco Pistore and Paolo Traverso}, title = {Automated composition of Web services via planning in asynchronous domains}, journal = {Artif. Intell.}, volume = {174}, number = {3-4}, pages = {316--361}, year = {2010}, url = {https://doi.org/10.1016/j.artint.2009.12.002}, doi = {10.1016/J.ARTINT.2009.12.002}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BertoliPT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/KuterNPT09, author = {Ugur Kuter and Dana S. Nau and Marco Pistore and Paolo Traverso}, title = {Task decomposition on abstract states, for planning under nondeterminism}, journal = {Artif. Intell.}, volume = {173}, number = {5-6}, pages = {669--695}, year = {2009}, url = {https://doi.org/10.1016/j.artint.2008.11.012}, doi = {10.1016/J.ARTINT.2008.11.012}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/KuterNPT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fia/PistoreTPW09, author = {Marco Pistore and Paolo Traverso and Massimo Paolucci and Matthias Wagner}, editor = {Georgios Tselentis and John Domingue and Alex Galis and Anastasius Gavras and David Hausheer and Srdjan Krco and Volkmar Lotz and Theodore B. Zahariadis}, title = {From Software Services to a Future Internet of Services}, booktitle = {Towards the Future Internet - {A} European Research Perspective}, pages = {183--192}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-007-0-183}, doi = {10.3233/978-1-60750-007-0-183}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fia/PistoreTPW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esws/2009, editor = {Lora Aroyo and Paolo Traverso and Fabio Ciravegna and Philipp Cimiano and Tom Heath and Eero Hyv{\"{o}}nen and Riichiro Mizoguchi and Eyal Oren and Marta Sabou and Elena Simperl}, title = {The Semantic Web: Research and Applications, 6th European Semantic Web Conference, {ESWC} 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5554}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02121-3}, doi = {10.1007/978-3-642-02121-3}, isbn = {978-3-642-02120-6}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esws/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fis/2008, editor = {John Domingue and Dieter Fensel and Paolo Traverso}, title = {Future Internet - {FIS} 2008, First Future Internet Symposium, {FIS} 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5468}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00985-3}, doi = {10.1007/978-3-642-00985-3}, isbn = {978-3-642-00984-6}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fis/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/MarconiPT08, author = {Annapaola Marconi and Marco Pistore and Paolo Traverso}, title = {Automated Composition of Web Services: the {ASTRO} Approach}, journal = {{IEEE} Data Eng. Bull.}, volume = {31}, number = {3}, pages = {23--26}, year = {2008}, url = {http://sites.computer.org/debull/A08Sept/marconi.pdf}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/MarconiPT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcis/PapazoglouTDL08, author = {Mike P. Papazoglou and Paolo Traverso and Schahram Dustdar and Frank Leymann}, title = {Service-Oriented Computing: a Research Roadmap}, journal = {Int. J. Cooperative Inf. Syst.}, volume = {17}, number = {2}, pages = {223--255}, year = {2008}, url = {https://doi.org/10.1142/S0218843008001816}, doi = {10.1142/S0218843008001816}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijcis/PapazoglouTDL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ShaparauPT08, author = {Dmitry Shaparau and Marco Pistore and Paolo Traverso}, editor = {Dieter Fox and Carla P. Gomes}, title = {Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains}, booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008}, pages = {983--990}, publisher = {{AAAI} Press}, year = {2008}, url = {http://www.aaai.org/Library/AAAI/2008/aaai08-156.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ShaparauPT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/PietroPPST08, author = {Ivan Di Pietro and Francesco Pagliarecci and Marco Pistore and Luca Spalazzi and Paolo Traverso}, editor = {Salvatore Gaglio and Ignazio Infantino and Domenico Sacc{\`{a}}}, title = {Semantic Annotation for Web Service Processes}, booktitle = {Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, {SEBD} 2008, 22-25 June 2008, Mondello, PA, Italy}, pages = {69--80}, year = {2008}, timestamp = {Tue, 17 Mar 2009 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sebd/PietroPPST08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aimsa/2008, editor = {Danail Dochev and Marco Pistore and Paolo Traverso}, title = {Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, {AIMSA} 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5253}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85776-1}, doi = {10.1007/978-3-540-85776-1}, isbn = {978-3-540-85775-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aimsa/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/fai/CimattiPT08, author = {Alessandro Cimatti and Marco Pistore and Paolo Traverso}, editor = {Frank van Harmelen and Vladimir Lifschitz and Bruce W. Porter}, title = {Automated Planning}, booktitle = {Handbook of Knowledge Representation}, series = {Foundations of Artificial Intelligence}, volume = {3}, pages = {841--867}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1574-6526(07)03022-2}, doi = {10.1016/S1574-6526(07)03022-2}, timestamp = {Mon, 06 Nov 2023 17:08:49 +0100}, biburl = {https://dblp.org/rec/reference/fai/CimattiPT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/PapazoglouTDL07, author = {Mike P. Papazoglou and Paolo Traverso and Schahram Dustdar and Frank Leymann}, title = {Service-Oriented Computing: State of the Art and Research Challenges}, journal = {Computer}, volume = {40}, number = {11}, pages = {38--45}, year = {2007}, url = {https://doi.org/10.1109/MC.2007.400}, doi = {10.1109/MC.2007.400}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/PapazoglouTDL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/TraversoP07, author = {Paolo Traverso and Marco Pistore}, title = {Agree or Change! Making Services Evolve}, booktitle = {23rd {IEEE} International Conference on Software Maintenance {(ICSM} 2007), October 2-5, 2007, Paris, France}, pages = {2--3}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICSM.2007.4362612}, doi = {10.1109/ICSM.2007.4362612}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsm/TraversoP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/MarconiPPT07, author = {Annapaola Marconi and Marco Pistore and Piero Poccianti and Paolo Traverso}, title = {AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study}, booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007), July 9-13, 2007, Salt Lake City, Utah, {USA}}, pages = {767--774}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICWS.2007.50}, doi = {10.1109/ICWS.2007.50}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/MarconiPPT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/PagliarecciPST07, author = {Francesco Pagliarecci and Marco Pistore and Luca Spalazzi and Paolo Traverso}, editor = {Michelangelo Ceci and Donato Malerba and Letizia Tanca}, title = {Web Service Discovery at Process-level Based on Semantic Annotation}, booktitle = {Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, {SEBD} 2007, 17-20 June 2007, Torre Canne, Fasano, BR, Italy}, pages = {220--232}, year = {2007}, timestamp = {Thu, 21 Jun 2007 08:28:19 +0200}, biburl = {https://dblp.org/rec/conf/sebd/PagliarecciPST07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/swb/PistoreT07, author = {Marco Pistore and Paolo Traverso}, editor = {Luciano Baresi and Elisabetta Di Nitto}, title = {Assumption-Based Composition and Monitoring of Web Services}, booktitle = {Test and Analysis of Web Services}, pages = {307--335}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72912-9\_11}, doi = {10.1007/978-3-540-72912-9\_11}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/swb/PistoreT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2007P7061, editor = {Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing}, title = {Autonomous and Adaptive Web Services, 04.02. - 09.02.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07061}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/portals/07061/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7061.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/KoehlerPSTW07, author = {Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing}, editor = {Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing}, title = {07061 Abstracts Collection -- Autonomous and Adaptive Web Services}, booktitle = {Autonomous and Adaptive Web Services, 04.02. - 09.02.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07061}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1035}, timestamp = {Thu, 10 Jun 2021 13:02:05 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/KoehlerPSTW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BertoliCRT06, author = {Piergiorgio Bertoli and Alessandro Cimatti and Marco Roveri and Paolo Traverso}, title = {Strong planning under partial observability}, journal = {Artif. Intell.}, volume = {170}, number = {4-5}, pages = {337--384}, year = {2006}, url = {https://doi.org/10.1016/j.artint.2006.01.004}, doi = {10.1016/J.ARTINT.2006.01.004}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BertoliCRT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ShaparauPT06, author = {Dmitry Shaparau and Marco Pistore and Paolo Traverso}, title = {Contingent Planning with Goal Preferences}, booktitle = {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}}, pages = {927--935}, publisher = {{AAAI} Press}, year = {2006}, url = {http://www.aaai.org/Library/AAAI/2006/aaai06-146.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ShaparauPT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/BarbonTPT06, author = {Fabio Barbon and Paolo Traverso and Marco Pistore and Michele Trainotti}, editor = {Derek Long and Stephen F. Smith and Daniel Borrajo and Lee McCluskey}, title = {Run-Time Monitoring of the Execution of Plans for Web Service Composition}, booktitle = {Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006}, pages = {346--349}, publisher = {{AAAI}}, year = {2006}, url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-037.php}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/BarbonTPT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/BertoliPT06, author = {Piergiorgio Bertoli and Marco Pistore and Paolo Traverso}, editor = {Derek Long and Stephen F. Smith and Daniel Borrajo and Lee McCluskey}, title = {Automated Web Service Composition by On-the-Fly Belief Space Search}, booktitle = {Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006}, pages = {358--361}, publisher = {{AAAI}}, year = {2006}, url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-040.php}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/BertoliPT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Traverso06, author = {Paolo Traverso}, editor = {Oliviero Stock and Marco Schaerf}, title = {Planning Under Uncertainty and Its Applications}, booktitle = {Reasoning, Action and Interaction in {AI} Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello}, series = {Lecture Notes in Computer Science}, volume = {4155}, pages = {213--228}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11829263\_12}, doi = {10.1007/11829263\_12}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Traverso06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/PistoreST06, author = {Marco Pistore and Luca Spalazzi and Paolo Traverso}, editor = {York Sure and John Domingue}, title = {A Minimalist Approach to Semantic Annotations for Web Processes Compositions}, booktitle = {The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, {ESWC} 2006, Budva, Montenegro, June 11-14, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4011}, pages = {620--634}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11762256\_45}, doi = {10.1007/11762256\_45}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esws/PistoreST06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/MarconiPT06, author = {Annapaola Marconi and Marco Pistore and Paolo Traverso}, editor = {Asit Dan and Winfried Lamersdorf}, title = {Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals}, booktitle = {Service-Oriented Computing - {ICSOC} 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4294}, pages = {459--464}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11948148\_40}, doi = {10.1007/11948148\_40}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/MarconiPT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/BarbonTPT06, author = {Fabio Barbon and Paolo Traverso and Marco Pistore and Michele Trainotti}, title = {Run-Time Monitoring of Instances and Classes of Web Service Compositions}, booktitle = {2006 {IEEE} International Conference on Web Services {(ICWS} 2006), 18-22 September 2006, Chicago, Illinois, {USA}}, pages = {63--71}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ICWS.2006.113}, doi = {10.1109/ICWS.2006.113}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/BarbonTPT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/PistoreST06, author = {Marco Pistore and Luca Spalazzi and Paolo Traverso}, editor = {Valeria De Antonellis and Claudia Diamantini and Paolo Tiberio}, title = {A Minimalist Approach to Semantic Annotations for Web Processes Compositions}, booktitle = {Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, {SEBD} 2006, Portonovo (Ancona), Italy, 18-21 June 2006}, pages = {208--216}, year = {2006}, timestamp = {Thu, 12 Jul 2018 08:14:41 +0200}, biburl = {https://dblp.org/rec/conf/sebd/PistoreST06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/MarconiPT06, author = {Annapaola Marconi and Marco Pistore and Paolo Traverso}, title = {Specifying Data-Flow Requirements for the Automated Composition of Web Services}, booktitle = {Fourth {IEEE} International Conference on Software Engineering and Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India}, pages = {147--156}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/SEFM.2006.34}, doi = {10.1109/SEFM.2006.34}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/MarconiPT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ecai/2006, editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso}, title = {{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}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {141}, publisher = {{IOS} Press}, year = {2006}, isbn = {1-58603-642-4}, timestamp = {Thu, 12 Feb 2009 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecai/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/PistoreTB05, author = {Marco Pistore and Paolo Traverso and Piergiorgio Bertoli}, editor = {Susanne Biundo and Karen L. Myers and Kanna Rajan}, title = {Automated Composition of Web Services by Planning in Asynchronous Domains}, booktitle = {Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling {(ICAPS} 2005), June 5-10 2005, Monterey, California, {USA}}, pages = {2--11}, publisher = {{AAAI}}, year = {2005}, url = {http://www.aaai.org/Library/ICAPS/2005/icaps05-001.php}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/PistoreTB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/KuterNPT05, author = {Ugur Kuter and Dana S. Nau and Marco Pistore and Paolo Traverso}, editor = {Susanne Biundo and Karen L. Myers and Kanna Rajan}, title = {A Hierarchical Task-Network Planner based on Symbolic Model Checking}, booktitle = {Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling {(ICAPS} 2005), June 5-10 2005, Monterey, California, {USA}}, pages = {300--309}, publisher = {{AAAI}}, year = {2005}, url = {http://www.aaai.org/Library/ICAPS/2005/icaps05-031.php}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/KuterNPT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/PistoreRT05, author = {Marco Pistore and Pierluigi Roberti and Paolo Traverso}, editor = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and J{\'{e}}r{\^{o}}me Euzenat}, title = {Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition}, booktitle = {The Semantic Web: Research and Applications, Second European Semantic Web Conference, {ESWC} 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3532}, pages = {62--77}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11431053\_5}, doi = {10.1007/11431053\_5}, timestamp = {Mon, 28 Aug 2023 21:17:38 +0200}, biburl = {https://dblp.org/rec/conf/esws/PistoreRT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/TrainottiPCZLBBT05, author = {Michele Trainotti and Marco Pistore and Gaetano Calabrese and Gabriele Zacco and Gigi Lucchese and Fabio Barbon and Piergiorgio Bertoli and Paolo Traverso}, editor = {Boualem Benatallah and Fabio Casati and Paolo Traverso}, title = {{ASTRO:} Supporting Composition and Execution of Web Services}, booktitle = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3826}, pages = {495--501}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11596141\_39}, doi = {10.1007/11596141\_39}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/TrainottiPCZLBBT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/PistoreTBM05, author = {Marco Pistore and Paolo Traverso and Piergiorgio Bertoli and Annapaola Marconi}, title = {Automated Synthesis of Composite {BPEL4WS} Web Services}, booktitle = {2005 {IEEE} International Conference on Web Services {(ICWS} 2005), 11-15 July 2005, Orlando, FL, {USA}}, pages = {293--301}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ICWS.2005.27}, doi = {10.1109/ICWS.2005.27}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/PistoreTBM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/PistoreMBT05, author = {Marco Pistore and Annapaola Marconi and Piergiorgio Bertoli and Paolo Traverso}, editor = {Leslie Pack Kaelbling and Alessandro Saffiotti}, title = {Automated Composition of Web Services by Planning at the Knowledge Level}, booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005}, pages = {1252--1259}, publisher = {Professional Book Center}, year = {2005}, url = {http://ijcai.org/Proceedings/05/Papers/1428.pdf}, timestamp = {Tue, 20 Aug 2019 16:16:29 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/PistoreMBT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/PistoreTBM05, author = {Marco Pistore and Paolo Traverso and Piergiorgio Bertoli and Annapaola Marconi}, editor = {Allan Ellis and Tatsuya Hagino}, title = {Automated synthesis of executable web service compositions from {BPEL4WS} processes}, booktitle = {Proceedings of the 14th international conference on World Wide Web, {WWW} 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters}, pages = {1186--1187}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1062745.1062931}, doi = {10.1145/1062745.1062931}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/www/PistoreTBM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icsoc/2005, editor = {Boualem Benatallah and Fabio Casati and Paolo Traverso}, title = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3826}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11596141}, doi = {10.1007/11596141}, isbn = {3-540-30817-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/PapazoglouTDLK05, author = {Mike P. Papazoglou and Paolo Traverso and Schahram Dustdar and Frank Leymann and Bernd J. Kr{\"{a}}mer}, editor = {Francisco Curbera and Bernd J. Kr{\"{a}}mer and Mike P. Papazoglou}, title = {05462 Service-Oriented Computing: {A} Research Roadmap}, booktitle = {Service Oriented Computing (SOC), 15.-18. November 2005}, series = {Dagstuhl Seminar Proceedings}, volume = {05462}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2005}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/524}, timestamp = {Thu, 10 Jun 2021 13:02:10 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/PapazoglouTDLK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0014222, author = {Malik Ghallab and Dana S. Nau and Paolo Traverso}, title = {Automated planning - theory and practice}, publisher = {Elsevier}, year = {2004}, isbn = {978-1-55860-856-6}, timestamp = {Thu, 14 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0014222.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/re/FuxmanLMRT04, author = {Ariel Fuxman and Lin Liu and John Mylopoulos and Marco Roveri and Paolo Traverso}, title = {Specifying and analyzing early requirements in Tropos}, journal = {Requir. Eng.}, volume = {9}, number = {2}, pages = {132--150}, year = {2004}, url = {https://doi.org/10.1007/s00766-004-0191-7}, doi = {10.1007/S00766-004-0191-7}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/re/FuxmanLMRT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aimsa/PistoreBBST04, author = {Marco Pistore and Fabio Barbon and Piergiorgio Bertoli and Dmitry Shaparau and Paolo Traverso}, editor = {Christoph Bussler and Dieter Fensel}, title = {Planning and Monitoring Web Service Composition}, booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 11th International Conference, {AIMSA} 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3192}, pages = {106--115}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30106-6\_11}, doi = {10.1007/978-3-540-30106-6\_11}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aimsa/PistoreBBST04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BertoliCT04, author = {Piergiorgio Bertoli and Alessandro Cimatti and Paolo Traverso}, editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and Lorenza Saitta}, title = {Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains}, booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, {PAIS} 2004, Valencia, Spain, August 22-27, 2004}, pages = {657--661}, publisher = {{IOS} Press}, year = {2004}, timestamp = {Fri, 11 May 2018 12:42:30 +0200}, biburl = {https://dblp.org/rec/conf/ecai/BertoliCT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/TraversoP04, author = {Paolo Traverso and Marco Pistore}, editor = {Sheila A. McIlraith and Dimitris Plexousakis and Frank van Harmelen}, title = {Automated Composition of Semantic Web Services into Executable Processes}, booktitle = {The Semantic Web - {ISWC} 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3298}, pages = {380--394}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30475-3\_27}, doi = {10.1007/978-3-540-30475-3\_27}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/TraversoP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/CimattiPRT03, author = {Alessandro Cimatti and Marco Pistore and Marco Roveri and Paolo Traverso}, title = {Weak, strong, and strong cyclic planning via symbolic model checking}, journal = {Artif. Intell.}, volume = {147}, number = {1-2}, pages = {35--84}, year = {2003}, url = {https://doi.org/10.1016/S0004-3702(02)00374-0}, doi = {10.1016/S0004-3702(02)00374-0}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/CimattiPRT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/BertoliCPT03, author = {Piergiorgio Bertoli and Alessandro Cimatti and Marco Pistore and Paolo Traverso}, editor = {Enrico Giunchiglia and Nicola Muscettola and Dana S. Nau}, title = {A Framework for Planning with Extended Goals under Partial Observability}, booktitle = {Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling {(ICAPS} 2003), June 9-13, 2003, Trento, Italy}, pages = {215--225}, publisher = {{AAAI}}, year = {2003}, url = {http://www.aaai.org/Library/ICAPS/2003/icaps03-022.php}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/BertoliCPT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/03/Traverso03, author = {Paolo Traverso}, editor = {Giacomo Della Riccia and Didier Dubois and Rudolf Kruse and Hans{-}Joachim Lenz}, title = {The Problem of Planning with Three Sources of Uncertainty}, booktitle = {Planning Based on Decision Theory}, series = {{CISM} courses and lectures : International Centre for Mechanical Sciences}, volume = {472}, pages = {73--84}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-7091-2530-4\_5}, doi = {10.1007/978-3-7091-2530-4\_5}, timestamp = {Wed, 31 Jul 2019 12:24:23 +0200}, biburl = {https://dblp.org/rec/books/sp/03/Traverso03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/LagoPT02, author = {Ugo Dal Lago and Marco Pistore and Paolo Traverso}, editor = {Rina Dechter and Michael J. Kearns and Richard S. Sutton}, title = {Planning with a Language for Extended Goals}, booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada}, pages = {447--454}, publisher = {{AAAI} Press / The {MIT} Press}, year = {2002}, url = {http://www.aaai.org/Library/AAAI/2002/aaai02-068.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/LagoPT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tes/AielloPYCPST02, author = {Marco Aiello and Mike P. Papazoglou and Jian Yang and Mark James Carman and Marco Pistore and Luciano Serafini and Paolo Traverso}, editor = {Alejandro P. Buchmann and Fabio Casati and Ludger Fiege and Meichun Hsu and Ming{-}Chien Shan}, title = {A Request Language for Web-Services Based on Planning and Constraint Satisfaction}, booktitle = {Technologies for E-Services, Third International Workshop, {TES} 2002, Hong Kong, China, August 23-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2444}, pages = {76--85}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46121-3\_10}, doi = {10.1007/3-540-46121-3\_10}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tes/AielloPYCPST02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aips/2002, editor = {Malik Ghallab and Joachim Hertzberg and Paolo Traverso}, title = {Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, France}, publisher = {{AAAI}}, year = {2002}, isbn = {1-57735-142-8}, timestamp = {Wed, 02 Jul 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aips/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BertoliCRT01, author = {Piergiorgio Bertoli and Alessandro Cimatti and Marco Roveri and Paolo Traverso}, editor = {Bernhard Nebel}, title = {Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking}, booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10, 2001}, pages = {473--478}, publisher = {Morgan Kaufmann}, year = {2001}, timestamp = {Tue, 20 Aug 2019 16:18:14 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BertoliCRT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/PistoreT01, author = {Marco Pistore and Paolo Traverso}, editor = {Bernhard Nebel}, title = {Planning as Model Checking for Extended Goals in Non-deterministic Domains}, booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10, 2001}, pages = {479--486}, publisher = {Morgan Kaufmann}, year = {2001}, timestamp = {Fri, 23 May 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/PistoreT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/FuxmanMPT01, author = {Ariel Fuxman and John Mylopoulos and Marco Pistore and Paolo Traverso}, title = {Model Checking Early Requirements Specifications in Tropos}, booktitle = {5th {IEEE} International Symposium on Requirements Engineering {(RE} 2001), 27-31 August 2001, Toronto, Canada}, pages = {174--181}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/ISRE.2001.948557}, doi = {10.1109/ISRE.2001.948557}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/FuxmanMPT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/SpalazziT00, author = {Luca Spalazzi and Paolo Traverso}, title = {A dynamic logic for acting, sensing, and planning}, journal = {J. Log. Comput.}, volume = {10}, number = {6}, pages = {787--821}, year = {2000}, url = {https://doi.org/10.1093/logcom/10.6.787}, doi = {10.1093/LOGCOM/10.6.787}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/SpalazziT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/GiunchigliaT00, author = {Fausto Giunchiglia and Paolo Traverso}, title = {Theorem proving in technology transfer: the user's point of view}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {3}, number = {1}, pages = {1--12}, year = {2000}, url = {https://doi.org/10.1007/PL00010806}, doi = {10.1007/PL00010806}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/GiunchigliaT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/TraversoB00, author = {Paolo Traverso and Piergiorgio Bertoli}, title = {Mechanized result verification: an industrial application}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {3}, number = {1}, pages = {78--92}, year = {2000}, url = {https://doi.org/10.1007/PL00010809}, doi = {10.1007/PL00010809}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/TraversoB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecp/GiunchigliaT99, author = {Fausto Giunchiglia and Paolo Traverso}, editor = {Susanne Biundo and Maria Fox}, title = {Planning as Model Checking}, booktitle = {Recent Advances in {AI} Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1809}, pages = {1--20}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/10720246\_1}, doi = {10.1007/10720246\_1}, timestamp = {Tue, 02 Nov 2021 15:59:06 +0100}, biburl = {https://dblp.org/rec/conf/ecp/GiunchigliaT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecp/DanieleTV99, author = {Marco Daniele and Paolo Traverso and Moshe Y. Vardi}, editor = {Susanne Biundo and Maria Fox}, title = {Strong Cyclic Planning Revisited}, booktitle = {Recent Advances in {AI} Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1809}, pages = {35--48}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/10720246\_3}, doi = {10.1007/10720246\_3}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecp/DanieleTV99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/CimattiPSTV99, author = {Alessandro Cimatti and P. L. Pieraccini and Roberto Sebastiani and Paolo Traverso and Adolfo Villafiorita}, editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies}, title = {Formal Specification and Validation of a Vital Communication Protocol}, booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}, series = {Lecture Notes in Computer Science}, volume = {1709}, pages = {1584--1604}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48118-4\_34}, doi = {10.1007/3-540-48118-4\_34}, timestamp = {Fri, 17 Feb 2023 09:02:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/CimattiPSTV99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ChiappiniCPRSTV99, author = {Angelo Chiappini and Alessandro Cimatti and Carmen Porzia and G. Rotondo and Roberto Sebastiani and Paolo Traverso and Adolfo Villafiorita}, editor = {Massimo Felici and Karama Kanoun and Alberto Pasquini}, title = {Formal Specification and Development of a Safety-Critical Train Management System}, booktitle = {Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1698}, pages = {410--419}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48249-0\_35}, doi = {10.1007/3-540-48249-0\_35}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ChiappiniCPRSTV99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fm/1998, editor = {Dieter Hutter and Werner Stephan and Paolo Traverso and Markus Ullmann}, title = {Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1641}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48257-1}, doi = {10.1007/3-540-48257-1}, isbn = {3-540-66462-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/CimattiGMRTT98, author = {Alessandro Cimatti and Fausto Giunchiglia and Giorgio Mongardi and Dario Romano and Fernando Torielli and Paolo Traverso}, title = {Formal Verification of a Railway Interlocking System using Model Checking}, journal = {Formal Aspects Comput.}, volume = {10}, number = {4}, pages = {361--380}, year = {1998}, url = {https://doi.org/10.1007/s001650050022}, doi = {10.1007/S001650050022}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/CimattiGMRTT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/CimattiRT98, author = {Alessandro Cimatti and Marco Roveri and Paolo Traverso}, editor = {Jack Mostow and Chuck Rich}, title = {Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains}, booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, {AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}}, pages = {875--881}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1998}, url = {http://www.aaai.org/Library/AAAI/1998/aaai98-124.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/CimattiRT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/CimattiRT98, author = {Alessandro Cimatti and Marco Roveri and Paolo Traverso}, editor = {Reid G. Simmons and Manuela M. Veloso and Stephen F. Smith}, title = {Strong Planning in Non-Deterministic Domains Via Model Checking}, booktitle = {Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, Pittsburgh, Pennsylvania, USA, 1998}, pages = {36--43}, publisher = {{AAAI}}, year = {1998}, url = {http://www.aaai.org/Library/AIPS/1998/aips98-005.php}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/CimattiRT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BertoliCGT98, author = {Piergiorgio Bertoli and Alessandro Cimatti and Fausto Giunchiglia and Paolo Traverso}, editor = {Wolfgang D. Ehrenberger}, title = {A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools}, booktitle = {Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1516}, pages = {221--230}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49646-7\_17}, doi = {10.1007/3-540-49646-7\_17}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BertoliCGT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/CimattiGMRTT98, author = {Alessandro Cimatti and Fausto Giunchiglia and Giorgio Mongardi and Dario Romano and Fernando Torielli and Paolo Traverso}, editor = {Wolfgang D. Ehrenberger}, title = {Model Checking Safety Critical Software with {SPIN:} An Application to a Railway Interlocking System}, booktitle = {Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1516}, pages = {284--295}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49646-7\_22}, doi = {10.1007/3-540-49646-7\_22}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/CimattiGMRTT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/CimattiGPPPRTY97, author = {Alessandro Cimatti and Fausto Giunchiglia and Paolo Pecchiari and Bruno Pietra and Joe Profeta and Dario Romano and Paolo Traverso and Bing Yu}, editor = {Orna Grumberg}, title = {A Provably Correct Embedded Verifier for the Certification of Safety Critical Software}, booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97, Haifa, Israel, June 22-25, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1254}, pages = {202--213}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63166-6\_21}, doi = {10.1007/3-540-63166-6\_21}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/CimattiGPPPRTY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecp/CimattiGGT97, author = {Alessandro Cimatti and Fausto Giunchiglia and Enrico Giunchiglia and Paolo Traverso}, editor = {Sam Steel and Rachid Alami}, title = {Planning via Model Checking: {A} Decision Procedure for \emph{AR}}, booktitle = {Recent Advances in {AI} Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1348}, pages = {130--142}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63912-8\_81}, doi = {10.1007/3-540-63912-8\_81}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecp/CimattiGGT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/GiunchigliaT96, author = {Fausto Giunchiglia and Paolo Traverso}, title = {A Metatheory of a Mechanized Object Theory}, journal = {Artif. Intell.}, volume = {80}, number = {1-2}, pages = {197--241}, year = {1996}, url = {https://doi.org/10.1016/0004-3702(95)00002-X}, doi = {10.1016/0004-3702(95)00002-X}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/GiunchigliaT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/GiunchigliaT96, author = {Fausto Giunchiglia and Paolo Traverso}, title = {Program Tactics and Logic Tactics}, journal = {Ann. Math. Artif. Intell.}, volume = {17}, number = {3-4}, pages = {235--259}, year = {1996}, url = {https://doi.org/10.1007/BF02127970}, doi = {10.1007/BF02127970}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/GiunchigliaT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijis/CimattiT96, author = {Alessandro Cimatti and Paolo Traverso}, title = {Computational reflection via mechanized logical deduction}, journal = {Int. J. Intell. Syst.}, volume = {11}, number = {5}, pages = {279--293}, year = {1996}, url = {https://doi.org/10.1002/(SICI)1098-111X(199605)11:5\&\#60;279::AID-INT3\&\#62;3.0.CO;2-L}, doi = {10.1002/(SICI)1098-111X(199605)11:5\&\#60;279::AID-INT3\&\#62;3.0.CO;2-L}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijis/CimattiT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsmc/GiunchigliaATC96, author = {Enrico Giunchiglia and Alessandro Armando and Paolo Traverso and Alessandro Cimatti}, title = {Visual representation of natural language scene descriptions}, journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}}, volume = {26}, number = {4}, pages = {575--589}, year = {1996}, url = {https://doi.org/10.1109/3477.517032}, doi = {10.1109/3477.517032}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsmc/GiunchigliaATC96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijis/GiunchigliaT95, author = {Enrico Giunchiglia and Paolo Traverso}, title = {A multicontext architecture for formalizing complex reasoning}, journal = {Int. J. Intell. Syst.}, volume = {10}, number = {5}, pages = {501--539}, year = {1995}, url = {https://doi.org/10.1002/int.4550100504}, doi = {10.1002/INT.4550100504}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijis/GiunchigliaT95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/TraversoSG95, author = {Paolo Traverso and Luca Spalazzi and Fausto Giunchiglia}, editor = {Michael J. Wooldridge and J{\"{o}}rg P. M{\"{u}}ller and Milind Tambe}, title = {Reasoning About Acting, Sensing, and Failure Handling: {A} Logic for Agents Embedded in the Real World}, booktitle = {Intelligent Agents II, Agent Theories, Architectures, and Languages, {IJCAI} '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1037}, pages = {65--78}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3540608052\_59}, doi = {10.1007/3540608052\_59}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/TraversoSG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/TraversoS95, author = {Paolo Traverso and Luca Spalazzi}, title = {A Logic for Acting, Sensing and Planning}, booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada, August 20-25 1995, 2 Volumes}, pages = {1941--1949}, publisher = {Morgan Kaufmann}, year = {1995}, url = {http://ijcai.org/Proceedings/95-2/Papers/117.pdf}, timestamp = {Tue, 20 Aug 2019 16:17:30 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/TraversoS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aai/TraversoCSAG94, author = {Paolo Traverso and Alessandro Cimatti and Luca Spalazzi and Alessandro Armando and Enrico Giunchiglia}, title = {{MRG:} Building planers for real-world complex applications}, journal = {Appl. Artif. Intell.}, volume = {8}, number = {3}, pages = {333--357}, year = {1994}, url = {https://doi.org/10.1080/08839519408945447}, doi = {10.1080/08839519408945447}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aai/TraversoCSAG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/GiunchigliaST94, author = {Fausto Giunchiglia and Luca Spalazzi and Paolo Traverso}, editor = {Kristian J. Hammond}, title = {Planning with Failure}, booktitle = {Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, University of Chicago, Chicago, Illinois, USA, June 13-15, 1994}, pages = {74--79}, publisher = {{AAAI}}, year = {1994}, url = {http://www.aaai.org/Library/AIPS/1994/aips94-013.php}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aips/GiunchigliaST94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/GiunchigliaT94, author = {Fausto Giunchiglia and Paolo Traverso}, editor = {Frank Pfenning}, title = {Program Tactics and Logic Tactics}, booktitle = {Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {822}, pages = {16--30}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58216-9\_26}, doi = {10.1007/3-540-58216-9\_26}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/GiunchigliaT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijmms/GiunchigliaFTT92, author = {Fausto Giunchiglia and Carlo Ferrari and Paolo Traverso and Emanuele Trucco}, title = {Understanding Scene Descriptions by Integrating Different Sources of Knowledge}, journal = {Int. J. Man Mach. Stud.}, volume = {37}, number = {1}, pages = {47--81}, year = {1992}, url = {https://doi.org/10.1016/0020-7373(92)90091-X}, doi = {10.1016/0020-7373(92)90091-X}, timestamp = {Fri, 15 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijmms/GiunchigliaFTT92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aimsa/TraversoAG92, author = {Paolo Traverso and Alessandro Armando and Enrico Giunchiglia}, editor = {Benedict du Boulay and Vassil Stoyanov Sgurev}, title = {A Knowledge Based System for Automatic 3D Scene}, booktitle = {Artificial Intelligence {V:} Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, {AIMSA} 1992, Sofia, Bulgaria, September 21-24, 1992}, pages = {255--264}, publisher = {North-Holland}, year = {1992}, timestamp = {Thu, 16 Mar 2017 14:36:24 +0100}, biburl = {https://dblp.org/rec/conf/aimsa/TraversoAG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/TraversoCS92, author = {Paolo Traverso and Alessandro Cimatti and Luca Spalazzi}, editor = {Bernd Neumann}, title = {Beyond the Single Planning Paradigm: Introspective Planning}, booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna, Austria, August 3-7, 1992. Proceedings}, pages = {643--647}, publisher = {John Wiley and Sons}, year = {1992}, timestamp = {Wed, 31 Jul 2019 08:44:58 +0200}, biburl = {https://dblp.org/rec/conf/ecai/TraversoCS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/BasinGT91, author = {David A. Basin and Fausto Giunchiglia and Paolo Traverso}, editor = {Edoardo Ardizzone and Salvatore Gaglio and Filippo Sorbello}, title = {Automating Meta-Theory Creation and System Extension}, booktitle = {Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {549}, pages = {48--57}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54712-6\_217}, doi = {10.1007/3-540-54712-6\_217}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/aiia/BasinGT91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/GiunchigliaT91, author = {Fausto Giunchiglia and Paolo Traverso}, editor = {John Mylopoulos and Raymond Reiter}, title = {Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code}, booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991}, pages = {111--117}, publisher = {Morgan Kaufmann}, year = {1991}, url = {http://ijcai.org/Proceedings/91-1/Papers/019.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:13 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/GiunchigliaT91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.