@inproceedings{DBLP:conf/dali/ArecesFSV22,
  author       = {Carlos Areces and
                  Raul Fervari and
                  Andr{\'{e}}s R. Saravia and
                  Fernando R. Vel{\'{a}}zquez{-}Quesada},
  editor       = {Carlos Areces and
                  Diana Costa},
  title        = {First Steps in Updating Knowing How},
  booktitle    = {Dynamic Logic. New Trends and Applications - 4th International Workshop,
                  DaL{\'{\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13780},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-26622-5\_1},
  doi          = {10.1007/978-3-031-26622-5\_1},
  timestamp    = {Mon, 20 Feb 2023 17:49:52 +0100},
  biburl       = {https://dblp.org/rec/conf/dali/ArecesFSV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"AMT3qyQ4rZvA4yW5v","bibbaseid":"areces-fervari-saravia-velaposazquezquesada-firststepsinupdatingknowinghow-2022","author_short":["Areces, C.","Fervari, R.","Saravia, A. R.","Vel'azquez-Quesada, F. R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Carlos"],"propositions":[],"lastnames":["Areces"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Andr'es","R."],"propositions":[],"lastnames":["Saravia"],"suffixes":[]},{"firstnames":["Fernando","R."],"propositions":[],"lastnames":["Vel'azquez-Quesada"],"suffixes":[]}],"editor":[{"firstnames":["Carlos"],"propositions":[],"lastnames":["Areces"],"suffixes":[]},{"firstnames":["Diana"],"propositions":[],"lastnames":["Costa"],"suffixes":[]}],"title":"First Steps in Updating Knowing How","booktitle":"Dynamic Logic. New Trends and Applications - 4th International Workshop, DaL'ı 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"13780","pages":"1–16","publisher":"Springer","year":"2022","url":"https://doi.org/10.1007/978-3-031-26622-5\\_1","doi":"10.1007/978-3-031-26622-5_1","timestamp":"Mon, 20 Feb 2023 17:49:52 +0100","biburl":"https://dblp.org/rec/conf/dali/ArecesFSV22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/dali/ArecesFSV22,\n author = {Carlos Areces and\n Raul Fervari and\n Andr{\\'{e}}s R. Saravia and\n Fernando R. Vel{\\'{a}}zquez{-}Quesada},\n editor = {Carlos Areces and\n Diana Costa},\n title = {First Steps in Updating Knowing How},\n booktitle = {Dynamic Logic. New Trends and Applications - 4th International Workshop,\n DaL{\\'{\\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised\n Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {13780},\n pages = {1--16},\n publisher = {Springer},\n year = {2022},\n url = {https://doi.org/10.1007/978-3-031-26622-5\\_1},\n doi = {10.1007/978-3-031-26622-5\\_1},\n timestamp = {Mon, 20 Feb 2023 17:49:52 +0100},\n biburl = {https://dblp.org/rec/conf/dali/ArecesFSV22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n","author_short":["Areces, C.","Fervari, R.","Saravia, A. R.","Vel'azquez-Quesada, F. R."],"editor_short":["Areces, C.","Costa, D."],"key":"DBLP:conf/dali/ArecesFSV22","id":"DBLP:conf/dali/ArecesFSV22","bibbaseid":"areces-fervari-saravia-velaposazquezquesada-firststepsinupdatingknowinghow-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-26622-5\\_1"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/9953.html?view=bibtex","dataSources":["MSnnygamX7qXNxsq6"],"keywords":[],"search_terms":["first","steps","updating","knowing","areces","fervari","saravia","vel'azquez-quesada"],"title":"First Steps in Updating Knowing How","year":2022}