×
尼尔·弗里德曼；约瑟夫·霍尔珀（Joseph Y.Halpern）。；达芙妮·科勒

重温默认推理的一阶条件逻辑。 （英语） Zbl 1365.68404号

ACM事务处理。计算。日志。 第1期，第2期，175-207（2000）.

引用于2文件

MSC公司：

68T27型 人工智能中的逻辑

关键词：

KLM属性；完整性；条件逻辑；默认推理；一阶逻辑；合理性度量
PDF格式BibTeX公司 XML格式引用
\textit{N.Friedman}等人，《美国医学杂志》。计算。日志。1，第2号，175--207（2000；Zbl 1365.68404）
全文： 内政部