Number of the records: 1
Decidability and Complexity of Some Finitely-valued Dynamic Logics
SYS 0547245 LBL 01000a^^22220027750^450 005 20231122150033.4 014 $a 85126244126 $2 SCOPUS 017 $a 10.24963/kr.2021/54 $2 DOI 100 $a 20211027d m y slo 03 ba 101 $a eng 102 $a US 200 1-
$a Decidability and Complexity of Some Finitely-valued Dynamic Logics 215 $a 11 s. $c E 463 -1
$1 001 cav_un_epca*0547247 $1 010 $a 978-1-956792-99-7 $1 011 $a 2334-1033 $1 200 1 $a Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning $v S. 570-580 $1 210 $a Online $c IJCAI Organization $d 2021 $1 702 1 $a Bienvenu $b M. $4 340 $1 702 1 $a Lakemeyer $b G. $4 340 $1 702 1 $a Erdem $b E. $4 340 610 $a reasoning about actions and change 610 $a action languages Uncertainty 610 $a vagueness 610 $a many-valued and fuzzy logics 700 -1
$3 cav_un_auth*0336595 $a Sedlár $b Igor $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $z K $T Ústav informatiky AV ČR, v. v. i.
Number of the records: 1