Browsing by Author Doder, Dragan
Showing results 4 to 23 of 42
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Doder, Dragan; Ognjanović, Zoran ; Marković, Zoran | An axiomatization of a first-order branching time temporal logic | 26-Aug-2010 | Journal of Universal Computer Science; 16(11); 1439-1451 | M23 |
Mijajlović, Žarko; Doder, Dragan; Ilić Stepić, Angelina | Borel sets and countable models | 1-Dec-2011 | Publications de l'Institut Mathematique; 90(104); 1-11 | M24 |
Ognjanović, Zoran ; Doder, Dragan; Marković, Zoran | A branching time logic with two types of probability operators | 19-Oct-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 5th International Conference on Scalable Uncertainty Management, SUM 2011; Dayton, OH; United States; 10 October 2011 through 13 October 2011; 6929 LNAI; 219-232 | M33 |
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran | A decidable multi-agent logic with iterations of upper and lower probability operators | 1-Jan-2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018; Budapest; Hungary; 14 May 2018 through 18 May 2018; 10833 LNCS; 170-185 | M33 |
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | An Epistemic Probabilistic Logic with Conditional Probabilities | 2021 | European Conference on Logics in Artificial Intelligence, JELIA 2021: Logics in Artificial Intelligence; 279-293 | M33 |
Perović, Aleksandar; Doder, Dragan; Ilić Stepić, Angelina ; Ikodinović, Neobojša | Extensions of the Probability Logics LPP2 and LFOP1. Some Applications of Probability Logics | 2016 | Probability Logics. Probability-Based Formalization of Uncertain Reasoning; 133-185 | M13 |
Ognjanović, Zoran ; Perović, Aleksandar; Doder, Dragan | A first-order dynamic probability logic | 1-Aug-2013 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2013; Utrecht; Netherlands; 8 July 2013 through 10 July 2013; 7958 LNAI; 461-472 | M33 |
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran | A first-order logic for reasoning about higher-order upper and lower probabilities | 1-Jan-2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017; Lugano; Switzerland; 10 July 2017 through 14 July 2017; 10369 LNAI; 491-500 | M33 |
Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan | A First-order Logic for Reasoning about Knowledge and Probability | 2-Feb-2020 | ACM Transactions on Computational Logic; 21(2); 16:1-16:30 | M22 |
Tomović, Siniša ; Doder, Dragan; Ognjanović, Zoran | First-Order Probabilistic Common Knowledge Logic | 2015 | Peta nacionalna konferencija Verovatnosne logike i njihove primene; 19-19 | M60 |
Doder, Dragan; Ognjanović, Zoran ; Savić, Nenad; Studer, Thomas | Incomplete Information and Justifications | 31-Mar-2022 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Tbilisi Symposium on Logic, Language, and Computation TbiLLC 2019: Language, Logic, and Computation; 13206; 258-278 | M33 |
Doder, Dragan; Marinković, Bojan ; Maksimović, Petar; Perović, Aleksandar | A logic with conditional probability operators | 14-Oct-2010 | Publications de l'Institut Mathematique; 87(101); 85-96 | M24 |
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran | A logic with upper and lower probability operators | 1-Jan-2015 | ISIPTA 2015 - Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applications; 9th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2015; Pescara; Italy; 20 July 2015 through 24 July 2015; 267-276 | M33 |
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logical formalization of Bayesian concepts of confirmation | 2020 | Book of Abstracts : Logis and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 9-11 | M34 |
Doder, Dragan; Grant, John; Ognjanović, Zoran | Logics for probabilistic spatio-temporal reasoning | 2014 | Logic and Applications 2014, Dubrovnik, 22-26. 9, 2014; 3-4 | M34 |
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logics for reasoning about degrees of confirmation | 31-May-2021 | Journal of Logic and Computation; 31(8); 2189-2217 | ~M21 |
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logics for Reasoning about Knowledge and Conditional Probability | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 19-21 | M34 |
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran | Logics with lower and upper probability operators | 1-Sep-2017 | International Journal of Approximate Reasoning; 88; 148-168 | M21 |
Doder, Dragan; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | Measures of inconsistency and defaults | 1-Sep-2010 | International Journal of Approximate Reasoning; 51(7); 832-845 | M21 |
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran | Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities | 1-Jan-2020 | Journal of Logic, Language and Information; 29; 77-107 | M21 |