Zobrazeno 1 - 3
of 3
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