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 35 to 42 of 42 < previous 
Author(s)TitleIssue DateAppears inRank
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 semantics2023Annals of Pure and Applied Logic~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