×

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

信息和理由不完整。 (英语) 兹布尔07570783

奥兹根、艾布克(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。13206258-278(2022年)。
MSC公司:03B48号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交互式证明的逻辑。 (英语) Zbl 07551716号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2022年1月10日至13日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2022国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13137, 143-155 (2022).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用

关于确认程度的推理。 (英语) Zbl 07578361号

Dastani,Mehdi(编辑)等人,《逻辑与论证》。第三届国际会议,CLAR 2020,中国杭州,2020年4月6日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12061, 80-95 (2020).
MSC公司:03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有上下概率算子迭代的可判定多智能体逻辑。 (英语) Zbl 1508.68359号

Ferrarotti,Flavio(编辑)等人,《信息和知识系统基础》。2018年5月14日至18日,匈牙利布达佩斯,第十届国际研讨会,FoIKS 2018。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10833170-185(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于简单类型lambda项的概率推理。 (英语) Zbl 1505.03035号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2018年1月8-11日在美国佛罗里达州迪尔菲尔德海滩举行的2018年LFCS国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10703, 170-189 (2018).
MSC公司:03B40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有近似条件概率的证明逻辑。 (英语) Zbl 1495.03024号

Baltag,Alexandru(编辑)等人,《逻辑、理性与互动》。2017年9月11日至14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。104551681-686(2017年)。
MSC公司:03B42型 03B48号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于推理高阶上下概率的一阶逻辑。 (英语) Zbl 1491.03020号

安东努奇(Antonucci)、亚历山德罗(Alessandro)等,《不确定性推理的符号和定量方法》。2017年7月10日至14日,第14届欧洲会议,ECSQARU 2017,瑞士卢加诺。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10369, 491-500 (2017).
MSC公司:03B48号 68层37
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率论证逻辑。 (英语) Zbl 1476.03013号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9537, 174-186 (2016).
MSC公司:03B42型 03B48号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

概率逻辑。基于概率的不确定性推理形式化。 (英语) Zbl 1371.03001号

查姆:施普林格(ISBN 978-3-319-47011-5/hbk;978-3-316-47012-2/电子书)。xi,第215页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一阶概率逻辑及其应用。 (英语) Zbl 1524.03019号

Silvia Ghilezan(编辑),《计算机科学中的逻辑》。二、。贝尔格莱德:马特马提奇研究所SANU。Zb.公司。Rad.(Beogr.)18(26),37-78(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

无限多代理之间的概率常识。 (英语) Zbl 1465.68244号

Destercke,Sébastien(编辑)等人,不确定性推理的符号和定量方法。第13届欧洲会议,ECSQARU 2015,法国康皮涅,2015年7月15日至17日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9161, 496-505 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一阶动态概率逻辑。 (英语) Zbl 1390.03022号

van der Gaag,Linda C.(编辑),用符号和定量方法进行不确定性推理。2013年7月8日至10日,荷兰乌得勒支,第12届欧洲会议,ECSQARU 2013。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39090-6/pbk)。计算机科学课堂讲稿7958。人工智能课堂讲稿,461-472(2013)。
MSC公司:03B48号 03C35号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率逻辑。 (英语) Zbl 1224.03005号

Ognjanović,Zoran(编辑),《计算机科学中的逻辑》。贝尔格莱德:马特马提奇研究所SANU(ISBN 978-86-80593-40-1/pbk)。Zbornik Radova(Beograd)12(20),35-111(2009)。
PDF格式BibTeX公司 XML格式引用

插值布尔逻辑。 (英语) Zbl 1169.03344号

Dochev,Danail(编辑)等人,《人工智能:方法论、系统和应用》。2008年9月4日至6日在保加利亚瓦尔纳举行的2008年AIMSA第13届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85775-4/pbk)。计算机科学讲义5253。《人工智能课堂讲稿》,209-219(2008)。
MSC公司:03B52号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

如何将紧凑性恢复到概率逻辑中? (英语) Zbl 1178.03034号

Hölldobler,Steffen(编辑)等人,《人工智能中的逻辑》。第11届欧洲会议,JELIA 2008,德国德累斯顿,2008年9月28日至10月1日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87802-5/pbk)。计算机科学课堂讲稿5293。人工智能课堂讲稿,338-348(2008)。
MSC公司:03B48号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有多项式权重公式的概率逻辑。 (英语) Zbl 1138.03315号

Hartmann,Sven(编辑)等人,《信息和知识系统基础》。第五届国际研讨会,FoIKS 2008,意大利比萨,2008年2月11日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-77683-3/pbk)。计算机科学课堂讲稿4932239-252(2008)。
MSC公司:03B48号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率算符逻辑。 (塞尔维亚语) 兹比尔1240.03003

乔安加洛维奇、米尔贾纳(编辑)等,第三十四卷,simpozijum o operacionim istraćivanjima,SYM-OP-IS 2007。兹博尼克·拉多瓦。贝尔格莱德:Fakultet Organizacionih Nauka(ISBN 978-86-7680-124-4)。649-651 (2007).
MSC公司:03B48号
PDF格式BibTeX公司 XML格式引用

具有相干条件概率的逻辑。 (英语) Zbl 1122.03015号

Godo,Lluís(编辑),不确定性推理的符号和定量方法。2005年7月6日至8日,西班牙巴塞罗那,第八届欧洲会议,ECSQARU 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27326-3/pbk)。计算机科学课堂讲稿3571。人工智能课堂讲稿,726-736(2005)。
MSC公司:03B48号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有条件概率的逻辑。 (英语) Zbl 1111.68688号

Alferes,JoséJülio(编辑)等人,《人工智能中的逻辑》。第九届欧洲会议,JELIA 2004,葡萄牙里斯本,2004年9月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23242-7/pbk)。计算机科学课堂讲稿3229。人工智能课堂讲稿,226-238(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

PSAT的遗传算法。 (英语) 兹比尔1274.68434

Mladenović,Nenad(编辑)等人,XXX Jugoslovenski simpozijum o operacionim istraćivanjima,SYM-OP-IS 2003。贝尔格莱德:马特马提奇研究所SANU(ISBN 86-80593-33-8)。303-306 (2003).
MSC公司:68T20型 03B48号
PDF格式BibTeX公司 XML格式引用

概率逻辑LPP的一个自动定理证明器。 (英语) Zbl 1274.03041号

Krapeć,A.(编辑),向S.B.Prešić致敬。庆祝他65岁生日的报纸。贝尔格莱德:马特马提奇研究所SANU。79-83 (2001).
MSC公司:03B48号 03B35型 68吨15
PDF格式BibTeX公司 XML格式引用

关于概率算子的经典逻辑:一个简短的综述。 (英语) Zbl 1081.03504号

南斯拉夫数学家第十届大会论文集,南斯拉夫贝尔格莱德,2001年1月21-24日。贝尔格莱德:贝尔格莱德大学数学系(ISBN 86-7589-021-4)。135-142 (2001).
MSC公司:03B48号 03-02
PDF格式BibTeX公司 XML格式引用

概率逻辑中可满足性问题的遗传算法:首次报告。 (英语) Zbl 1001.68566号

Benferhat,Salem(编辑)等人,用符号和定量方法进行不确定性推理。第六届欧洲会议,ECSQARU 2001,法国图卢兹,2001年9月19-21日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2143, 805-816 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

带有概率算子的时序逻辑的完备性定理。 (英语) Zbl 1014.03509号

Tošić,Ratko(ed.)等人,《第八届逻辑和计算机科学国际会议论文集:计算机科学的理论基础》,1997年9月1日至4日,南斯拉夫诺维萨德,Lira’97。诺维·萨德:诺维·萨德大学,数学研究所科学学院,177-181(1997)。
MSC公司:03B48号 03B44号
PDF格式BibTeX公司 XML格式引用

具有较高阶概率的逻辑。 (英语) Zbl 1009.03513号

Herceg,D.(ed.)等人,第十届应用数学会议,1995年5月29日至31日,南斯拉夫布德瓦,PRIM'95。诺维·萨德:诺维·萨德大学,数学研究所,科学院,255-257(1996)。
MSC公司:03B48号 68T27型
PDF格式BibTeX公司 XML格式引用

关于概率推理的逻辑。 (英语) 兹比尔0863.03008

Herceg,D.(ed.)等人,第九届应用数学会议,1994年5月30日至6月1日,南斯拉夫布德瓦。诉讼程序。诺维萨德大学,365-369(1995)。
MSC公司:03B48号 68T27型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

出版年份

全部的 前3名

主字段