Formal reasoning of knowledge in systems engineering through epistemic modal logic

Autor:	Hanumanthrao Kannan
Rok vydání:	2020
Předmět:	Cognitive science Knowledge representation and reasoning Epistemic modal logic Computer Networks and Communications Hardware and Architecture Computer science Formal reasoning
Zdroj:	Systems Engineering. 24:3-16
ISSN:	1520-6858 1098-1241
DOI:	10.1002/sys.21563
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::27a3ea14a4f106cbf40d7ebe35030c26 https://doi.org/10.1002/sys.21563 Zobrazit plný text záznamu Plný text