×

找到21个文档(结果1–21)

星座方法中怀疑语义的定义。 (英文) Zbl 07671879号

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13416, 62-74 (2022).
MSC公司:68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

控制论证框架中非空的复杂性。 (英文) Zbl 07542337号

Vejnarová,Jiřina(编辑)等人,不确定性推理的符号和定量方法。第16届欧洲会议,ECSQARU 2021,捷克共和国布拉格,2021年9月21日至24日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12897, 117-129 (2021).
MSC公司:68层37
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动态论证框架确定性扩展的增量计算。 (英文) Zbl 1483.68379号

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

通过刻画子图,形成概率论证的语义。 (英文) Zbl 1471.68273号

van der Hoek,Wiebe(编辑)等人,《逻辑、理性与互动》。第五届国际研讨会,LORI 2015,台湾台北,2015年10月28日至30日。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。9394, 243-254 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段