The Complexity of Model Checking Knowledge and Time. Bozzelli, L., Maubert, B., & Murano, A. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, pages 1595–1601, 2019. ijcai.org.
Paper doi bibtex @inproceedings{DBLP:conf/ijcai/BozzelliMM19,
author = {Laura Bozzelli and
Bastien Maubert and
Aniello Murano},
editor = {Sarit Kraus},
title = {The Complexity of Model Checking Knowledge and Time},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1595--1601},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/221},
doi = {10.24963/IJCAI.2019/221},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BozzelliMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"Z9nDTGtXBTEcrbFoz","bibbaseid":"bozzelli-maubert-murano-thecomplexityofmodelcheckingknowledgeandtime-2019","author_short":["Bozzelli, L.","Maubert, B.","Murano, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Laura"],"propositions":[],"lastnames":["Bozzelli"],"suffixes":[]},{"firstnames":["Bastien"],"propositions":[],"lastnames":["Maubert"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]}],"editor":[{"firstnames":["Sarit"],"propositions":[],"lastnames":["Kraus"],"suffixes":[]}],"title":"The Complexity of Model Checking Knowledge and Time","booktitle":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019","pages":"1595–1601","publisher":"ijcai.org","year":"2019","url":"https://doi.org/10.24963/ijcai.2019/221","doi":"10.24963/IJCAI.2019/221","timestamp":"Thu, 23 Jun 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/ijcai/BozzelliMM19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/BozzelliMM19,\n author = {Laura Bozzelli and\n Bastien Maubert and\n Aniello Murano},\n editor = {Sarit Kraus},\n title = {The Complexity of Model Checking Knowledge and Time},\n booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on\n Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,\n 2019},\n pages = {1595--1601},\n publisher = {ijcai.org},\n year = {2019},\n url = {https://doi.org/10.24963/ijcai.2019/221},\n doi = {10.24963/IJCAI.2019/221},\n timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/BozzelliMM19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bozzelli, L.","Maubert, B.","Murano, A."],"editor_short":["Kraus, S."],"key":"DBLP:conf/ijcai/BozzelliMM19","id":"DBLP:conf/ijcai/BozzelliMM19","bibbaseid":"bozzelli-maubert-murano-thecomplexityofmodelcheckingknowledgeandtime-2019","role":"author","urls":{"Paper":"https://doi.org/10.24963/ijcai.2019/221"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"],"keywords":[],"search_terms":["complexity","model","checking","knowledge","time","bozzelli","maubert","murano"],"title":"The Complexity of Model Checking Knowledge and Time","year":2019}