「logic programming」を解説文に含む見出し語の検索結果(101～110/392件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/12 02:49 UTC 版)「Prolog」の記事における「コワルスキとDEC-10Prolog」の解説彼らグループ...
ナビゲーションに移動検索に移動失敗による否定（しっぱいによるひてい、英: Negation as failure, NAF）は、論理プログラミングで使われる非単調論理的推論規則であり、 p {...
ナビゲーションに移動検索に移動失敗による否定（しっぱいによるひてい、英: Negation as failure, NAF）は、論理プログラミングで使われる非単調論理的推論規則であり、 p {...
計算木論理（けいさんきろんり、Computational Tree Logic、CTL）は、分岐時相論理の一種である。その時間モデルでは未来は決定されておらず木構造のように分岐している。未来の複数の経...
ナビゲーションに移動検索に移動モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
ナビゲーションに移動検索に移動モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
ナビゲーションに移動検索に移動トピックマップ（英: Topic Maps）は、情報のファインダビリティ（findability）に注目した、知識の表現と交換に関するISO標準。標準としての正式...
ナビゲーションに移動検索に移動トピックマップ（英: Topic Maps）は、情報のファインダビリティ（findability）に注目した、知識の表現と交換に関するISO標準。標準としての正式...
ナビゲーションに移動検索に移動トピックマップ（英: Topic Maps）は、情報のファインダビリティ（findability）に注目した、知識の表現と交換に関するISO標準。標準としての正式...
ナビゲーションに移動検索に移動トピックマップ（英: Topic Maps）は、情報のファインダビリティ（findability）に注目した、知識の表現と交換に関するISO標準。標準としての正式...