×

找到32个文档(结果1-32)

用行动语言规划应对策略。 (英语) Zbl 1483.68424号

Michael,Loizos(编辑)等人,《人工智能中的逻辑》。2016年11月9日至11日,第15届欧洲会议,JELIA 2016,塞浦路斯拉纳卡。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10021, 463-480 (2016).
MSC公司:68T42型 68T27型
PDF格式BibTeX公司 XML格式引用

使用完全丰富的自动机进行森林逻辑程序推理。 (英语) Zbl 1467.68172号

Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 346-353 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用非单调规则链接开放世界知识库。 (英语) 兹比尔1467.68177

Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9345, 294-308 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交通法规的不一致性管理:形式化和复杂性的结果。 (英语) Zbl 1361.68220号

Fariñas del Cerro,Luis(编辑)等人,《人工智能中的逻辑》。2012年9月26日至28日,法国图卢兹,第13届欧洲会议,JELIA 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33352-1/pbk)。计算机科学课堂讲稿7519。《人工智能讲义》,80-93(2012)。
MSC公司:68T27型 90B20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用ACTHEX模拟生产规则。 (英语) Zbl 1357.68217号

Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学讲义7265,211-228(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

二阶逻辑前缀类的模型检验问题:综述。 (英语) Zbl 1287.68107号

安德烈亚斯·布拉斯(编辑)等人,《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-15024-1/pbk)。计算机科学讲座笔记6300,227-250(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

答案集编程:初级。 (英语) Zbl 1254.68248号

Tessaris,Sergio(编辑)等人,《推理网络》。信息系统的语义技术。2009年8月30日至9月4日,意大利布里森-布列萨诺2009年第五届国际暑期学校。辅导讲座。柏林:施普林格出版社(ISBN 978-3-642-03753-5/pbk)。计算机科学讲座笔记5689,40-110(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实现描述逻辑知识库上的默认逻辑。 (英语) Zbl 1245.68183号

Sossai,Claudio(编辑)等人,《不确定性推理的符号和定量方法》。第十届欧洲会议,ECSQARU 2009,意大利维罗纳,2009年7月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02905-9/pbk)。计算机科学课堂讲稿5590。《人工智能课堂讲稿》,602-613(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(\mathbb{FDNC}\):带函数符号的可判定非单调析取逻辑程序。 (英语) Zbl 1137.68334号

Dershowitz,Nachum(编辑)等人,《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,514-530(2007)。
MSC公司:68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段