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 24 to 42 of 42 < previous 
Author(s)TitleIssue DateAppears inRank
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
Dautović, Šejla ; Doder, DraganProbabilistic logic for reasoning about actions in time1-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; 11726 LNAI; 385-396M33
Doder, Dragan; Ognjanović, Zoran A probabilistic logic for reasoning about uncertain temporal information1-Jan-2015Uncertainty 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-257M33
Doder, Dragan; Grant, John; Ognjanović, Zoran Probabilistic logics for objects located in space and time1-Jun-2013Journal of Logic and Computation; 23(3); 487-515M22
Doder, Dragan; Ognjanović, Zoran Probabilistic Logics with Independence and Confirmation1-Oct-2017Studia Logica; 105(5); 943-969M22
Doder, Dragan; Ognjanović, Zoran Probabilistic logics with independence and probabilistic support2015progic 2015: The Seventh Workshop on Combining Probability and Logic, 22-24 April 2015, University of Kent, Canterbury; 25-26M34
Doder, Dragan; Marković, Zoran ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag A probabilistic temporal Logic that can model reasoning about evidence26-Apr-2010Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2010; Sofia; Bulgaria; 15 February 2010 through 19 February 2010; 5956 LNCS; 9-24M23
Doder, Dragan; Ognjanović, Zoran Probabilistic temporal logic with countably additive semantics2024Annals of Pure and Applied Logic; 175(9); 103389~M21
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Probabilistic-Temporal Logic with Actions202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 19-20M34
Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan; Perović, AleksandarA propositional linear time logic with time flow isomorphic to ω21-Jan-2014Journal of Applied Logic; 12; 208-229M22
Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, AleksandarA propositional probabilistic logic with discrete linear time for reasoning about evidence24-Aug-2012Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243M23
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Reasoning About Degrees of Confirmation2020Lecture Notes in Computer Science; The 3rd International Conference on Logic and Argumentation (CLAR 2020); 12061; 80-95M33
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Reasoning about knowledge and conditional probability1-Dec-2023International Journal of Approximate Reasoning; 163; 109037~M22
Ognjanović, Zoran ; Doder, DraganSome Temporal-Probabilistic logics2011Advanced in nonlinear sciences; 227-262M45