Number of the records: 1
Decidability and Complexity of Some Finitely-valued Dynamic Logics
- 1.
SYSNO 0547245 Title Decidability and Complexity of Some Finitely-valued Dynamic Logics Author(s) Sedlár, Igor (UIVT-O) RID, ORCID, SAI Corespondence/senior Sedlár, Igor - Korespondující autor Source Title Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. S. 570-580. - Online : IJCAI Organization, 2021 / Bienvenu M. ; Lakemeyer G. ; Erdem E. Conference KR2021: International Conference on Principles of Knowledge Representation and Reasoning /18./, 03.11.2021 - 12.11.2021, Hanoi / Online Document Type Konferenční příspěvek (zahraniční konf.) Grant GJ18-19162Y GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic Institutional support UIVT-O - RVO:67985807 Language eng Country US Keywords reasoning about actions and change * action languages Uncertainty * vagueness * many-valued and fuzzy logics Permanent Link http://hdl.handle.net/11104/0323528 File Download Size Commentary Version Access 0547245-aoa.pdf 1 247.1 KB volně online Publisher’s postprint open-access
Number of the records: 1