Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran; Rašković, Miodrag On evaluations of propositional formulas in countable structures. (English) Zbl 06749656 Filomat 30, No. 1, 1-13 (2016). MSC: 03B80 PDF BibTeX XML Cite \textit{A. Perović} et al., Filomat 30, No. 1, 1--13 (2016; Zbl 06749656) Full Text: DOI
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 PDF BibTeX XML Cite \textit{Z. Ognjanović} et al., Ann. Math. Artif. Intell. 65, No. 2--3, 217--243 (2012; Zbl 1269.03033) Full Text: DOI
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 PDF BibTeX XML Cite \textit{D. Doder} et al., Int. J. Approx. Reasoning 51, No. 7, 832--845 (2010; Zbl 1205.68422) Full Text: DOI