Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran Probability logics. Probability-based formalization of uncertain reasoning. (English) Zbl 1371.03001 Cham: Springer (ISBN 978-3-319-47011-5/hbk; 978-3-319-47012-2/ebook). xi, 215 p. (2016). Reviewer: Jürgen Landes (München) MSC: 03-02 03B48 60A05 68T37 PDFBibTeX XMLCite \textit{Z. Ognjanović} et al., Probability logics. Probability-based formalization of uncertain reasoning. Cham: Springer (2016; Zbl 1371.03001) Full Text: DOI
Ikodinović, Nebojša; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran First-order probabilistic logics and their applications. (English) Zbl 1524.03019 Ghilezan, Silvia (ed.), Logic in computer science. II. Beograd: Matematički Institut SANU. Zb. Rad. (Beogr.) 18(26), 37-78 (2015). MSC: 03B48 03B25 68T37 PDFBibTeX XMLCite \textit{N. Ikodinović} et al., Zb. Rad. (Beogr.) 18, 37--78 (2015; Zbl 1524.03019) Full Text: Link
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran Logics with generalized measure operators. (English) Zbl 1393.03014 J. Mult.-Val. Log. Soft Comput. 20, No. 5-6, 527-555 (2013). MSC: 03B52 03B60 68T27 68T37 PDFBibTeX XMLCite \textit{N. Ikodinović} et al., J. Mult.-Val. Log. Soft Comput. 20, No. 5--6, 527--555 (2013; Zbl 1393.03014) Full Text: Link
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, 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
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran Probability logics. (English) Zbl 1224.03005 Ognjanović, Zoran (ed.), Logic in computer science. Beograd: Matematički Institut SANU (ISBN 978-86-80593-40-1/pbk). Zbornik Radova (Beograd) 12(20), 35-111 (2009). Reviewer: Branislav Boričić (Beograd) MSC: 03B48 03B60 68T27 68T37 PDFBibTeX XMLCite \textit{Z. Ognjanović} et al., Zb. Rad. (Beogr.) 12, 35--111 (2009; Zbl 1224.03005)
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 PDFBibTeX XMLCite \textit{A. Perović} et al., Lect. Notes Comput. Sci. 5590, 651--662 (2009; Zbl 1245.68219) Full Text: DOI
Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran A logic with approximate conditional probabilities that can model default reasoning. (English) Zbl 1184.68520 Int. J. Approx. Reasoning 49, No. 1, 52-66 (2008). MSC: 68T37 03B48 03B60 68T27 PDFBibTeX XMLCite \textit{M. Rašković} et al., Int. J. Approx. Reasoning 49, No. 1, 52--66 (2008; Zbl 1184.68520) Full Text: DOI
Ikodinovic, Nebojsa; Raskovic, Miodrag; Markovic, Zoran; Ognjanovic, Zoran Measure logic. (English) Zbl 1148.68485 Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31–November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 128-138 (2007). MSC: 68T27 68T37 PDFBibTeX XMLCite \textit{N. Ikodinovic} et al., Lect. Notes Comput. Sci. 4724, 128--138 (2007; Zbl 1148.68485) Full Text: DOI
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag Completeness theorem for logic with imprecise and conditional probabilities. (English) Zbl 1144.03019 Publ. Inst. Math., Nouv. Sér. 78(92), 35-49 (2005). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B48 03B70 03B45 68T37 PDFBibTeX XMLCite \textit{Z. Ognjanović} et al., Publ. Inst. Math., Nouv. Sér. 78(92), 35--49 (2005; Zbl 1144.03019) Full Text: DOI EuDML
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran A logic with conditional probabilities. (English) Zbl 1111.68688 Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23242-7/pbk). Lecture Notes in Computer Science 3229. Lecture Notes in Artificial Intelligence, 226-238 (2004). MSC: 68T27 68T37 03B48 PDFBibTeX XMLCite \textit{M. Rašković} et al., Lect. Notes Comput. Sci. 3229, 226--238 (2004; Zbl 1111.68688) Full Text: DOI
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag A probabilistic extension of intuitionistic logic. (English) Zbl 1022.03011 Math. Log. Q. 49, No. 4, 415-424 (2003). MSC: 03B48 03B25 68T37 PDFBibTeX XMLCite \textit{Z. Marković} et al., Math. Log. Q. 49, No. 4, 415--424 (2003; Zbl 1022.03011) Full Text: DOI
Rašković, Miodrag; Ognjanović, Zoran; Petrović, Vladimir; Majstorović, Uroš An automated theorem prover for the probability logic LPP. (English) Zbl 1274.03041 Krapež, A. (ed.), A tribute to S. B. Prešić. Papers celebrating his 65th birthday. Beograd: Matematički Institut SANU. 79-83 (2001). MSC: 03B48 03B35 68T15 PDFBibTeX XMLCite \textit{M. Rašković} et al., in: A tribute to S. B. Prešić. Papers celebrating his 65th birthday. Beograd: Matematički Institut SANU. 79--83 (2001; Zbl 1274.03041)
Rašković, Miodrag; Đorđević, Radosav; Marković, Zoran A logic of approximate reasoning. (English) Zbl 0991.03027 Publ. Inst. Math., Nouv. Sér. 69(83), 8-12 (2001). Reviewer: Zoran Ognjanović (Beograd) MSC: 03B48 03C70 03C80 68T27 PDFBibTeX XMLCite \textit{M. Rašković} et al., Publ. Inst. Math., Nouv. Sér. 69(83), 8--12 (2001; Zbl 0991.03027) Full Text: EuDML
Rašković, Miodrag; Ognjanović, Zoran A logic with higher order probabilities. (English) Zbl 1009.03513 Herceg, D. (ed.) et al., X conference on applied mathematics, PRIM ’95, Budva, Yugoslavia, May 29-31, 1995. Novi Sad: University of Novi Sad, Institute of Mathematics, Faculty of Science, 255-257 (1996). Reviewer: Branislav Boričić (Beograd) MSC: 03B48 68T27 PDFBibTeX XMLCite \textit{M. Rašković} and \textit{Z. Ognjanović}, in: X conference on applied mathematics, PRIM '95, Budva, Yugoslavia, May 29--31, 1995. Novi Sad: University of Novi Sad, Institute of Mathematics, Faculty of Science. 255--257 (1996; Zbl 1009.03513)
Rašković, Miodrag; Ognjanović, Zoran Some propositional probabilistic logics. (English) Zbl 0884.03021 Sci. Rev., Ser. Sci. Eng. 19-20, 83-90 (1996). Reviewer: Aleksandar Kron (Zemun) MSC: 03B48 68T27 PDFBibTeX XMLCite \textit{M. Rašković} and \textit{Z. Ognjanović}, Sci. Rev., Ser. Sci. Eng. 19--20, 83--90 (1996; Zbl 0884.03021)
Ognjanović, Z.; Rašković, M. A logic with higher order probabilities. (English) Zbl 0884.03019 Publ. Inst. Math., Nouv. Sér. 60(74), 1-4 (1996). Reviewer: Aleksandar Kron (Beograd) MSC: 03B48 68T27 03C80 PDFBibTeX XMLCite \textit{Z. Ognjanović} and \textit{M. Rašković}, Publ. Inst. Math., Nouv. Sér. 60(74), 1--4 (1996; Zbl 0884.03019)
Rašković, Miodrag; Ognjanović, Zoran A logic for reasoning about probability. (English) Zbl 0863.03008 Herceg, D. (ed.) et al., IX conference on applied mathematics, Budva, Yugoslavia, May 30-June 1, 1994. Proceedings. Novi Sad: University of Novi Sad, 365-369 (1995). MSC: 03B48 68T27 PDFBibTeX XMLCite \textit{M. Rašković} and \textit{Z. Ognjanović}, in: IX conference on applied mathematics, Budva, Yugoslavia, May 30-June 1, 1994. Proceedings. Novi Sad: University of Novi Sad. 365--369 (1995; Zbl 0863.03008)