Browsing by Author Doder, Dragan


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 10 to 29 of 42 < previous   next >
Author(s)TitleIssue DateAppears inRank
Ognjanović, Zoran ; Perović, Aleksandar; Doder, DraganA first-order dynamic probability logic1-Aug-2013Lecture 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-472M33
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran A first-order logic for reasoning about higher-order upper and lower probabilities1-Jan-2017Lecture 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-500M33
Tomović, Siniša ; Ognjanović, Zoran ; Doder, DraganA First-order Logic for Reasoning about Knowledge and Probability2-Feb-2020ACM Transactions on Computational Logic; 21(2); 16:1-16:30M22
Tomović, Siniša ; Doder, Dragan; Ognjanović, Zoran First-Order Probabilistic Common Knowledge Logic2015Peta nacionalna konferencija Verovatnosne logike i njihove primene; 19-19M60
Doder, Dragan; Ognjanović, Zoran ; Savić, Nenad; Studer, ThomasIncomplete Information and Justifications31-Mar-2022Lecture 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-278M33
Doder, Dragan; Marinković, Bojan ; Maksimović, Petar; Perović, AleksandarA logic with conditional probability operators14-Oct-2010Publications de l'Institut Mathematique; 87(101); 85-96M24
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran A logic with upper and lower probability operators1-Jan-2015ISIPTA 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-276M33
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logical formalization of Bayesian concepts of confirmation2020Book of Abstracts : Logis and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 9-11M34
Doder, Dragan; Grant, John; Ognjanović, Zoran Logics for probabilistic spatio-temporal reasoning2014Logic and Applications 2014, Dubrovnik, 22-26. 9, 2014; 3-4M34
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for reasoning about degrees of confirmation31-May-2021Journal of Logic and Computation; 31(8); 2189-2217~M21
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for Reasoning about Knowledge and Conditional ProbabilitySep-202110th 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-21M34
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran Logics with lower and upper probability operators1-Sep-2017International Journal of Approximate Reasoning; 88; 148-168M21
Doder, Dragan; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran Measures of inconsistency and defaults1-Sep-2010International Journal of Approximate Reasoning; 51(7); 832-845M21
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities1-Jan-2020Journal of Logic, Language and Information; 29; 77-107M21
Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran ; Rašković, Miodrag On evaluations of propositional formulas in countable structures1-Jan-2016Filomat; 30(1); 1-13M22
Doder, Dragan; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag On evaluations of propositional formulas whose range is a subset of some fixed countable ordered field1-Dec-2012World 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-572M33
Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran On real-valued evaluation of propositional formulas15-Mar-2012Lecture 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-277M33
Doder, Dragan; Perović, Aleksandar; Ognjanović, Zoran Probabilistic approach to nonmonotonic consequence relations14-Jul-2011Lecture 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-471M33
Tomović, Siniša ; Ognjanović, Zoran ; Doder, DraganProbabilistic common knowledge among infinite number of agents1-Jan-2015Lecture 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-505M33
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, ThomasProbabilistic consensus of the blockchain protocol1-Jan-2019Lecture 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-480M33