Browsing by Author Doder, Dragan
Showing results 14 to 33 of 42
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
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 |
Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran ; Rašković, Miodrag | On evaluations of propositional formulas in countable structures | 1-Jan-2016 | Filomat; 30(1); 1-13 | M22 |
Doder, Dragan; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | On evaluations of propositional formulas whose range is a subset of some fixed countable ordered field | 1-Dec-2012 | World Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf.; 10th International Fuzzy Logic and Intelligent Technologies inNuclear Science Conference, FLINS 2012; Istanbul; Turkey; 26 August 2012 through 29 August 2012; 7; 567-572 | M33 |
Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran | On real-valued evaluation of propositional formulas | 15-Mar-2012 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012; Kiel; Germany; 5 March 2012 through 9 March 2012; 7153 LNCS; 264-277 | M33 |
Doder, Dragan; Perović, Aleksandar; Ognjanović, Zoran | Probabilistic approach to nonmonotonic consequence relations | 14-Jul-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011; Belfast; United Kingdom; 29 June 2011 through 1 July 2011; 6717 LNAI; 459-471 | M33 |
Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan | Probabilistic common knowledge among infinite number of agents | 1-Jan-2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015; Compiègne; France; 15 July 2015 through 17 July 2015; 9161; 496-505 | M33 |
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, Thomas | Probabilistic consensus of the blockchain protocol | 1-Jan-2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; Belgrade; Serbia; 18 September 2019 through 20 September 2019; 11726 LNAI; 469-480 | M33 |
Dautović, Šejla ; Doder, Dragan | Probabilistic logic for reasoning about actions in time | 1-Jan-2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; 11726 LNAI; 385-396 | M33 |
Doder, Dragan; Ognjanović, Zoran | A probabilistic logic for reasoning about uncertain temporal information | 1-Jan-2015 | Uncertainty in Artificial Intelligence - Proceedings of the 31st Conference, UAI 2015; 31st Conference on Uncertainty in Artificial Intelligence, UAI 2015; Amsterdam; Netherlands; 12 July 2015 through 16 July 2015; 248-257 | M33 |
Doder, Dragan; Grant, John; Ognjanović, Zoran | Probabilistic logics for objects located in space and time | 1-Jun-2013 | Journal of Logic and Computation; 23(3); 487-515 | M22 |
Doder, Dragan; Ognjanović, Zoran | Probabilistic Logics with Independence and Confirmation | 1-Oct-2017 | Studia Logica; 105(5); 943-969 | M22 |