Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag; Doder, Dragan; Perović, Aleksandar A propositional probabilistic logic with discrete linear time for reasoning about evidence. (English) Zbl 1269.03033 Ann. Math. Artif. Intell. 65, No. 2-3, 217-243 (2012). Reviewer: Jürgen Landes (Canterbury) MSC: 03B62 03B44 68T27 PDFBibTeX XMLCite \textit{Z. Ognjanović} et al., Ann. Math. Artif. Intell. 65, No. 2--3, 217--243 (2012; Zbl 1269.03033) Full Text: DOI
Doder, D.; Ognjanović, Z.; Marković, Z. An axiomatization of a first-order branching time temporal logic. (English) Zbl 1216.03033 J. UCS 16, No. 11, 1439-1451 (2010). MSC: 03B44 PDFBibTeX XMLCite \textit{D. Doder} et al., J. UCS 16, No. 11, 1439--1451 (2010; Zbl 1216.03033) Full Text: Link
Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran Measures of inconsistency and defaults. (English) Zbl 1205.68422 Int. J. Approx. Reasoning 51, No. 7, 832-845 (2010). MSC: 68T37 PDFBibTeX XMLCite \textit{D. Doder} et al., Int. J. Approx. Reasoning 51, No. 7, 832--845 (2010; Zbl 1205.68422) Full Text: DOI