Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-03-26 21:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
