×

找到25份文件(结果1-25)

条件信念基的语义分裂。 (英语) Zbl 07495054号

亚历山大·拉施克(编辑)等人,《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。12750, 82-95 (2021).
MSC公司:68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用选择策略对排序函数进行迭代收缩、忽略和修订的语法拆分。 (英语) Zbl 07437035号

Faber,Wolfgang(编辑)等人,《人工智能中的逻辑》。第17届欧洲会议,JELIA 2021,虚拟活动,2021年5月17日至20日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12678, 85-100 (2021).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CSP对条件描述符的修订及其建模。 (英语) Zbl 1519.68249号

Faber,Wolfgang(编辑)等人,《人工智能中的逻辑》。第17届欧洲会议,2021年5月17日至20日,JELIA,虚拟活动。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12678, 35-49 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LEG网络用于排名功能。 (英语) Zbl 1432.68459号

Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 210-223 (2014).
MSC公司:68立方英尺
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最大熵下的关系概率条件推理。 (英语) Zbl 1341.68270号

Liu,Weiru(编辑),不确定性推理的符号和定量方法。2011年6月29日至7月1日,第11届欧洲会议,ECSQARU 2011,英国贝尔法斯特。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22151-4/pbk)。计算机科学课堂讲稿6717。人工智能课堂讲稿,447-458(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定性知识发现。 (英语) Zbl 1165.68415号

Schewe,Klaus-Dieter(编辑)等人,《数据和知识库中的语义》。第三次国际研讨会,2008年3月29日,法国南特,SDKB 2008。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-88593-1/pbk)。计算机科学课堂讲稿492577-102(2008)。
MSC公司:68T05型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信念修正的AsmL验证实现。 (英语) Zbl 1156.68468号

Börger,Egon(编辑)等人,抽象状态机,B和Z。第一届国际会议,ABZ 2008,英国伦敦,2008年9月16日至18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87602-1/pbk)。计算机科学课堂讲稿5238,98-111(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件