bn:02099233n
Noun Concept
Categories: 論理プログラミング, 数理論理学, 数学に関する記事, 形式手法
JA
自己認識論理
JA
自己認識論理(英: Autoepistemic logic)とは、知識に関する知識を表現したり推論したりするために定式化された形式論理である。 Wikipedia
Definitions
Relations
Sources
JA
自己認識論理(英: Autoepistemic logic)とは、知識に関する知識を表現したり推論したりするために定式化された形式論理である。 Wikipedia
Wikipedia
Wikidata