×

找到15137份文件(结果1-100)

不确定性推理的符号和定量方法。第17届欧洲会议,ECSQARU 2023,法国阿拉斯,2023年9月19-22日。诉讼程序。 (英语) Zbl 07831338号

计算机科学讲义14294。人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-031-45607-7/pbk;978-3-331-45608-4/ebook)。xx,第476页。(2024).
MSC公司:68-06 68层37 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算数字。可视化作为启发式策略(出现)。第二版。(Figurierte Zahlen,Veranschaulichung als heuristische Strategie) (德语) Zbl 07782973号

柏林:施普林格演讲(ISBN 978-3-662-67829-9/pbk;978-3-562-67830-5/ebook)。xi,第159页。(2024).
MSC公司:97-01 97F60型 97E50型 00A09号 97A80型
PDF格式BibTeX公司 XML格式引用

粗糙集。2023年10月5日至8日,波兰克拉科夫,IJCRS 2023国际联合会议。诉讼程序。 (英语) Zbl 07831417号

计算机科学课堂讲稿14481。人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-031-50958-2/pbk;978-3-331-50959-9/电子书)。lix,第644页。(2023).
MSC公司:68-06 68层37 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有遗漏故障的最佳最终拜占庭协议。 (英语) Zbl 07824331号

Oshman,Rotem(ed.)等人,《第42届ACM分布式计算原理研讨会论文集》,PODC’23,美国佛罗里达州奥兰多,2023年6月19-23日。纽约州纽约市:计算机协会(ACM)。244-252 (2023).
MSC公司:64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用

在基于法律案例的推理中寻找因素。 (英语) Zbl 07823021号

Bentzen,Bruno(编辑)等人,《人工智能和法律的逻辑》。2023年9月8日至9日和11日至12日,中国杭州,第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录。伦敦:学院出版物。175-192 (2023).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 链接

基于抽象语法图的可避免描述逻辑推理。 (英语) 兹伯利07823013

Bentzen,Bruno(编辑)等人,《人工智能和法律的逻辑》。2023年9月8日至9日和11日至12日,中国杭州,第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录。伦敦:学院出版物。81-92 (2023).
MSC公司:68T27型 68兰特
PDF格式BibTeX公司 XML格式引用
全文: 链接

高级智能系统和推理:标准化、实验、解释。 (英语) Zbl 07823008号

Bentzen,Bruno(编辑)等人,《人工智能和法律的逻辑》。2023年9月8日至9日和11日至12日,中国杭州,第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录。伦敦:学院出版物。3-20 (2023).
MSC公司:68T27型 68T05型
PDF格式BibTeX公司 XML格式引用
全文: 链接

基于仿真的搜索。 (英语) Zbl 07821712号

Beliaev,Dmitry(编辑)等人,《2022年国际数学家大会》,ICM 2022,芬兰赫尔辛基,虚拟,2022年7月6日至14日。第6卷。第12-14节。柏林:欧洲数学学会(EMS)。4800-4819(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

任意命题:关于硬币的推理。 (英语) Zbl 07810567号

Hansen,Helle Hvid(编辑)等人,《逻辑、语言、信息和计算》。2023年7月11日至14日,第29届国际研讨会,WoLLIC 2023,加拿大NS哈利法克斯。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13923, 227-243 (2023).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不确定性条件下偏好提升的逻辑及其可决策性。 (英语) Zbl 1530.68246号

安德烈亚斯·赫齐格(编辑)等人,《逻辑与论证》。第五届国际会议,CLAR 2023,中国杭州,2023年9月10-12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14156, 213-223 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种结构化的两极论证理论,用于在实际推理中提供解释。 (英语) Zbl 07789768号

安德烈亚斯·赫齐格(编辑)等人,《逻辑与论证》。第五届国际会议,CLAR 2023,中国杭州,2023年9月10-12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14156, 157-171 (2023).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式论证中最薄弱的环节:前瞻性和基于原则的分析。 (英语) 兹伯利07789763

安德烈亚斯·赫齐格(编辑)等人,《逻辑与论证》。第五届国际会议,CLAR 2023,中国杭州,2023年9月10-12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14156, 61-83 (2023).
MSC公司:68-06 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件