安吉丽娜·伊利·斯特皮奇;佐兰·奥格尼亚诺维奇;阿列克桑达尔·佩罗维奇 量子观测推理的概率逻辑。 (英语) Zbl 07710086号 日志。Univers大学。 17,编号2,175-219(2023).MSC公司:03B48号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.IlićStepić}等人,《日志》。Univers大学。17,编号2,175--219(2023;Zbl 07710086) 全文: 内政部
Ilić-Stepić,阿内利娜;马蒂亚·奈日·埃维奇;佐兰·奥格尼亚诺维奇 直觉主义命题概率逻辑。 (英语) Zbl 1521.03016号 数学。日志。问:。 68,第4号,479-495(2022).MSC公司:03B20型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ilić-Stepić}等人,数学。日志。问68,第4号,479--495(2022;Zbl 1521.03016) 全文: 内政部
佐兰·奥格尼亚诺维奇;阿列克桑达尔·佩罗维奇;伊里奇-斯蒂皮奇,安吉丽娜 逻辑ILP的表。 (英语) Zbl 1513.03030号 出版物。数学研究所。,努夫。Sér。 112(126), 1-11 (2022).MSC公司:03B20型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,出版物。数学研究所。,努夫。Sér。112(126),1--11(2022;Zbl 1513.03030) 全文: 内政部
道德,德拉甘;佐兰·奥格尼亚诺维奇;内纳德·萨维奇;托马斯·施图德 信息和理由不完整。 (英语) 兹布尔07570783 奥兹根、艾布克(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。13206258-278(2022年)。MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{D.Doder}等人,Lect。注释计算。科学。13206、258--278(2022;Zbl 07570783) 全文: 内政部
大卫·莱纳;佐兰·奥格尼亚诺维奇;托马斯·施图德 交互式证明的逻辑。 (英语) Zbl 07551716号 Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2022年1月10日至13日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2022国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13137, 143-155 (2022).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Lehnherr}等人,Lect。注释计算。科学。13137、143--155(2022;Zbl 07551716) 全文: 内政部 arXiv公司
佐兰·奥格尼亚诺维奇;Stepić、Angelina Ilić;阿列克桑达尔·佩罗维奇 概率时间认识逻辑。 arXiv公司:2105.12498 预打印,arXiv:2105.12498[math.LO](2021)。MSC公司:03B42型 03B44号 03B48号 68T27型 BibTeX公司 引用 \textit{Z.Ognjanović}等人,“概率时间认识逻辑”,预印本,arXiv:2105.1248[math.LO](2021) 全文: arXiv公司 OA许可证
Dautović,Šejla;道德,德拉甘;佐兰·奥格尼亚诺维奇 关于确认程度的推理。 (英语) Zbl 07578361号 Dastani,Mehdi(编辑)等人,《逻辑与论证》。第三届国际会议,CLAR 2020,中国杭州,2020年4月6日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12061, 80-95 (2020).MSC公司:03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Š.Dautović}等人,Lect。注释计算。科学。12061,80-95(2020;Zbl 07578361) 全文: 内政部
内博伊沙·伊科迪诺维奇;佐兰·奥格尼亚诺维奇 默认推理的概率建模。 (英语) Zbl 07465318号 Ognjanović,Zoran(编辑),各种逻辑系统的概率扩展。查姆:施普林格。109-142 (2020).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{N.Ikodinović}和\textit{Z.Ognjanović},in:各种逻辑系统的概率扩展。查姆:施普林格。109-142(2020;Zbl 07465318) 全文: 内政部
佐兰·奥格尼亚诺维奇;伊里奇-斯蒂皮奇,安吉丽娜 概率算符逻辑。 (英语) Zbl 07465315号 Ognjanović,Zoran(编辑),各种逻辑系统的概率扩展。查姆:施普林格。1-35 (2020).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}和\textit{A.Ilić-Stepić},in:各种逻辑系统的概率扩展。查姆:施普林格。1-35(2020;Zbl 07465315) 全文: 内政部
佐兰·奥格尼亚诺维奇(编辑) 各种逻辑系统的概率扩展。 (英语) Zbl 1472.03002号 查姆:施普林格出版社(ISBN 978-3-030-52953-6/hbk;978-3-0.30-52956-7/pbk;978-1-030-52954-3/电子书)。xiii,第238页。(2020).MSC公司:03-06 03B48号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}(编辑),各种逻辑系统的概率扩展。查姆:施普林格(2020;Zbl 1472.03002) 全文: 内政部
托莫维奇,S。;Ognjanović,Z。;D.多德。 关于知识和概率推理的一阶逻辑。 (英语) Zbl 1446.03038号 ACM事务处理。计算。日志。 21,第2号,第16条,第30页(2020年).MSC公司:03B42型 03B48号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.Tomović}等人,《美国医学杂志》。计算。日志。21,第2号,第16条,30页(2020年;Zbl 1446.03038) 全文: 内政部 arXiv公司
道德,德拉甘;内纳德·萨维奇;佐兰·奥格尼亚诺维奇 用于推理高阶上下概率的多代理逻辑。 (英语) Zbl 1477.03069号 J.逻辑语言信息。 29,第1期,77-107(2020年).MSC公司:03B48号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{D.Doder}等人,《逻辑语言汇编》第29期,第1期,第77-107页(2020年;Zbl 1477.03069) 全文: 内政部 链接
艾奥尼斯·科基尼;佐兰·奥格尼亚诺维奇;托马斯·施图德 概率论证逻辑。 (英语) Zbl 1515.03073号 J.日志。计算。 30,第1期,257-280(2020年).MSC公司:03B42型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{I.Kokkinis}等人,J.Log。计算。30,编号1,257--280(2020;Zbl 1515.03073) 全文: 内政部 链接
内博伊沙·伊科迪诺维奇;佐兰·奥格尼亚诺维奇;阿列克桑达尔·佩罗维奇;米奥德拉格·拉什科维奇 可加概率语义的完备性定理。 (英语) Zbl 1452.03064号 Ann.纯粹应用。逻辑 171,第4期,文章ID 102755,27页(2020年). 审核人:于尔根·兰德斯(慕尼黑) MSC公司:03B48号 03B42型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Ikodinović}等人,Ann.Pure Appl。逻辑171,第4号,文章ID 102755,27页(2020;Zbl 1452.03064) 全文: 内政部
博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;托马斯·施图德 带有非刚性代理集的时间认知逻辑,用于分析区块链协议。 (英语) Zbl 1442.68222号 J.日志。计算。 29,第5期,803-830(2019).MSC公司:68T27型 03B42型 03B44号 68T42型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{B.Marinković}等人,J.Log。计算。29,第5号,803--830(2019;Zbl 1442.68222) 全文: 内政部 链接
道德,德拉甘;内纳德·萨维奇;佐兰·奥格尼亚诺维奇 具有上下概率算子迭代的可判定多智能体逻辑。 (英语) Zbl 1508.68359号 Ferrarotti,Flavio(编辑)等人,《信息和知识系统基础》。2018年5月14日至18日,匈牙利布达佩斯,第十届国际研讨会,FoIKS 2018。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10833170-185(2018年)。MSC公司:68T27型 03B48号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{D.Doder}等人,Lect。注释计算。科学。10833、170-185(2018年;Zbl 1508.68359) 全文: 内政部
西尔维娅·吉勒赞;Jelena Ivetić;Kašterović,西蒙娜;佐兰·奥格尼亚诺维奇;内纳德·萨维奇 关于简单类型lambda项的概率推理。 (英语) Zbl 1505.03035号 Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2018年1月8-11日在美国佛罗里达州迪尔菲尔德海滩举行的2018年LFCS国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10703, 170-189 (2018).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,Lect。注释计算。科学。10703、170--189(2018;Zbl 1505.03035) 全文: 内政部
道德,德拉甘;佐兰·奥格尼亚诺维奇 具有独立性和确认性的概率逻辑。 (英语) Zbl 1417.03171号 螺柱日志。 105,第5期,943-969(2017).MSC公司:03B48号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{D.Doder}和\textit{Z.Ognjanović},Stud.Log。105,第5号,943--969(2017;Zbl 1417.03171) 全文: 内政部
佐兰·奥格尼亚诺维奇;内纳德·萨维奇;托马斯·施图德 具有近似条件概率的证明逻辑。 (英语) Zbl 1495.03024号 Baltag,Alexandru(编辑)等人,《逻辑、理性与互动》。2017年9月11日至14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。104551681-686(2017年)。MSC公司:03B42型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,Lect。注释计算。科学。10455、681--686(2017年;Zbl 1495.03024) 全文: 内政部
内纳德·萨维奇;道德,德拉甘;佐兰·奥格尼亚诺维奇 具有上下概率运算符的逻辑。 (英语) Zbl 1422.03042号 国际J近似推理 88, 148-168 (2017).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{N.Savić}等人,《国际近似推理》88,148--168(2017;Zbl 1422.03042) 全文: 内政部 链接
内纳德·萨维奇;道德,德拉甘;佐兰·奥格尼亚诺维奇 用于推理高阶上下概率的一阶逻辑。 (英语) Zbl 1491.03020号 安东努奇(Antonucci)、亚历山德罗(Alessandro)等,《不确定性推理的符号和定量方法》。2017年7月10日至14日,第14届欧洲会议,ECSQARU 2017,瑞士卢加诺。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10369, 491-500 (2017).MSC公司:03B48号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{N.Savić}等人,Lect。注释计算。科学。10369、491--500(2017年;Zbl 1491.03020) 全文: 内政部
艾奥尼斯·科基尼;佐兰·奥格尼亚诺维奇;托马斯·施图德 概率论证逻辑。 (英语) Zbl 1476.03013号 Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9537, 174-186 (2016).MSC公司:03B42型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{I.Kokkinis}等人,Lect。注释计算。科学。9537、174--186(2016;Zbl 1476.03013) 全文: 内政部 链接
阿列克桑达尔·佩罗维奇;道德,德拉甘;佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇 可数结构中命题公式的评价。 (英语) Zbl 1474.03064号 菲洛马 30,第1期,第1-13页(2016年).MSC公司:03B05号 03C15号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Perović}等人,Filomat 30,No.1,1--13(2016;Zbl 1474.03064) 全文: 内政部
IlićStepić,A。;Ognjanović,Z。;Ikodinović,N。;佩罗维奇,A。 \(p\)-adic概率逻辑。 (英语) Zbl 1353.03013号 \(p\)-Adic数超声分析。申请。 8,第3期,177-203(2016).MSC公司:03B48号 03年2月25日 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{A.IlićStepić}等人,(p\)-Adic数字超声分析。申请。8,第3号,177--203(2016;Zbl 1353.03013) 全文: 内政部
佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇;佐兰·马尔科维奇 概率逻辑。基于概率的不确定性推理形式化。 (英语) Zbl 1371.03001号 查姆:施普林格(ISBN 978-3-319-47011-5/hbk;978-3-316-47012-2/电子书)。xi,第215页。(2016). 审核人:于尔根·兰德斯(慕尼黑) MSC公司:03-02 03B48号 60级05 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,《概率逻辑》。基于概率的不确定性推理形式化。查姆:斯普林格(2016;Zbl 1371.03001) 全文: 内政部
内博伊沙·伊科迪诺维奇;佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇;佐兰·马尔科维奇 一阶概率逻辑及其应用。 (英语) Zbl 1524.03019号 Silvia Ghilezan(编辑),《计算机科学中的逻辑》。二、。贝尔格莱德:马特马提奇研究所SANU。Zb.公司。Rad.(Beogr.)18(26),37-78(2015)。MSC公司:03B48号 03年2月25日 68层37 PDF格式BibTeX公司 XML格式引用 \textit{N.Ikodinović}等人,Zb。Rad.(Beogr.)18,37-78(2015;Zbl 1524.03019) 全文: 链接
艾奥尼斯·科基尼;彼得·马克西莫维奇;佐兰·奥格尼亚诺维奇;托马斯·施图德 概率合理性逻辑的第一步。 (英语) Zbl 1405.03057号 日志。J.IGPL公司 23,第4期,662-687(2015).MSC公司:03B48号 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{I.Kokkinis}等人,日志。J.IGPL 23,第4号,662--687(2015;Zbl 1405.03057) 全文: 内政部 链接
托莫维奇,西尼沙;佐兰·奥格尼亚诺维奇;道德,德拉甘 无限多代理之间的概率常识。 (英语) Zbl 1465.68244号 Destercke,Sébastien(编辑)等人,不确定性推理的符号和定量方法。第13届欧洲会议,ECSQARU 2015,法国康皮涅,2015年7月15日至17日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9161, 496-505 (2015).MSC公司:68T27型 03B42型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{S.Tomović}等人,Lect。注释计算。科学。9161496-505(2015年;兹比尔1465.68244) 全文: 内政部
安吉丽娜·伊利·斯特皮奇;佐兰·奥格尼亚诺维奇 用由(p)-基数编码的信息进行思维过程推理的逻辑。 (英语) Zbl 1382.03045号 螺柱日志。 103,第1期,145-174(2015).MSC公司:03B48号 03年2月25日 03B42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.IlićStepić}和\textit{Z.Ognjanović}.研究日志。103、1号、145--174(2015;Zbl 1382.03045) 全文: 内政部
安吉丽娜·伊利·斯特皮奇;佐兰·奥格尼亚诺维奇 复值概率逻辑。 (英语) Zbl 1474.03079号 出版物。数学研究所。,努夫。Sér。 95(109), 73-86 (2014).MSC公司:03B48号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.IlićStepić}和\textit{Z.Ognjanović}.出版物。数学研究所。,努夫。Sér。95(109),73--86(2014;Zbl 1474.03079) 全文: 内政部
内博伊沙·伊科迪诺维奇;米奥德拉格·拉什科维奇;佐兰·马尔科维奇;佐兰·奥格尼亚诺维奇 具有近似条件概率的一阶概率逻辑。 (英语) Zbl 1305.03021号 日志。J.IGPL公司 22,第4期,539-564(2014).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{N.Ikodinović}等人,日志。J.IGPL 22,第4期,539--564(2014;Zbl 1305.03021) 全文: 内政部
伊里奇-斯蒂皮奇,安吉丽娜;佐兰·奥格尼亚诺维奇;内博伊沙·伊科迪诺维奇 条件\(p\)-adic概率逻辑。 (英语) Zbl 1433.03062号 国际J近似推理 55,第9期,1843-1865(2014).MSC公司:03B48号 03年2月25日 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ilić-Stepić}等人,《国际近似推理》55,第9期,1843-1865(2014;Zbl 1433.03062) 全文: 内政部
内博伊沙·伊科迪诺维奇;佐兰·奥格尼亚诺维奇;阿列克桑达尔·佩罗维奇;米奥德拉格·拉什科维奇 概率逻辑的层次结构。 (英语) Zbl 1433.03061号 国际J近似推理 55,第9期,1830-1842(2014).MSC公司:03B48号 03天55 PDF格式BibTeX公司 XML格式引用 \textit{N.Ikodinović}等人,《国际近似推理》55,第9期,1830--1842(2014;Zbl 1433.03061) 全文: 内政部
博扬·马里科维奇;佐兰·奥格尼亚诺维奇;道德,德拉甘;阿列克桑达尔·佩罗维奇 时间流同构于(ω^2)的命题线性时间逻辑。 (英语) Zbl 1328.03017号 J.应用。日志。 12,第2期,208-229(2014).MSC公司:03B44号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \文本{B.Marinković}等人,J.Appl。日志。12,第2号,208--229(2014;Zbl 1328.03017) 全文: 内政部 arXiv公司
内博伊沙·伊科迪诺维奇;米奥德拉格·拉什科维奇;佐兰·马尔科维奇;佐兰·奥格尼亚诺维奇 具有广义测度运算符的逻辑。 (英语) Zbl 1393.03014号 J.穆特-有效日志。软计算。 20,编号5-6,527-555(2013).MSC公司:03B52号 03B60号 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{N.Ikodinović}等人,J.Mult-有效日志。软计算。20、编号5--6527--555(2013;Zbl 1393.03014) 全文: 链接
米洛舍维奇;佐兰·奥格尼亚诺维奇 具有迭代的一阶条件概率逻辑。 (英语) Zbl 1313.03008号 出版物。数学研究所。,努夫。Sér。 93(107), 19-27 (2013).MSC公司:03B48号 03B42型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Milošević}和\textit{Z.Ognjanović}.出版物。数学研究所。,努夫。Sér。93(107),19-27(2013;Zbl 1313.03008) 全文: 内政部
佐兰·奥格尼亚诺维奇;阿列克桑达尔·佩罗维奇;道德,德拉甘 一阶动态概率逻辑。 (英语) 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格式引用 \textit{Z.Ognjanović}等人,Lect。注释计算。科学。7958、461--472(2013年;Zbl 1390.03022) 全文: 内政部
道德,德拉甘;约翰·格兰特;佐兰·奥格尼亚诺维奇 空间和时间中物体的概率逻辑。 (英语) 兹比尔1267.03041 J.日志。计算。 23,第3期,487-515(2013).MSC公司:03B70号 03B48号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Doder}等人,J.Log。计算。23,第3号,487--515(2013;Zbl 1267.03041) 全文: 内政部
佐兰·奥格尼亚诺维奇;佐兰·马尔科维奇;米奥德拉格·拉什科维奇;道德,德拉甘;阿列克桑达尔·佩罗维奇 用于证据推理的具有离散线性时间的命题概率逻辑。 (英语) Zbl 1269.03033号 安。数学。Artif公司。智力。 65,编号2-3,217-243(2012). 审核人:Jürgen Landes(坎特伯雷) MSC公司:03B62号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,《数学年鉴》。Artif公司。因特尔。65,编号2--3,217--243(2012;Zbl 1269.03033) 全文: 内政部
伊里奇-斯蒂皮奇,安吉丽娜;佐兰·奥格尼亚诺维奇;内博伊沙·伊科迪诺维奇;阿列克桑达尔·佩罗维奇 一种概率逻辑。 (英语) Zbl 1251.03027号 数学。日志。问:。 58,编号4-5,263-280(2012). 审核人:Jürgen Landes(坎特伯雷) MSC公司:03B48号 03年2月25日 03B42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ilić-Stepić}等人,数学。日志。问58,第4--5263--280号(2012;Zbl 1251.03027) 全文: 内政部
米洛舍维奇;佐兰·奥格尼亚诺维奇 一阶条件概率逻辑。 (英语) Zbl 1251.03030号 日志。J.IGPL公司 第1号,第20页,第235-253页(2012年). 审核人:Jürgen Landes(坎特伯雷) MSC公司:03B48号 03年2月25日 03B42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Milošević}和\textit{Z.Ognjanović}.日志。J.IGPL 20,第1期,235--253(2012;Zbl 1251.03030) 全文: 内政部
阿列克桑达尔·佩罗维奇;佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇;Dragan Radojević 可由哥德尔t范数和乘积t范数定义的经典命题公式上的有限可加概率测度。 (英语) Zbl 1233.03032号 模糊集系统。 169,No.1,65-90(2011).MSC公司:03B52号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{A.Perović}等人,《模糊集系统》。169,第1号,65--90(2011;Zbl 1233.03032) 全文: 内政部
塔贾纳·斯托亚诺维奇;Kaplarević-马里什维奇,阿纳州;佐兰·奥格尼亚诺维奇 概率逻辑\(\mathrm)的一个扩展{LPP}_2\). (英语) Zbl 1289.03007号 Kragujevac J.数学。 33, 45-62 (2010). 审核人:Aleksandar Perović(贝尔格莱德) MSC公司:03B48号 60级05 PDF格式BibTeX公司 XML格式引用 \textit{T.Stojanović}等人,Kragujevac J.Math。33、45-62(2010年;Zbl 1289.03007)
D.多德。;Ognjanović,Z。;马尔科维奇,Z。 一阶分支时间时序逻辑的公理化。 (英语) Zbl 1216.03033号 加州大学洛杉矶分校 16,第11期,1439-1451(2010).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Doder}等人,J.UCS 16,No.11,1439--1451(2010;Zbl 1216.03033) 全文: 链接
佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇;佐兰·马尔科维奇 概率逻辑。 (英语) Zbl 1224.03005号 Ognjanović,Zoran(编辑),《计算机科学中的逻辑》。贝尔格莱德:马特马提奇研究所SANU(ISBN 978-86-80593-40-1/pbk)。Zbornik Radova(Beograd)12(20),35-111(2009)。 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B48号 03B60号 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,Zb。Rad.(Beogr.)12,35--111(2009;Zbl 1224.03005)
米奥德拉格·拉什科维奇;佐兰·马尔科维奇;佐兰·奥格尼亚诺维奇 一种具有近似条件概率的逻辑,可以对默认推理进行建模。 (英语) Zbl 1184.68520号 国际J近似推理 49,第1期,第52-66页(2008年).MSC公司:68层37 03B48号 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}等人,《国际近似推理》49,第1期,第52-66页(2008;Zbl 1184.68520) 全文: 内政部
Dragan Radojević;阿列克桑达尔·佩罗维奇;佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇 插值布尔逻辑。 (英语) 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格式引用 \textit{D.Radojević}等人,Lect。注释计算。科学。5253209--219(2008年;Zbl 1169.03344) 全文: 内政部
阿列克桑达尔·佩罗维奇;佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇;佐兰·马尔科维奇 如何将紧凑性恢复到概率逻辑中? (英语) 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格式引用 \textit{A.Perović}等人,Lect。注释计算。科学。5293、338--348(2008;Zbl 1178.03034) 全文: 内政部
佐兰·奥格尼亚诺维奇;阿列克桑达尔·佩罗维奇;米奥德拉格·拉什科维奇 定性概率算子的逻辑。 (英语) Zbl 1138.03024号 日志。J.IGPL公司 16,第2期,105-120(2008).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,日志。J.IGPL 16,编号2105-120(2008年;Zbl 1138.03024) 全文: 内政部
阿列克桑达尔·佩罗维奇;佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇;佐兰·马尔科维奇 具有多项式权重公式的概率逻辑。 (英语) 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格式引用 \textit{A.Perović}等人,Lect。注释计算。科学。4932239--252(2008年;Zbl 1138.03315) 全文: 内政部
米奥德拉格·拉什科维奇;佐兰·奥格尼亚诺维奇;佐兰·马尔科维奇;内博伊沙·伊科迪诺维奇;阿列克桑达尔·佩罗维奇 概率算符逻辑。 (塞尔维亚语) 兹比尔1240.03003 乔安加洛维奇、米尔贾纳(编辑)等,第三十四卷,simpozijum o operacionim istraćivanjima,SYM-OP-IS 2007。兹博尼克·拉多瓦。贝尔格莱德:Fakultet Organizacionih Nauka(ISBN 978-86-7680-124-4)。649-651 (2007). 审核人:Milija Suknović(贝尔格莱德) MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}等人,收录于:XXXIV simpozijum o operacionim istraćivanjima,SYM-OP-IS 2007。兹博尼克·拉多瓦。贝尔格莱德:Fakultet Organizacionih Nauka。649--651(2007;Zbl 1240.03003)
佐兰·奥格尼亚诺维奇;内博伊沙·伊科迪诺维奇 具有高阶条件概率的逻辑。 (英语) Zbl 1203.68206号 出版物。数学研究所。,努夫。Sér。 82(96),141-154(2007). 审核人:米奥德拉格·拉什科维奇(贝尔格莱德) MSC公司:68层37 68T27型 03B48号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}和\textit{N.Ikodinović},出版物。数学研究所。,努夫。Sér。82(96),141--154(2007;Zbl 1203.68206) 全文: 内政部 欧洲DML
佐兰·奥格尼亚诺维奇 离散线性时间概率逻辑:完备性、可判定性和复杂性。 (英语) Zbl 1102.03022号 J.日志。计算。 16,第2期,257-285(2006).MSC公司:03B48号 03B44号 68T27型 03年2月25日 PDF格式BibTeX公司 XML格式引用 \文本{Z.Ognjanović},J.Log。计算。16,第2号,257--285(2006;Zbl 1102.03022) 全文: 内政部
佐兰·奥格尼亚诺维奇;佐兰·马尔科维奇;米奥德拉格·拉什科维奇 具有不精确概率和条件概率的逻辑的完备性定理。 (英语) Zbl 1144.03019号 出版物。数学研究所。,努夫。Sér。 78(92), 35-49 (2005). 审核人:齐格弗里德·戈特瓦尔德(莱比锡) MSC公司:03B48号 03B70号 03B45号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,出版物。数学研究所。,努夫。Sér。78(92),35-49(2005年;兹bl 1144.03019) 全文: 内政部 欧洲DML
内博伊沙·伊科迪诺维奇;佐兰·奥格尼亚诺维奇 具有相干条件概率的逻辑。 (英语) 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格式引用 \textit{N.Ikodinović}和\textit{Z.Ognjanović},莱克特。注释计算。科学。3571、726--736(2005;Zbl 1122.03015) 全文: 内政部
米奥德拉格·拉什科维奇;佐兰·奥格尼亚诺维奇;佐兰·马尔科维奇 具有条件概率的逻辑。 (英语) Zbl 1111.68688号 Alferes,JoséJülio(编辑)等人,《人工智能中的逻辑》。第九届欧洲会议,JELIA 2004,葡萄牙里斯本,2004年9月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23242-7/pbk)。计算机科学课堂讲稿3229。人工智能课堂讲稿,226-238(2004)。MSC公司:68T27型 68层37 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}等人,Lect。注释计算。科学。3229226--238(2004年;Zbl 1111.68688) 全文: 内政部
Đordević,拉多萨夫;米奥德拉格·拉什科维奇;佐兰·奥格尼亚诺维奇 测度只有有限范围的命题概率模型的完备性定理。 (英语) Zbl 1057.03028号 架构(architecture)。数学。逻辑 43,第4期,557-563(2004).MSC公司:03C70号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{R.Đordević}等人,Arch。数学。逻辑43,No.4,557--563(2004;Zbl 1057.03028)
佐兰·奥格尼亚诺维奇;乌洛什·米迪奇;乔泽夫·克拉蒂卡 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格式引用 \textit{Z.Ognjanović}等人,收录于:XXX Jugoslovenski simpozijum o operacionim istraćivanjima,SYM-OP-IS 2003。贝尔格莱德:马特马提奇研究所SANU。303--306(2003年;Zbl 1274.68434)
佐兰·马尔科维奇;佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇 带有概率运算符的直觉逻辑。 (英语) Zbl 1048.03020号 出版物。数学研究所。,努夫。Sér。 73(87), 31-38 (2003). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:03B48号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Marković}等人,出版物。数学研究所。,努夫。Sér。73(87),31-38(2003;Zbl 1048.03020) 全文: 内政部 欧洲DML
佐兰·马尔科维奇;佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇 直觉逻辑的概率扩展。 (英语) Zbl 1022.03011号 数学。日志。问:。 49,第4期,415-424(2003).MSC公司:03B48号 03年2月25日 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Z.Marković}等人,数学。日志。问49,第4号,415--424(2003;Zbl 1022.03011) 全文: 内政部
米奥德拉格·拉什科维奇;佐兰·奥格尼亚诺维奇;弗拉基米尔·彼得罗维奇;乌洛什Majstorović 概率逻辑LPP的一个自动定理证明器。 (英语) Zbl 1274.03041号 Krapeć,A.(编辑),向S.B.Prešić致敬。庆祝他65岁生日的报纸。贝尔格莱德:马特马提奇研究所SANU。79-83 (2001).MSC公司:03B48号 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}等人,in:向S.B.Prešić致敬。庆祝他65岁生日的报纸。贝尔格莱德:马特马提奇研究所SANU。79-83(2001年;Zbl 1274.03041)
佐兰·奥格尼亚诺维奇 似然逻辑的分解表。 (英语) Zbl 1265.03006号 Kragujevac J.数学。 23, 107-117 (2001). 审核人:米奥德拉格·拉什科维奇(贝尔格莱德) MSC公司:03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović},Kragujevac J.数学。23、107——117(2001年;Zbl 1265.03006)
佐兰·奥格尼亚诺维奇 一阶线性时间逻辑的完备性定理。 (英语) Zbl 1265.03009号 出版物。数学研究所。,努夫。Sér。 69(83), 1-7 (2001). 审核人:米奥德拉格·拉什科维奇(贝尔格莱德) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović},出版物。数学研究所。,努夫。Sér。69(83),1--7(2001;Zbl 1265.03009)
佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇 关于概率算子的经典逻辑:一个简短的综述。 (英语) Zbl 1081.03504号 南斯拉夫数学家第十届大会论文集,南斯拉夫贝尔格莱德,2001年1月21-24日。贝尔格莱德:贝尔格莱德大学数学系(ISBN 86-7589-021-4)。135-142 (2001). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B48号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}和\textit{M.Rašković,收录于:南斯拉夫贝尔格莱德第十届南斯拉夫数学家大会会议记录,2001年1月21日至24日。贝尔格莱德:贝尔格莱德大学数学系。135-142(2001年;Zbl 1081.03504)
佐兰·奥格尼亚诺维奇;乔泽夫·克拉蒂卡;米洛舍·米洛瓦诺维奇 概率逻辑中可满足性问题的遗传算法:首次报告。 (英语) Zbl 1001.68566号 Benferhat,Salem(编辑)等人,用符号和定量方法进行不确定性推理。第六届欧洲会议,ECSQARU 2001,法国图卢兹,2001年9月19-21日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2143, 805-816 (2001).MSC公司:68层37 03B48号 68T27型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,Lect。注释计算。科学。2143,805--816(2001;Zbl 1001.68566) 全文: 链接
Ognjanovic,Z。;Raškovic,M。 一些一阶概率逻辑。 (英语) Zbl 0954.03024号 西奥。计算。科学。 247,第1-2号,191-212(2000).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanovic}和\textit{M.Raškovic},Theor。计算。科学。247,编号1--2,191--212(2000;Zbl 0954.03024) 全文: 内政部
米奥德拉格·拉什科维奇;佐兰·奥格尼亚诺维奇 一阶概率逻辑–(LP_Q)。 (英语) Zbl 1006.03018号 出版物。数学研究所。,努夫。Sér。 65(79),1-7(1999). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}和\textit{Z.Ognjanović,出版物。数学研究所。,努夫。Sér。65(79),1--7(1999;Zbl 1006.03018)
佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇 一些带有新型概率算子的概率逻辑。 (英语) Zbl 0941.03022号 J.日志。计算。 9,第2期,181-195(1999).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}和\textit{M.Rašković},J.Log。计算。9,第2号,181--195(1999;Zbl 0941.03022) 全文: 内政部
佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇 带有概率算子的时序逻辑的完备性定理。 (英语) Zbl 1014.03509号 Tošić,Ratko(ed.)等人,《第八届逻辑和计算机科学国际会议论文集:计算机科学的理论基础》,1997年9月1日至4日,南斯拉夫诺维萨德,Lira’97。诺维·萨德:诺维·萨德大学,数学研究所科学学院,177-181(1997)。 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B48号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}和\textit{M.Rašković,摘自:第八届逻辑和计算机科学国际会议论文集:计算机科学的理论基础,1997年9月1日至4日,南斯拉夫诺维萨德,利拉’97。诺维·萨德:诺维·萨德大学,科学院,数学研究所。177-181(1997年;Zbl 1014.03509)
米奥德拉格·拉什科维奇;佐兰·奥格尼亚诺维奇 具有较高阶概率的逻辑。 (英语) Zbl 1009.03513号 Herceg,D.(ed.)等人,第十届应用数学会议,1995年5月29日至31日,南斯拉夫布德瓦,PRIM'95。诺维·萨德:诺维·萨德大学,数学研究所,科学院,255-257(1996)。 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B48号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}和\textit{Z.Ognjanović},1995年5月29日至31日在南斯拉夫布德瓦举行的应用数学X会议。诺维萨德大学,数学研究所,科学院。255-257(1996年;Zbl 1009.03513)
米奥德拉格·拉什科维奇;佐兰·奥格尼亚诺维奇 一些命题概率逻辑。 (英语) Zbl 0884.03021号 科学。版次,序号。科学。工程师。 19-20, 83-90 (1996). 审核人:Aleksandar Kron(泽蒙) MSC公司:03B48号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}和\textit{Z.Ognjanović,科学。版次,序号。科学。工程19-20、83-90(1996;Zbl 0884.03021)
Ognjanović,Z。;拉什科维奇,M。 具有较高阶概率的逻辑。 (英语) Zbl 0884.03019号 出版物。数学研究所。,努夫。Sér。 60(74), 1-4 (1996). 审核人:Aleksandar Kron(贝尔格莱德) MSC公司:03B48号 68T27型 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}和\textit{M.Rašković,出版物。数学研究所。,努夫。Sér。60(74),1--4(1996;Zbl 0884.03019)
米奥德拉格·拉什科维奇;佐兰·奥格尼亚诺维奇 关于概率推理的逻辑。 (英语) 兹比尔0863.03008 Herceg,D.(ed.)等人,第九届应用数学会议,1994年5月30日至6月1日,南斯拉夫布德瓦。诉讼程序。诺维萨德大学,365-369(1995)。MSC公司:03B48号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}和\textit{Z.Ognjanović,in:第九届应用数学会议,1994年5月30日至6月1日,南斯拉夫布德瓦。诉讼程序。诺维萨德:诺维萨德大学。365-369(1995年;兹bl 0863.03008)
佐兰·奥格尼亚诺维奇 正规模态逻辑的一种类似表格的证明过程。 (英语) 兹比尔0805.003007 西奥。计算。科学。 129,第1期,167-186(1994). 审核人:G.Mints(斯坦福) MSC公司:03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{Z.Ognjanović},Theor。计算。科学。129,第1号,167--186(1994;Zbl 0805.03007) 全文: 内政部