佐兰·奥格尼亚诺维奇
人员信息
附属: 塞尔维亚贝尔格莱德塞尔维亚科学与艺术学院数学研究所
优化列表
2020年–今天
2024 [j47] Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 :
具有可数加性语义的概率时序逻辑。 Ann.纯粹应用。 日志。 175 ( 9 ) : 103389 ( 2024 ) [公元46年] 佐兰·奥格尼亚诺维奇 , 安吉丽娜·伊里克·斯泰皮奇(Angelina Ilic-Stepic) , 阿列克桑达尔·佩罗维奇 :
概率时间认识逻辑:强完备性。 日志。 J.IGPL公司 32 ( 1 ) : 94-138 ( 2024 ) 2023 [j45] 塞伊拉·道托维奇 , Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 :
关于知识和条件概率的推理。 国际期刊近似原因。 163 : 109037 ( 2023 ) [公元44年] 安吉丽娜·伊里克·斯泰皮奇(Angelina Ilic-Stepic) , 佐兰·奥格尼亚诺维奇 , 阿列克桑达尔·佩罗维奇 :
量子观测推理的概率逻辑。 泛逻辑 17 ( 2 ) : 175-219 ( 2023 ) 2022 [公元43年] 西尔维娅·吉勒赞 , 西蒙娜·卡斯特罗维奇 , 路易吉·利科里 , 博扬·马里科维奇 , 佐兰·奥格尼亚诺维奇 , 塔玛拉·斯特凡诺维奇 :
使用结构化覆盖网络联合数字联系人跟踪。 计算。 科学。 信息系统。 19 ( 三 ) : 1261-1282 ( 2022 ) [公元42年] 大卫·莱恩赫尔 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
交互式证明的逻辑。 J.日志。 计算。 32 ( 8 ) : 1645-1658 ( 2022 ) [公元41年] 安吉丽娜·伊里克·斯泰皮奇(Angelina Ilic-Stepic) , 马蒂亚·克内泽维奇(Mateja Knezevic) , 佐兰·奥格尼亚诺维奇 :
直觉主义命题概率逻辑。 数学。 日志。 问:。 68 ( 4 ) : 479-495 ( 2022 ) [公元41年] 大卫·莱恩赫尔 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
互动证明的逻辑。 LFCS公司 2022 : 143-155 2021 [j40] 塔贾娜·斯托亚诺维奇 , 内博伊萨·伊科迪诺维奇 , 塔贾娜·达维多维奇 , 佐兰·奥格尼亚诺维奇 :
系统P中的自动非单调推理。 安。数学。 Artif公司。 智力。 89 ( 5-6 ) : 471-509 ( 2021 ) [j39] 加布里埃尔·克恩·伊斯伯纳 , 佐兰·奥格尼亚诺维奇 :
第十五届欧洲不确定性推理符号和定量方法会议特刊(ECSQARU 2019)。 国际期刊近似原因。 138 : 76-77 ( 2021 ) [公元38年] 塞伊拉·道托维奇 , Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 :
关于确认度的推理逻辑。 J.日志。 计算。 31 ( 8 ) : 2189-2217 ( 2021 ) [公元40年] 塞伊拉·道托维奇 , Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 :
具有条件概率的认识概率逻辑。 杰莉亚 2021 : 279-293 [i5] 大卫·莱恩赫尔 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
交互式证明的逻辑。 CoRR公司 abs/2109.00775 ( 2021 ) 2020 [公元37年] 内博伊萨·伊科迪诺维奇 , 佐兰·奥格尼亚诺维奇 , 阿列克桑达尔·佩罗维奇 , 米奥德拉格·拉斯科维奇 :
的完整性定理 σ -加性概率语义。 Ann.纯粹应用。 日志。 171 ( 4 ) : 102755 ( 2020 ) [公元36年] 博扬·马里科维奇 , 佐兰·奥格尼亚诺维奇 , 保拉·格拉文 , 安东·科斯 , 安东·乌梅克 :
Chord协议的正确性。 计算。 科学。 信息系统。 17 ( 1 ) : 141-160 ( 2020 ) [j35] Dragan Doder公司 , 内纳德·萨维奇 , 佐兰·奥格尼亚诺维奇 :
关于高阶上下概率推理的多代理逻辑。 J.日志。 语言信息。 29 ( 1 ) : 77-107 ( 2020 ) [公元34年] Ioannis Kokkinis公司 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
概率论证逻辑。 J.日志。 计算。 30 ( 1 ) : 257-280 ( 2020 ) [公元33年] 西尼萨·托莫维奇 , 佐兰·奥格尼亚诺维奇 , Dragan Doder公司 :
关于知识和概率推理的一阶逻辑。 ACM事务处理。 计算。 日志。 21 ( 2 ) : 16:1-16:30 ( 2020 ) [公元39年] 兹沃尼米尔·西基奇 , 西尔维娅·吉勒赞 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
逻辑和应用-LAP会议。 逻辑、语言和安全 2020 : 98-100 [公元38年] 塞伊拉·道托维奇 , Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 :
关于确认度的推理。 CLAR公司 2020 : 80-95 [公元37年] 西尔维娅·吉勒赞 , Jelena Ivetic公司 , 西蒙娜·卡斯特罗维奇 , 佐兰·奥格尼亚诺维奇 , 内纳德·萨维奇 :
类型理论中的概率推理——交叉类型案例。 FoIKS公司 2020 : 122-139
2010 – 2019
2019 [公元32年] 博扬·马里科维奇 , 保拉·格拉文 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
带有非刚性代理集的时间认知逻辑,用于分析区块链协议。 J.日志。 计算。 29 ( 5 ) : 803-830 ( 2019 ) [公元31年] 博扬·马里科维奇 , 保拉·格拉文 , 佐兰·奥格尼亚诺维奇 :
使用ASM形式证明Chord协议的属性。 西奥。 计算。 科学。 756 : 64-93 ( 2019 ) [公元36年] 博扬·马里科维奇 , 保拉·格拉文 , 佐兰·奥格尼亚诺维奇 , Dragan Doder公司 , 托马斯·斯图德 :
区块链协议的概率共识。 ECSQARU公司 2019 : 469-480 [c35] Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 , 内纳德·萨维奇 , 托马斯·斯图德 :
不完整的信息和理由。 TbiLLC公司 2019 : 258-278 [电子1] 加布里埃尔·克恩·伊斯伯纳 , 佐兰·奥格尼亚诺维奇 :
《带不确定性推理的符号和定量方法》,第十五届欧洲会议,2019年欧洲科学与技术研究所2019年9月18日至20日,塞尔维亚贝尔格莱德,会议记录。 计算机科学课堂讲稿 11726, 施普林格 2019 ,国际标准图书编号 978-3-030-29764-0 [目录] [i4] 西尼萨·托莫维奇 , 佐兰·奥格尼亚诺维奇 , Dragan Doder公司 :
关于知识和概率推理的一阶逻辑。 CoRR公司 abs/1901.06886 ( 2019 ) 2018 【j30】 安吉丽娜·伊里克·斯泰皮奇(Angelina Ilic-Stepic) , 佐兰·奥格尼亚诺维奇 :
形式化p-adic值概率的逻辑及其应用。 国际J.并行应急分布式系统。 33 ( 三 ) : 257-275 ( 2018 ) [公元34年] Dragan Doder公司 , 内纳德·萨维奇 , 佐兰·奥格尼亚诺维奇 :
具有上下概率算子迭代的可判定多智能体逻辑。 FoIKS公司 2018 : 170-185 [c33] 西尔维娅·吉勒赞 , Jelena Ivetic公司 , 西蒙娜·卡斯特罗维奇 , 佐兰·奥格尼亚诺维奇 , 内纳德·萨维奇 :
关于简单类型Lambda术语的概率推理。 LFCS公司 2018 : 170-189 2017 [公元29年] 内纳德·萨维奇 , Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 :
具有上下概率运算符的逻辑。 国际期刊近似原因。 88 : 148-168 ( 2017 ) [公元28年] Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 :
具有独立性和确认性的概率逻辑。 Stud Logica公司 105 ( 5 ) : 943-969 ( 2017 ) [公元32年] 内纳德·萨维奇 , Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 :
高阶上下概率推理的一阶逻辑。 ECSQARU公司 2017 : 491-500 [公元31年] 佐兰·奥格尼亚诺维奇 , 内纳德·萨维奇 , 托马斯·斯图德 :
具有近似条件概率的证明逻辑。 LORI公司 2017 : 681-686 [i3] 博扬·马里科维奇 , 佐兰·奥格尼亚诺维奇 , 保拉·格拉文 , 安东·科斯 , 安东·乌梅克 :
和弦协议的正确性。 CoRR公司 abs/1709.07938 ( 2017 ) 2016 【b1】 佐兰·奥格尼亚诺维奇 , 米奥德拉格·拉斯科维奇 , 佐兰·马尔科维奇 :
概率逻辑-不确定推理的基于概率的形式化。 施普林格 2016 ,国际标准图书编号 978-3-319-47011-5 ,第1-215页 [公元30年] 博扬·马里科维奇 , 佐兰·奥格尼亚诺维奇 , 保拉·格拉文 , 安东·乌梅克 :
和弦协议的正确性。 IIKI公司 2016 : 547-552 [公元29年] Ioannis Kokkinis公司 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
概率论证逻辑。 LFCS公司 2016 : 174-186 2015 [j27] 塔贾娜·斯托亚诺维奇 , 塔贾娜·达维多维奇 , 佐兰·奥格尼亚诺维奇 :
概率逻辑中可满足性问题的蜂群优化。 申请。 软计算。 31 : 339-347 ( 2015 ) [公元26年] Ioannis Kokkinis公司 , 佩塔尔·马克西莫维奇 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
概率合理性逻辑的第一步。 日志。 J.IGPL公司 23 ( 4 ) : 662-687 ( 2015 ) [j25] 博扬·马里科维奇 , 文森佐·西安卡里尼 , 佐兰·奥格尼亚诺维奇 , 保拉·格拉文 , 路易吉·利科里 , 佩塔尔·马克西莫维奇 :
分析Synapse协议的详尽性。 对等网络。 申请。 8 ( 5 ) : 793-806 ( 2015 ) [公元24年] 安吉丽娜·伊里克·斯泰皮奇(Angelina Ilic-Stepic) , 佐兰·奥格尼亚诺维奇 :
用p-adic数编码的信息推理思维过程的逻辑。 Stud Logica公司 103 ( 1 ) : 145-174 ( 2015 ) [公元28年] 西尼萨·托莫维奇 , 佐兰·奥格尼亚诺维奇 , Dragan Doder公司 :
无限数量代理之间的概率公共知识。 ECSQARU公司 2015 : 496-505 [公元27年] Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 :
不确定时间信息推理的概率逻辑。 阿拉伯联合酋长国 2015 : 248-257 2014 [公元23年] 内博伊萨·伊科迪诺维奇 , 米奥德拉格·拉斯科维奇 , 佐兰·马尔科维奇 , 佐兰·奥格尼亚诺维奇 :
具有近似条件概率的一阶概率逻辑。 日志。 J.IGPL公司 22 ( 4 ) : 539-564 ( 2014 ) [公元22年] 内博伊萨·伊科迪诺维奇 , 佐兰·奥格尼亚诺维奇 , 阿列克桑达尔·佩罗维奇 , 米奥德拉格·拉斯科维奇 :
概率逻辑的层次结构。 国际期刊近似原因。 55 ( 9 ) : 1830-1842 ( 2014 ) [公元21年] 安吉丽娜·伊里克·斯泰皮奇(Angelina Ilic-Stepic) , 佐兰·奥格尼亚诺维奇 , 内博伊萨·伊科迪诺维奇 :
条件p-adic概率逻辑。 国际期刊近似原因。 55 ( 9 ) : 1843-1865 ( 2014 ) [公元20年] 博扬·马里科维奇 , 佐兰·奥格尼亚诺维奇 , Dragan Doder公司 , 阿列克桑达尔·佩罗维奇 :
时间流同构于ω的命题线性时间逻辑 2 . J.应用。 日志。 12 ( 2 ) : 208-229 ( 2014 ) [公元19年] 米洛斯·萨维奇 , 米尔贾娜·伊万诺维奇 , 米洛斯·拉多万诺维奇 , 佐兰·奥格尼亚诺维奇 , 阿列克桑达尔·佩乔维奇 , 塔贾娜·雅克西克·克鲁格 :
塞尔维亚数学期刊中科学合作的结构和演变。 科学计量学 101 ( 三 ) : 1805-1830 ( 2014 ) [公元26年] 阿列克桑达尔·米哈伊洛维奇 , 弗拉迪萨夫·杰利萨维奇 , 博扬·马里科维奇 , 米兰·图多罗维克 , 佐兰·奥格尼亚诺维奇 , 西尼萨·托莫维奇 , 弗拉基米尔·斯托亚诺维奇 , 米卢蒂诺维奇 :
塞尔维亚论坛-数字文化遗产门户。 ICISP公司 2014 : 265-271 [公元25年] 米洛斯·萨维奇 , 米尔贾娜·伊万诺维奇 , 米洛斯·拉多万诺维奇 , 佐兰·奥格尼亚诺维奇 , 阿列克桑达尔·佩乔维奇 , 塔贾娜·雅克西克·克鲁格 :
合著网络中社区的探索性分析:案例研究。 信息通信技术创新 2014 : 55-64 [公元24年] 米利卡·克内泽维奇 , 佐兰·奥格尼亚诺维奇 , 阿列克桑达尔·佩罗维奇 :
自动医疗诊断中的有限加性概率测量。 IPMU(2) 2014 : 10-19 2013 [公元18年] Dragan Doder公司 , 约翰·格兰特 , 佐兰·奥格尼亚诺维奇 :
位于空间和时间中的对象的概率逻辑。 J.日志。 计算。 23 ( 三 ) : 487-515 ( 2013 ) [公元17年] 内博伊萨·伊科迪诺维奇 , 米奥德拉格·拉斯科维奇 , 佐兰·马尔科维奇 , 佐兰·奥格尼亚诺维奇 :
广义测度算子逻辑。 J.多值测井。 软计算。 20 ( 5-6 ) : 527-555 ( 2013 ) 【c23】 佐兰·奥格尼亚诺维奇 , 阿列克桑达尔·佩罗维奇 , Dragan Doder公司 :
一阶动态概率逻辑。 ECSQARU公司 2013 : 461-472 [i2] 博扬·马里科维奇 , 佐兰·奥格尼亚诺维奇 , Dragan Doder公司 , 阿列克桑达尔·佩罗维奇 :
时间流同构到ω^2的命题线性时间逻辑。 CoRR公司 腹肌/1309.0829 ( 2013 ) 2012 [公元16年] 佐兰·奥格尼亚诺维奇 , 佐兰·马尔科维奇 , 米奥德拉格·拉斯科维奇 , Dragan Doder公司 , 阿列克桑达尔·佩罗维奇 :
用于证据推理的具有离散线性时间的命题概率逻辑。 安。数学。 Artif公司。 智力。 65 ( 2-3 ) : 217-243 ( 2012 ) [公元15年] 米洛斯·米洛舍维奇 , 佐兰·奥格尼亚诺维奇 :
一阶条件概率逻辑。 日志。 J.IGPL公司 20 ( 1 ) : 235-253 ( 2012 ) [公元14年] 安吉丽娜·伊里克·斯泰皮奇(Angelina Ilic-Stepic) , 佐兰·奥格尼亚诺维奇 , 内博伊萨·伊科迪诺维奇 , 阿列克桑达尔·佩罗维奇 :
一种p-adic概率逻辑。 数学。 日志。 问:。 58 ( 4-5 ) : 263-280 ( 2012 ) [公元22年] 阿列克桑达尔·佩罗维奇 , Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 :
命题公式的实值评价。 FoIKS公司 2012 : 264-277 [i1] 博扬·马里科维奇 , 保拉·格拉文 , 佐兰·奥格尼亚诺维奇 :
使用ASM形式化描述和弦协议。 CoRR公司 abs/1208.0712 ( 2012 ) 2011 [j13] 阿列克桑达尔·佩罗维奇 , 佐兰·奥格尼亚诺维奇 , 米奥德拉格·拉斯科维奇 , 德拉甘·拉多杰维奇 :
可由哥德尔t范数和乘积t范数定义的经典命题公式上的有限可加概率测度。 模糊集系统。 169 ( 1 ) : 65-90 ( 2011 ) 【c21】 Dragan Doder公司 , 阿列克桑达尔·佩罗维奇 , 佐兰·奥格尼亚诺维奇 :
非单调后果关系的概率方法。 ECSQARU公司 2011 : 459-471 [公元20年] 佐兰·奥格尼亚诺维奇 , Dragan Doder公司 , 佐兰·马尔科维奇 :
具有两类概率算子的分支时间逻辑。 SUM(总和) 2011 : 219-232 2010 [公元12年] Dragan Doder公司 , 米奥德拉格·拉斯科维奇 , 佐兰·马尔科维奇 , 佐兰·奥格尼亚诺维奇 :
不一致和违约措施。 国际期刊近似原因。 51 ( 7 ) : 832-845 ( 2010 ) [公元11年] Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 , 佐兰·马尔科维奇 :
一阶分支时序逻辑的公理化。 J.大学。 计算。 科学。 16 ( 11 ) : 1439-1451 ( 2010 ) [公元10年] 扎尔科·米贾伊洛维奇 , 佐兰·奥格尼亚诺维奇 , 阿列克桑达尔·佩乔维奇 :
塞尔维亚数学版的数字化。 数学。 计算。 科学。 三 ( 三 ) : 251-263 ( 2010 ) [第19条] Dragan Doder公司 , 佐兰·马尔科维奇 , 佐兰·奥格尼亚诺维奇 , 阿列克桑达尔·佩罗维奇 , 米奥德拉格·拉斯科维奇 :
可以对证据推理建模的概率时间逻辑。 FoIKS公司 2010 : 9-24 [第18条] 博扬·马里科维奇 , 路易吉·利科里 , 文森佐·西安卡里尼 , 佐兰·奥格尼亚诺维奇 :
数字化文化遗产分布式目录。 信息通信技术创新 2010 : 176-186
2000 – 2009
2009 [c17] 阿列克桑达尔·佩罗维奇 , 佐兰·奥格尼亚诺维奇 , 米奥德拉格·拉斯科维奇 , 佐兰·马尔科维奇 :
定性的可能性和必要性。 ECSQARU公司 2009 : 651-662 2008 [公元9年] 佐兰·奥格尼亚诺维奇 , 阿列克桑达尔·佩罗维奇 , 米奥德拉格·拉斯科维奇 :
定性概率算子的逻辑。 日志。 J.IGPL公司 16 ( 2 ) : 105-120 ( 2008 ) [j8] 米奥德拉格·拉斯科维奇 , 佐兰·马尔科维奇 , 佐兰·奥格尼亚诺维奇 :
具有近似条件概率的逻辑,可以模拟默认推理。 国际期刊近似原因。 49 ( 1 ) : 52-66 ( 2008 ) [第16条] 德拉甘·拉多杰维奇 , 阿列克桑达尔·佩罗维奇 , 佐兰·奥格尼亚诺维奇 , 米奥德拉格·拉斯科维奇 :
插值布尔逻辑。 AIMSA公司 2008 : 209-219 [第15条] 阿列克桑达尔·佩罗维奇 , 佐兰·奥格尼亚诺维奇 , 米奥德拉格·拉斯科维奇 , 佐兰·马尔科维奇 :
具有多项式权重公式的概率逻辑。 FoIKS公司 2008 : 239-252 [第14条] 阿列克桑达尔·佩罗维奇 , 佐兰·奥格尼亚诺维奇 , 米奥德拉格·拉斯科维奇 , 佐兰·马尔科维奇 :
如何将紧凑性恢复为概率逻辑?。 杰莉亚 2008 : 338-348 2007 [第13条] 内博伊萨·伊科迪诺维奇 , 米奥德拉格·拉斯科维奇 , 佐兰·马尔科维奇 , 佐兰·奥格尼亚诺维奇 :
测量逻辑。 ECSQARU公司 2007 : 128-138 [第12条] 扎尔科·米贾伊洛维奇 , 佐兰·奥格尼亚诺维奇 , 阿列克桑达尔·佩乔维奇 :
塞尔维亚科学期刊的数字化。 ELPUB公司 2007 : 465-466 [第11条] 佐兰·奥格尼亚诺维奇 , 塔玛拉·布提甘·武卡吉 , 博扬·马里科维奇 :
NCD关于塞尔维亚数字遗产描述国家标准的建议。 中期战略审查 2007 : 45-54 [第1页] 德扬·约万诺维奇 , 内纳德·姆拉德诺维奇 , 佐兰·奥格尼亚诺维奇 :
概率可满足性问题的变邻域搜索。 元启发式 2007 : 173-188 2006 [j7] 佐兰·奥格尼亚诺维奇 :
离散线性时间概率逻辑:完备性、可判定性和复杂性。 J.日志。 计算。 16 ( 2 ) : 257-285 ( 2006 ) [第10条] 佐兰·奥格尼亚诺维奇 , 塔玛拉·布提甘·武卡吉 , 博扬·马里科维奇 :
《数字遗产描述国家标准提案》。 ELPUB公司 2006 : 387-388 2005 【c9】 内博伊萨·伊科迪诺维奇 , 佐兰·奥格尼亚诺维奇 :
具有相干条件概率的逻辑。 ECSQARU公司 2005 : 726-736 【c8】 德拉甘·布拉戈耶维奇 , 扎尔科·米贾伊洛维奇 , 佐兰·奥格尼亚诺维奇 :
塞尔维亚数学著作电子版。 ELPUB公司 2005 【c7】 佐兰·奥格尼亚诺维奇 , 乌罗斯米迪奇语 , 内纳德·姆拉德诺维奇 :
概率SAT问题的混合遗传和可变邻域下降算法。 混合元启发式 2005 : 42-53 2004 [j6] Radosav S.Dordevic公司 , 米奥德拉格·拉斯科维奇 , 佐兰·奥格尼亚诺维奇 :
测度只有有限范围的命题概率模型的完备性定理。 架构(architecture)。 数学。 日志。 43 ( 4 ) : 557-564 ( 2004 ) 【c6】 佐兰·奥格尼亚诺维奇 , 乌罗斯米迪奇语 , 乔泽夫·克拉蒂卡 :
概率SAT问题的遗传算法。 ICAISC公司 2004 : 462-467 【c5】 米奥德拉格·拉斯科维奇 , 佐兰·奥格尼亚诺维奇 , 佐兰·马尔科维奇 :
具有条件概率的逻辑。 杰莉亚 2004 : 226-238 【c4】 米奥德拉格·拉斯科维奇 , 佐兰·奥格尼亚诺维奇 , 佐兰·马尔科维奇 :
默认推理的概率方法。 核磁共振 2004 : 335-341 2003 [j5] 佐兰·马尔科维奇 , 佐兰·奥格尼亚诺维奇 , 米奥德拉格·拉斯科维奇 :
直觉逻辑的概率扩展。 数学。 日志。 问:。 49 ( 4 ) : 415-424 ( 2003 ) 2001 【c3】 佐兰·奥格尼亚诺维奇 , 乔泽夫·克拉蒂卡 , 米洛斯·米洛瓦诺维奇 :
概率逻辑中可满足性问题的遗传算法:首次报告。 ECSQARU公司 2001 : 805-816 2000 【j4】 佐兰·奥格尼亚诺维奇 , 米奥德拉格·拉斯科维奇 :
一些一阶概率逻辑。 西奥。 计算。 科学。 247 ( 1-2 ) : 191-212 ( 2000 )
1990 – 1999
1999 [j3] 佐兰·奥格尼亚诺维奇 , 米奥德拉格·拉斯科维奇 :
一些概率逻辑与新型概率算子。 J.日志。 计算。 9 ( 2 ) : 181-195 ( 1999 ) 1994 [注2] 佐兰·奥格尼亚诺维奇 :
正规模态逻辑的表类证明程序。 西奥。 计算。 科学。 129 ( 1 ) : 167-186 ( 1994 ) 1992 【c2】 阿列克桑达尔·克拉佩斯 , 米奥德拉格·卡佩塔诺维奇 , 佐兰·奥格尼亚诺维奇 , 塔贾娜·彼得罗维奇 :
证明程序91-平行定理证明程序(扩展摘要)。 TABLEAUX公司 1992 : 43-45 【c1】 佐兰·奥格尼亚诺维奇 , 德拉甘·乌洛舍维奇 , 塔贾娜·彼得罗维奇 , 佐拉娜·里斯托维奇 :
模态定理证明的Tableaux重述方法(扩展抽象)。 TABLEAUX公司 1992 : 61-63 1990 [j1] 米罗斯拉夫·约科维奇 , 米奥米尔·武科布拉托维奇 , 佐兰·奥格尼亚诺维奇 :
一种柔性制造单元最高控制层建模方法。 机器人 8 ( 2 ) : 125-130 ( 1990 )