Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dali/dali2023.bht:"
download as .bib file
@proceedings{DBLP:conf/dali/2023,
editor = {Nina Gierasimczuk and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {Dynamic Logic. New Trends and Applications - 5th International Workshop,
DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14401},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-51777-8},
doi = {10.1007/978-3-031-51777-8},
isbn = {978-3-031-51776-1},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dali/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/BussiCG23,
author = {Laura Bussi and
Vincenzo Ciancia and
Fabio Gadducci},
editor = {Nina Gierasimczuk and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {A Spatial Logic with Time and Quantifiers},
booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop,
DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14401},
pages = {1--19},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-51777-8\_1},
doi = {10.1007/978-3-031-51777-8\_1},
timestamp = {Thu, 18 Jan 2024 08:27:16 +0100},
biburl = {https://dblp.org/rec/conf/dali/BussiCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/ChenL23,
author = {Qian Chen and
Dazhu Li},
editor = {Nina Gierasimczuk and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {Logic of the Hide and Seek Game: Characterization, Axiomatization,
Decidability},
booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop,
DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14401},
pages = {20--34},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-51777-8\_2},
doi = {10.1007/978-3-031-51777-8\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dali/ChenL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/DuC23,
author = {Penghao Du and
Qian Chen},
editor = {Nina Gierasimczuk and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {Axiomatization of Hybrid Logic of Link Variations},
booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop,
DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14401},
pages = {35--51},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-51777-8\_3},
doi = {10.1007/978-3-031-51777-8\_3},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dali/DuC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/Sedlar23,
author = {Igor Sedl{\'{a}}r},
editor = {Nina Gierasimczuk and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {Kleene Algebra of Weighted Programs with Domain},
booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop,
DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14401},
pages = {52--67},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-51777-8\_4},
doi = {10.1007/978-3-031-51777-8\_4},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dali/Sedlar23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/TakagiDO23,
author = {Tsubasa Takagi and
Canh Minh Do and
Kazuhiro Ogata},
editor = {Nina Gierasimczuk and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {Automated Quantum Program Verification in Dynamic Quantum Logic},
booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop,
DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14401},
pages = {68--84},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-51777-8\_5},
doi = {10.1007/978-3-031-51777-8\_5},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dali/TakagiDO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/ThoftG23,
author = {Katrine Bj{\o}rn Pedersen Thoft and
Nina Gierasimczuk},
editor = {Nina Gierasimczuk and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {Learning by Intervention in Simple Causal Domains},
booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop,
DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14401},
pages = {104--118},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-51777-8\_7},
doi = {10.1007/978-3-031-51777-8\_7},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dali/ThoftG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/TopJVW23,
author = {Jakob Dirk Top and
Catholijn M. Jonker and
Rineke Verbrugge and
Harmen de Weerd},
editor = {Nina Gierasimczuk and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {Predictive Theory of Mind Models Based on Public Announcement Logic},
booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop,
DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14401},
pages = {85--103},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-51777-8\_6},
doi = {10.1007/978-3-031-51777-8\_6},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dali/TopJVW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/XieHL23,
author = {Kaibo Xie and
Qingyu He and
Fenrong Liu},
editor = {Nina Gierasimczuk and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {A Logical Approach to Doxastic Causal Reasoning},
booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop,
DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14401},
pages = {119--135},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-51777-8\_8},
doi = {10.1007/978-3-031-51777-8\_8},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dali/XieHL23.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.
retrieved on 2024-09-12 04:46 CEST from data curated 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:
