Ognjanović, Zoran

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Ognjanović, Zoran
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Refined By:
Rank:  M22

Results 1-17 of 17 (Search time: 0.005 seconds).

Author(s)TitleIssue DateAppears inRank
1Tomović, 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
2Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, DejanCultural heritage digitization in Serbia: Standards, policies, and case studies1-Jan-2019Sustainability (Switzerland); 11(14); 3788M22
3Doder, Dragan; Ognjanović, Zoran Probabilistic Logics with Independence and Confirmation1-Oct-2017Studia Logica; 105(5); 943-969M22
4Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran ; Rašković, Miodrag On evaluations of propositional formulas in countable structures1-Jan-2016Filomat; 30(1); 1-13M22
5Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, PetarAnalyzing the exhaustiveness of the Synapse protocol7-Sep-2015Peer-to-Peer Networking and Applications; 8(5); 793-806M22
6Ilić-Stepić, Angelina ; Ognjanović, Zoran Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers1-Jan-2015Studia Logica; 1; 145-174M22
7Marinković, 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
8Doder, Dragan; Grant, John; Ognjanović, Zoran Probabilistic logics for objects located in space and time1-Jun-2013Journal of Logic and Computation; 23(3); 487-515M22
9Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, AleksandarA p-adic probability logic1-Aug-2012Mathematical Logic Quarterly; 58(4-5); 263-280M22
10Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran A logic with approximate conditional probabilities that can model default reasoning1-Sep-2008International Journal of Approximate Reasoning; 49(1); 52-66M22
11Ognjanović, Zoran Discrete linear-time probabilistic logics: Completeness, decidability and complexity1-Jan-2006Journal of Logic and Computation; 16(2); 257-285M22
12Ikodinović, Nebojša; Ognjanović, Zoran A logic with coherent conditional probabilities1-Jan-2005Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005; Barcelona; Spain; 6 July 2005 through 8 July 2005; 3571; 726-736M22
13Ognjanović, Zoran ; Midić, Uroš; Mladenović, Nenad A hybrid genetic and variable neighborhood descent for probabilistic SAT problem1-Jan-2005Lecture Notes in Computer Science; Second International Worshop on Hybrid Metaheuristics, HM 2005; Barcelona; Spain; 29 August 2005 through 30 August 2005; 3636; 42-53M22
14Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef A genetic algorithm for probabilistic SAT problem9-Dec-2004Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); 7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004; Zakopane; Poland; 7 June 2004 through 11 June 2004; 3070; 462-467M22
15Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran A logic with conditional probabilities1-Jan-2004Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); European Workshop on Logics in Artificial Intelligence, JELIA 2004; 3229; 226-238M22
16Đordević, Radosav; Rašković, Miodrag ; Ognjanović, Zoran Completeness theorem for propositional probabilistic models whose measures have only finite ranges1-Jan-2004Archive for Mathematical Logic; 43; 557-563M22
17Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag A probabilistic extension of intuitionistic logic1-Jan-2003Mathematical Logic Quarterly; 49(4); 415-424M22

Projects


Results 1-3 of 3 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT III 044006Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education01-01-201131-12-2019Ognjanović, Zoran
PROJECT 1379Methods of Mathematical Logic for Decision Support in Real Life Situations01-01-200231-12-2005Ognjanović, Zoran
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran