Edit Profile (opens in new tab) Doder, Dragan Compute Distance To: Compute Author ID: doder.dragan Published as: Doder, Dragan; Doder, D. Documents Indexed: 29 Publications since 2010 Co-Authors: 23 Co-Authors with 28 Joint Publications 315 Co-Co-Authors all top 5 Co-Authors 1 single-authored 18 Ognjanović, Zoran 8 Perović, Aleksandar 4 Savić, Nenad 3 Dautović, Šejla 3 Marinković, Bojan 3 Marković, Zoran M. 3 Rašković, Miodrag D. 2 Amgoud, Leila 2 Tomović, Siniša 2 van Zee, Marc 1 Dastani, Mehdi M. 1 David, Victor 1 Glavan, Paola 1 Grant, John R. 1 Icard, Thomas F. III 1 Ilić Stepić, Angelina 1 Maksimović, Petar 1 Mijajlović, Žarko 1 Pacuit, Eric 1 Polberg, Sylwia 1 Studer, Thomas 1 van der Torre, Leendert W. N. 1 Vesic, Srdjan all top 5 Serials 3 Publications de l’Institut Mathématique. Nouvelle Série 2 Artificial Intelligence 2 International Journal of Approximate Reasoning 2 Journal of Logic and Computation 1 Studia Logica 1 Journal of Logic, Language and Information 1 Filomat 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Universal Computer Science 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic Fields 19 Mathematical logic and foundations (03-XX) 17 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 60 times in 40 Documents Cited by ▼ Year ▼ Measures of inconsistency and defaults. Zbl 1205.68422Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran 14 2010 Probabilistic abstract dialectical frameworks. Zbl 1343.68228Polberg, Sylwia; Doder, Dragan 11 2014 Probabilistic logics for objects located in space and time. Zbl 1267.03041Doder, Dragan; Grant, John; Ognjanović, Zoran 6 2013 A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P. Zbl 1289.03005Doder, Dragan 4 2011 A propositional probabilistic logic with discrete linear time for reasoning about evidence. Zbl 1269.03033Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag; Doder, Dragan; Perović, Aleksandar 4 2012 Probabilistic logics with independence and confirmation. Zbl 1417.03171Doder, Dragan; Ognjanović, Zoran 4 2017 An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033Doder, D.; Ognjanović, Z.; Marković, Z. 3 2010 A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar 2 2014 A logic with conditional probability operators. Zbl 1265.03010Doder, Dragan; Marinković, Bojan; Maksimović, Petar; Perović, Aleksandar 2 2010 Probabilistic common knowledge among infinite number of agents. Zbl 1465.68244Tomović, Siniša; Ognjanović, Zoran; Doder, Dragan 2 2015 Logics with lower and upper probability operators. Zbl 1422.03042Savić, Nenad; Doder, Dragan; Ognjanović, Zoran 2 2017 AGM-style revision of beliefs and intentions. Zbl 1403.68278van Zee, Marc; Doder, Dragan 2 2016 A first-order dynamic probability logic. Zbl 1390.03022Ognjanović, Zoran; Perović, Aleksandar; Doder, Dragan 1 2013 A first-order logic for reasoning about higher-order upper and lower probabilities. Zbl 06769624Savić, Nenad; Doder, Dragan; Ognjanović, Zoran 1 2017 A first-order logic for reasoning about knowledge and probability. Zbl 1446.03038Tomović, S.; Ognjanović, Z.; Doder, D. 1 2020 A decidable multi-agent logic with iterations of upper and lower probability operators. Zbl 06894599Doder, Dragan; Savić, Nenad; Ognjanović, Zoran 1 2018 A first-order logic for reasoning about knowledge and probability. Zbl 1446.03038Tomović, S.; Ognjanović, Z.; Doder, D. 1 2020 A decidable multi-agent logic with iterations of upper and lower probability operators. Zbl 06894599Doder, Dragan; Savić, Nenad; Ognjanović, Zoran 1 2018 Probabilistic logics with independence and confirmation. Zbl 1417.03171Doder, Dragan; Ognjanović, Zoran 4 2017 Logics with lower and upper probability operators. Zbl 1422.03042Savić, Nenad; Doder, Dragan; Ognjanović, Zoran 2 2017 A first-order logic for reasoning about higher-order upper and lower probabilities. Zbl 06769624Savić, Nenad; Doder, Dragan; Ognjanović, Zoran 1 2017 AGM-style revision of beliefs and intentions. Zbl 1403.68278van Zee, Marc; Doder, Dragan 2 2016 Probabilistic common knowledge among infinite number of agents. Zbl 1465.68244Tomović, Siniša; Ognjanović, Zoran; Doder, Dragan 2 2015 Probabilistic abstract dialectical frameworks. Zbl 1343.68228Polberg, Sylwia; Doder, Dragan 11 2014 A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar 2 2014 Probabilistic logics for objects located in space and time. Zbl 1267.03041Doder, Dragan; Grant, John; Ognjanović, Zoran 6 2013 A first-order dynamic probability logic. Zbl 1390.03022Ognjanović, Zoran; Perović, Aleksandar; Doder, Dragan 1 2013 A propositional probabilistic logic with discrete linear time for reasoning about evidence. Zbl 1269.03033Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag; Doder, Dragan; Perović, Aleksandar 4 2012 A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P. Zbl 1289.03005Doder, Dragan 4 2011 Measures of inconsistency and defaults. Zbl 1205.68422Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran 14 2010 An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033Doder, D.; Ognjanović, Z.; Marković, Z. 3 2010 A logic with conditional probability operators. Zbl 1265.03010Doder, Dragan; Marinković, Bojan; Maksimović, Petar; Perović, Aleksandar 2 2010 all cited Publications top 5 cited Publications all top 5 Cited by 51 Authors 11 Doder, Dragan 9 Ognjanović, Zoran 6 Grant, John R. 5 Parisi, Francesco 5 Perović, Aleksandar 5 Thimm, Matthias 4 Hunter, Anthony 3 Strass, Hannes 2 Marković, Zoran M. 2 Martinez, Maria Vanina 2 Molinaro, Cristian 2 Mu, Kedian 2 Polberg, Sylwia 2 Potyka, Nico 2 Raddaoui, Badran 2 Rašković, Miodrag D. 2 Savić, Nenad 2 Wallner, Johannes Peter 1 Bell, David A. 1 Cerutti, Federico 1 Dastani, Mehdi M. 1 Dautović, Šejla 1 De Bona, Glauber 1 Eiter, Thomas 1 Ferrucci, Luca 1 Gaggl, Sarah Alice 1 Huang, Huaxin 1 Hung, Nguyen Duy 1 Icard, Thomas F. III 1 Ilić Stepić, Angelina 1 Jabbour, Said 1 Jin, Zhi 1 Liao, Beishui 1 Liu, Weiru 1 Ma, Yue 1 Mandrioli, Dino 1 Marinković, Bojan 1 Morzenti, Angelo 1 Pacuit, Eric 1 Pugliese, Andrea 1 Rossi, Matteo A. C. 1 Rudolph, Sebastian 1 Saïs, Lakhdar 1 Simari, Gerardo I. 1 Subrahmanian, V. S. 1 Thang, Phan Minh 1 Tomović, Siniša 1 Truszczyński, Mirosław 1 van der Torre, Leendert W. N. 1 van Zee, Marc 1 Woltran, Stefan all top 5 Cited in 10 Serials 13 International Journal of Approximate Reasoning 6 Artificial Intelligence 2 The Journal of Artificial Intelligence Research (JAIR) 2 Annals of Mathematics and Artificial Intelligence 1 Studia Logica 1 Theoretical Computer Science 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Journal of Applied Logic 1 Logica Universalis Cited in 3 Fields 30 Computer science (68-XX) 17 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) Citations by Year