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
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran Qualitative possibilities and necessities. (English) Zbl 1245.68219 Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 651-662 (2009). MSC: 68T37 68T27 PDF BibTeX XML Cite \textit{A. Perović} et al., Lect. Notes Comput. Sci. 5590, 651--662 (2009; Zbl 1245.68219) Full Text: DOI
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran How to restore compactness into probabilistic logics? (English) Zbl 1178.03034 Hölldobler, Steffen (ed.) et al., Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28–October 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87802-5/pbk). Lecture Notes in Computer Science 5293. Lecture Notes in Artificial Intelligence, 338-348 (2008). MSC: 03B48 PDF BibTeX XML Cite \textit{A. Perović} et al., Lect. Notes Comput. Sci. 5293, 338--348 (2008; Zbl 1178.03034) Full Text: DOI
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran A probabilistic logic with polynomial weight formulas. (English) Zbl 1138.03315 Hartmann, Sven (ed.) et al., Foundations of information and knowledge systems. 5th international symposium, FoIKS 2008, Pisa, Italy, February 11–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77683-3/pbk). Lecture Notes in Computer Science 4932, 239-252 (2008). MSC: 03B48 PDF BibTeX XML Cite \textit{A. Perović} et al., Lect. Notes Comput. Sci. 4932, 239--252 (2008; Zbl 1138.03315) Full Text: DOI
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran; Ikodinović, Nebojša; Perović, Aleksandar Logics with probabilistic operators. (Serbian) Zbl 1240.03003 Čangalović, Mirjana (ed.) et al., XXXIV simpozijum o operacionim istraživanjima, SYM-OP-IS 2007. Zbornik Radova. Beograd: Fakultet Organizacionih Nauka (ISBN 978-86-7680-124-4). 649-651 (2007). Reviewer: Milija Suknović (Beograd) MSC: 03B48 PDF BibTeX XML Cite \textit{M. Rašković} et al., in: XXXIV simpozijum o operacionim istraživanjima, SYM-OP-IS 2007. Zbornik Radova. Beograd: Fakultet Organizacionih Nauka. 649--651 (2007; Zbl 1240.03003)