弗朗西斯科·多尼尼。;丹尼尔·纳尔迪;里卡多·罗萨蒂 将最小知识和否定描述为失败的逻辑。 (英语) Zbl 1365.68403号 ACM事务处理。计算。日志。 3,第2期,177-225(2002). 引用于26文件 MSC公司: 68T27型 人工智能中的逻辑 68立方英尺 知识表示 关键词:描述逻辑;基于框架的系统;非单调模态逻辑;结石表 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Donini}等人,ACM Trans。计算。日志。3,第2号,177--225(2002;Zbl 1365.68403) 全文: 内政部