Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Arnaud Lequen"'
Autor:
Arnaud Lequen, Thomas Bolander
Publikováno v:
Bolander, T & Lequen, A 2022, ' Parameterized Complexity of Dynamic Belief Updates: A Complete Map ', Journal of Logic and Computation . https://doi.org/10.1093/logcom/exac010
Dynamic Belief Update is a model checking problem in Dynamic Epistemic Logic concerning the effect of applying a number of epistemic actions on an initial epistemic model. It can also be considered as a plan verification problem in epistemic planning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0f2eac46254356ec170fefbc745b8c2
https://orbit.dtu.dk/en/publications/ab4c7183-ced5-4bd9-9289-ef299daba4d2
https://orbit.dtu.dk/en/publications/ab4c7183-ced5-4bd9-9289-ef299daba4d2
Publikováno v:
HAL
Determining whether two STRIPS planning instances are isomorphic is the simplest form of comparison between planning instances. It is also a particular case of the problem concerned with finding an isomorphism between a planning instance P and a sub-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::30b138dc6c9124660320156077b191d7
https://hal.science/hal-03819065
https://hal.science/hal-03819065
Autor:
Arnaud Lequen, Thomas Bolander
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030658397
DaLí
DaLí
Dynamic Belief Update (DBU) is a model checking problem in Dynamic Epistemic Logic (DEL) concerning the effect of applying a number of epistemic actions on an initial epistemic model. It can also be considered as a plan verification problem in episte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7c34aa165ee7ab8827a23999f20cea4
https://doi.org/10.1007/978-3-030-65840-3_6
https://doi.org/10.1007/978-3-030-65840-3_6
Autor:
Bolander, Thomas, Lequen, Arnaud
Publikováno v:
Journal of Logic & Computation; Sep2023, Vol. 33 Issue 6, p1270-1300, 31p
Autor:
Martins, Manuel A, Sedlár, Igor
Publikováno v:
Journal of Logic & Computation; Sep2023, Vol. 33 Issue 6, p1119-1121, 3p
This book contains the revised and extended versions of selected papers from the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, held in Lisbon, Portugal, during February 22–24, 2023. The 23 full papers included
Autor:
Manuel A. Martins, Igor Sedlár
This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 sh