Počet záznamů: 1

Decidability and Complexity of Some Finitely-valued Dynamic Logics

SYSNO	0547245
Název	Decidability and Complexity of Some Finitely-valued Dynamic Logics
Tvůrce(i)	Sedlár, Igor (UIVT-O)_{RID, ORCID, SAI}
Korespondující/senior	Sedlár, Igor - Korespondující autor
Zdroj.dok.	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.
Konference	KR2021: International Conference on Principles of Knowledge Representation and Reasoning /18./, 03.11.2021 - 12.11.2021, Hanoi / Online
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GJ18-19162Y GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	reasoning about actions and change * action languages Uncertainty * vagueness * many-valued and fuzzy logics
Trvalý link	http://hdl.handle.net/11104/0323528

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0547245-aoa.pdf	1	247.1 KB	volně online	Vydavatelský postprint	povolen

Počet záznamů: 1