0547245 - ÚI 2022 RIV US eng C - Conference Paper (international conference)
Sedlár, Igor
Decidability and Complexity of Some Finitely-valued Dynamic Logics.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Online: IJCAI Organization, 2021 - (Bienvenu, M.; Lakemeyer, G.; Erdem, E.), s. 570-580. ISBN 978-1-956792-99-7. ISSN 2334-1033.
[KR2021: International Conference on Principles of Knowledge Representation and Reasoning /18./. Hanoi / Online (VN), 03.11.2021-12.11.2021]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : reasoning about actions and change * action languages Uncertainty * vagueness * many-valued and fuzzy logics
OECD category: Pure mathematics
DOI: https://doi.org/10.24963/kr.2021/54
Permanent Link: http://hdl.handle.net/11104/0323528