×
托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨

关于演化非单调知识库的推理。 （英语） 兹比尔1367.68279

ACM事务处理。计算。日志。 第6期，第2期，389-440页（2005年）.

引用于1文件

MSC公司：

68T27型 人工智能中的逻辑
68N17号 逻辑编程
65年第68季度 算法和问题复杂性分析
68立方英尺 知识表示
68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）

关键词：

答案集语义;计算复杂性;知识库进化;逻辑程序更新;非单调知识库;程序等效性;时间推理
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，《美国医学杂志》。计算。日志。6，第2号，389--440（2005；Zbl 1367.68279）
全文： 内政部