68T15」カテゴリーアーカイブ

Normative Conditional Reasoning as a Fragment of HOL

要約 規範的(好みに基づく)条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む

カテゴリー: 03B15, 03B60, 68T15, 68T27, 68T30, cs.AI, cs.LO, cs.SC, I.2.0 | Normative Conditional Reasoning as a Fragment of HOL はコメントを受け付けていません

Normative conditional reasoning as a fragment of HOL

要約 規範的(好みに基づく)条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む

カテゴリー: 03B15, 03B60, 68T15, 68T27, 68T30, cs.AI, cs.LO, cs.SC, I.2.0 | Normative conditional reasoning as a fragment of HOL はコメントを受け付けていません