Stojanović, Tatjana; Ikodinović, Nebojša; Davidović, Tatjana; Ognjanović, Zoran Automated non-monotonic reasoning in System P. (English) Zbl 07377235 Ann. Math. Artif. Intell. 89, No. 5-6, 471-509 (2021). MSC: 03-XX 90C59 PDF BibTeX XML Cite \textit{T. Stojanović} et al., Ann. Math. Artif. Intell. 89, No. 5--6, 471--509 (2021; Zbl 07377235) Full Text: DOI OpenURL
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran Multi-agent logics for reasoning about higher-order upper and lower probabilities. (English) Zbl 1477.03069 J. Logic Lang. Inf. 29, No. 1, 77-107 (2020). MSC: 03B48 03B25 PDF BibTeX XML Cite \textit{D. Doder} et al., J. Logic Lang. Inf. 29, No. 1, 77--107 (2020; Zbl 1477.03069) Full Text: DOI Link OpenURL
Belle, Vaishak; Levesque, Hector J. Regression and progression in stochastic domains. (English) Zbl 1435.68311 Artif. Intell. 281, Article ID 103247, 28 p. (2020). MSC: 68T27 68T30 68T37 68T40 PDF BibTeX XML Cite \textit{V. Belle} and \textit{H. J. Levesque}, Artif. Intell. 281, Article ID 103247, 28 p. (2020; Zbl 1435.68311) Full Text: DOI Link OpenURL
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag Completeness theorems for \(\sigma \)-additive probabilistic semantics. (English) Zbl 1452.03064 Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020). Reviewer: Jürgen Landes (München) MSC: 03B48 03B42 03C10 PDF BibTeX XML Cite \textit{N. Ikodinović} et al., Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020; Zbl 1452.03064) Full Text: DOI OpenURL
Henderson, T. C.; Simmons, R.; Serbinowski, B.; Cline, M.; Sacharny, D.; Fan, X.; Mitiche, A. Probabilistic sentence satisfiability: an approach to PSAT. (English) Zbl 1478.68322 Artif. Intell. 278, Article ID 103199, 15 p. (2020). MSC: 68T20 68T30 68T37 PDF BibTeX XML Cite \textit{T. C. Henderson} et al., Artif. Intell. 278, Article ID 103199, 15 p. (2020; Zbl 1478.68322) Full Text: DOI Link OpenURL
Naumov, Pavel; Tao, Jia Knowing-how under uncertainty. (English) Zbl 1478.03027 Artif. Intell. 276, 41-56 (2019). MSC: 03B42 68T27 68T30 PDF BibTeX XML Cite \textit{P. Naumov} and \textit{J. Tao}, Artif. Intell. 276, 41--56 (2019; Zbl 1478.03027) Full Text: DOI OpenURL
Vieira de Faria, Francisco H. O.; Gusmão, Arthur Colombini; De Bona, Glauber; Mauá, Denis Deratani; Cozman, Fabio Gagliardi Speeding up parameter and rule learning for acyclic probabilistic logic programs. (English) Zbl 1456.68168 Int. J. Approx. Reasoning 106, 32-50 (2019). MSC: 68T05 68N17 PDF BibTeX XML Cite \textit{F. H. O. Vieira de Faria} et al., Int. J. Approx. Reasoning 106, 32--50 (2019; Zbl 1456.68168) Full Text: DOI OpenURL
Belle, Vaishak; Levesque, Hector J. Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. (English) Zbl 1451.68254 Artif. Intell. 262, 189-221 (2018). MSC: 68T27 68T30 68T37 68T40 PDF BibTeX XML Cite \textit{V. Belle} and \textit{H. J. Levesque}, Artif. Intell. 262, 189--221 (2018; Zbl 1451.68254) Full Text: DOI arXiv OpenURL
Kokkinis, Ioannis The complexity of satisfiability in non-iterated and iterated probabilistic logics. (English) Zbl 1459.03027 Ann. Math. Artif. Intell. 83, No. 3-4, 351-382 (2018). MSC: 03B48 03B42 68Q25 PDF BibTeX XML Cite \textit{I. Kokkinis}, Ann. Math. Artif. Intell. 83, No. 3--4, 351--382 (2018; Zbl 1459.03027) Full Text: DOI arXiv OpenURL
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran Logics with lower and upper probability operators. (English) Zbl 1422.03042 Int. J. Approx. Reasoning 88, 148-168 (2017). MSC: 03B48 PDF BibTeX XML Cite \textit{N. Savić} et al., Int. J. Approx. Reasoning 88, 148--168 (2017; Zbl 1422.03042) Full Text: DOI Link OpenURL
Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas Probabilistic justification logic. (English) Zbl 1476.03013 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 174-186 (2016). MSC: 03B42 03B48 PDF BibTeX XML Cite \textit{I. Kokkinis} et al., Lect. Notes Comput. Sci. 9537, 174--186 (2016; Zbl 1476.03013) Full Text: DOI OpenURL
Ilić Stepić, A.; Ognjanović, Z.; Ikodinović, N.; Perović, A. \(p\)-adic probability logics. (English) Zbl 1353.03013 \(p\)-Adic Numbers Ultrametric Anal. Appl. 8, No. 3, 177-203 (2016). MSC: 03B48 03B25 03B42 PDF BibTeX XML Cite \textit{A. Ilić Stepić} et al., \(p\)-Adic Numbers Ultrametric Anal. Appl. 8, No. 3, 177--203 (2016; Zbl 1353.03013) Full Text: DOI OpenURL
Tomović, Siniša; Ognjanović, Zoran; Doder, Dragan Probabilistic common knowledge among infinite number of agents. (English) Zbl 1465.68244 Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 496-505 (2015). MSC: 68T27 03B42 03B48 PDF BibTeX XML Cite \textit{S. Tomović} et al., Lect. Notes Comput. Sci. 9161, 496--505 (2015; Zbl 1465.68244) Full Text: DOI OpenURL
Ilić Stepić, Angelina; Ognjanović, Zoran Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers. (English) Zbl 1382.03045 Stud. Log. 103, No. 1, 145-174 (2015). MSC: 03B48 03B25 03B42 68T27 PDF BibTeX XML Cite \textit{A. Ilić Stepić} and \textit{Z. Ognjanović}, Stud. Log. 103, No. 1, 145--174 (2015; Zbl 1382.03045) Full Text: DOI OpenURL
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag Hierarchies of probabilistic logics. (English) Zbl 1433.03061 Int. J. Approx. Reasoning 55, No. 9, 1830-1842 (2014). MSC: 03B48 03D55 PDF BibTeX XML Cite \textit{N. Ikodinović} et al., Int. J. Approx. Reasoning 55, No. 9, 1830--1842 (2014; Zbl 1433.03061) Full Text: DOI OpenURL
De Bona, Glauber; Cozman, Fabio Gagliardi; Finger, Marcelo Towards classifying propositional probabilistic logics. (English) Zbl 1352.03032 J. Appl. Log. 12, No. 3, 349-368 (2014). MSC: 03B48 PDF BibTeX XML Cite \textit{G. De Bona} et al., J. Appl. Log. 12, No. 3, 349--368 (2014; Zbl 1352.03032) Full Text: DOI OpenURL
Ilić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša; Perović, Aleksandar A \(p\)-adic probability logic. (English) Zbl 1251.03027 Math. Log. Q. 58, No. 4-5, 263-280 (2012). Reviewer: Jürgen Landes (Canterbury) MSC: 03B48 03B25 03B42 68T27 PDF BibTeX XML Cite \textit{A. Ilić-Stepić} et al., Math. Log. Q. 58, No. 4--5, 263--280 (2012; Zbl 1251.03027) Full Text: DOI OpenURL
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Radojević, Dragan Finitely additive probability measures on classical propositional formulas definable by Gödel’s t-norm and product t-norm. (English) Zbl 1233.03032 Fuzzy Sets Syst. 169, No. 1, 65-90 (2011). MSC: 03B52 03B48 PDF BibTeX XML Cite \textit{A. Perović} et al., Fuzzy Sets Syst. 169, No. 1, 65--90 (2011; Zbl 1233.03032) Full Text: DOI OpenURL
Zhou, Chunlai Probability logic of finitely additive beliefs. (English) Zbl 1204.03027 J. Logic Lang. Inf. 19, No. 3, 247-282 (2010). Reviewer: Jürgen Landes (München) MSC: 03B48 PDF BibTeX XML Cite \textit{C. Zhou}, J. Logic Lang. Inf. 19, No. 3, 247--282 (2010; Zbl 1204.03027) Full Text: DOI OpenURL
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 OpenURL
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 PDF BibTeX XML Cite \textit{M. Rašković} et al., Int. J. Approx. Reasoning 49, No. 1, 52--66 (2008; Zbl 1184.68520) Full Text: DOI OpenURL
Jaeger, Manfred Probabilistic role models and the guarded fragment. (English) Zbl 1093.68106 Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 14, No. 1, 43-59 (2006). MSC: 68T27 68T37 03B48 PDF BibTeX XML Cite \textit{M. Jaeger}, Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 14, No. 1, 43--59 (2006; Zbl 1093.68106) Full Text: DOI OpenURL