Decidability and Complexity of Some Finitely-valued Dynamic Logics

Number of the records: 1

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