×

找到48个文档（结果1-48）

最新的 引文 关联
马克·汉海德;莫里茨·哥贝尔贝克;格雷厄姆·S·霍恩。;安德烈·普罗诺比斯;克里斯托弗·舍尔;阿尔珀·艾德米尔;帕特里克·詹斯费尔特;查尔斯·格雷顿;理查德·迪尔登;米罗斯拉夫·贾尼切克;亨德里克·泽德;基尔特·扬·克鲁伊夫;尼克·霍斯;杰里米·怀亚特。

开放和不确定世界中的机器人任务规划和解释。 （英语） Zbl 1420.68210号

Artif公司。智力。 247, 119-150 (2017).
MSC公司：68T40型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Hanheide}等人，Artif。智力。247119-150（2017；Zbl 1420.68210）
全文： 内政部 链接
张燕;白、云

G-STRIPS–一个通用的STRIPS系统，用于处理动态域上的状态变化。 （英语） 兹比尔1070.68612

钟宁（编辑）等，《智能系统基础》。2003年10月28日至31日，第14届国际研讨会，ISMIS 2003，日本前桥市。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20256-0/pbk）。计算机科学课堂讲稿2871。《人工智能讲义》，292-296（2003）。
MSC公司：68T27型 68立方英尺 68T40型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Zhang}和\textit{Y.Bai}，Lect。注释计算。科学。2871、292--296（2003年；Zbl 1070.68612）
里卡多·罗萨蒂

表演算最多只能知道和知道。 （英语） Zbl 0963.03016号

Dyckhoff，Roy（编辑），用分析表和相关方法进行自动推理。2000年7月3日至7日，国际会议，TABLEUX 2000，英国苏格兰圣安德鲁斯。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1847, 383-397 (2000).
MSC公司：03B35型 03B42号 68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Rosati}，莱克特。注释计算。科学。1847383-397（2000年；Zbl 0963.03016）
阿列斯基·奈特·阿卜杜拉

运动是常识。利用部分信息进行推理的动力学。 （英语） Zbl 0969.03045号

Faller，Martina（编辑）等人，《信息动力学的形式化》。加州斯坦福：CSLI，语言与信息研究中心。CSLI法律。笔记。91, 3-26 (2000).
MSC公司：03B60号 68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.nait Abdallah}，in：将信息的动态形式化。加州斯坦福：CSLI，语言与信息研究中心。3--26（2000；Zbl 0969.03045）
丹尼尔·纳尔迪;里卡多·罗萨蒂

广义缺省逻辑：最小知识、自认知和缺省推理相协调。 （英语） Zbl 0958.03018号

Lamma，Evelina（编辑）等人，AI*IA 99：人工智能进展。意大利人工智能协会第六届大会。意大利博洛尼亚，1999年9月14日至17日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1792, 1-12 (2000).
MSC公司：03B60号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.Nardi}和\textit{R.Rosati}，莱克特。注释计算。科学。1792年1月12日（2000年；Zbl 0958.03018）
迪迪埃·杜布瓦;亨利·普拉德

似是而非推理中不确定性的非标准理论。 （英语） Zbl 0962.68160号

布鲁卡，格哈德（编辑），《知识表示原理》。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和信息研究。1-32 (1996).
MSC公司：68层37 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.Dubois}和\textit{H.Prade}，in：知识表示原理。加州斯坦福：CSLI出版物；阿姆斯特丹：FoLLI：欧洲逻辑、语言和信息协会。1--32（1996年；Zbl 0962.68160）
布鲁斯·布坎南。（编辑）;大卫·C·威尔金斯。（编辑）

阅读知识获取和学习。自动化专家系统的构建和改进。 （英语） Zbl 0761.68010号

东苏塞克斯郡霍夫：摩根·考夫曼。十二、 第906页（1992年）。
审核人：C.Möbus（奥尔登堡）
MSC公司：68-06 68立方英尺 68T05型
PDF格式BibTeX公司 XML格式引用
\textit｛B.G.Buchanan｝（编辑）和\textit｛D.C.Wilkins｝（编辑），知识获取和学习中的阅读。自动化专家系统的构建和改进。东苏塞克斯郡霍夫：摩根·考夫曼（1992；Zbl 0761.68010）
尼古拉斯·阿舍

常识蕴涵：非单调推理的模态理论。 （英语） Zbl 0744.68120号

人工智能，IJCAI-91，Proc。第十二届国际会议，悉尼/澳大利亚，1991，387-392（1991）。
审核人：N.Curteanu（伊阿西）
MSC公司：68立方英尺 68T27型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{N.Asher}，in：IJCAI 91，第十二届国际人工智能会议论文集。1991年8月24日至30日，澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥：Morgan Kaufmann Publ。。387--392（1991年；Zbl 0744.68120）
埃米尔·韦德特

多克斯偏好逻辑。信念修正的新视角。 （英语） Zbl 0790.03027号

Eijck，Jan van（编辑），《人工智能中的逻辑》，欧洲研讨会JELIA’90，荷兰阿姆斯特丹，1990年9月10日至14日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。478, 526-543 (1991).
MSC公司：03B60号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{E.Weydert}，莱克特。注释计算。科学。478526-543（1991年；Zbl 0790.03027）
特鲁兹钦斯基（Truszczynski，Mirosław）

模态非单调逻辑，否定的应用受到限制，无法证明规则。 （英语） 兹比尔0726.03022

安.社会.数学。政策。，序列号。四、 芬丹。信息。 14，第3期，355-366（1991）.
审核人：O.Sonobe（三浦市）
MSC公司：03B60号 03B45号 68T27型 68立方英尺 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{M.Truszczynski}，安.社会数学。政策。，序列号。四、 芬丹。Inf.14，No.3，355--366（1991；Zbl 0726.03022）
斯图亚特·罗素。

在类比和归纳中使用知识。 （英语） Zbl 0733.68079号

人工智能研究笔记伦敦等：皮特曼出版社；加利福尼亚州圣马特奥：Morgan Kaufmann Publishers，Inc.x，164 p.£25.00（1989）。
审核人：L.州（布库雷什蒂）
MSC公司：68立方英尺 03B80号 68-02 68T05型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.J.Russell}，类比和归纳法中知识的使用。伦敦等：皮特曼出版社；加利福尼亚州圣马特奥：Morgan Kaufmann Publishers，Inc.（1989；Zbl 0733.68079）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件