The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Zoran Ognjanovic" ( http://dblp.L3S.de/Authors/Zoran_Ognjanovic )

  Author page on DBLP  Author page in RDF  Community of Zoran Ognjanovic in ASPL-2

Publication years (Num. hits)
1990-2005 (15) 2006-2010 (17) 2011-2014 (20) 2015-2018 (17) 2019 (2)
Publication types (Num. hits)
article(35) book(1) incollection(1) inproceedings(34)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 72 publication records. Showing 71 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder A First-Order Logic for Reasoning about Knowledge and Probability. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic Proving properties of the Chord protocol using the ASM formalism. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Angelina Ilic-Stepic, Zoran Ognjanovic Logics to formalise p-adic valued probability and their applications. Search on Bibsonomy IJPEDS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic Probabilistic Reasoning About Simply Typed Lambda Terms. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dragan Doder, Nenad Savic, Zoran Ognjanovic A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators. Search on Bibsonomy FoIKS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dragan Doder, Zoran Ognjanovic Probabilistic Logics with Independence and Confirmation. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nenad Savic, Dragan Doder, Zoran Ognjanovic Logics with lower and upper probability operators. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek Correctness of the Chord Protocol. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Zoran Ognjanovic, Nenad Savic, Thomas Studer Justification Logic with Approximate Conditional Probabilities. Search on Bibsonomy LORI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nenad Savic, Dragan Doder, Zoran Ognjanovic A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. Search on Bibsonomy ECSQARU The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic Probability Logics - Probability-Based Formalization of Uncertain Reasoning Search on Bibsonomy 2016   DOI  RDF
1Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Umek Correctness of the Chord Protocol. Search on Bibsonomy IIKI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer Probabilistic Justification Logic. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic Analyzing the exhaustiveness of the Synapse protocol. Search on Bibsonomy Peer-to-Peer Networking and Applications The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Angelina Ilic-Stepic, Zoran Ognjanovic Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers. Search on Bibsonomy Studia Logica The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ioannis Kokkinis, Petar Maksimovic, Zoran Ognjanovic, Thomas Studer First steps towards probabilistic justification logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tatjana Stojanovic, Tatjana Davidovic, Zoran Ognjanovic Bee colony optimization for the satisfiability problem in probabilistic logic. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder Probabilistic Common Knowledge Among Infinite Number of Agents. Search on Bibsonomy ECSQARU The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dragan Doder, Zoran Ognjanovic A Probabilistic Logic for Reasoning about Uncertain Temporal Information. Search on Bibsonomy UAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic Conditional p-adic probability logic. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic Hierarchies of probabilistic logics. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic A first-order probabilistic logic with approximate conditional probabilities. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic A propositional linear time logic with time flow isomorphic to ω2. Search on Bibsonomy J. Applied Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Milos Savic 0001, Mirjana Ivanovic, Milos Radovanovic, Zoran Ognjanovic, Aleksandar Pejovic, Tatjana Jaksic Krüger The structure and evolution of scientific collaboration in Serbian mathematical journals. Search on Bibsonomy Scientometrics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Milica Knezevic, Zoran Ognjanovic, Aleksandar Perovic Finitely Additive Probability Measures in Automated Medical Diagnostics. Search on Bibsonomy IPMU (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Milos Savic 0001, Mirjana Ivanovic, Milos Radovanovic, Zoran Ognjanovic, Aleksandar Pejovic, Tatjana Jaksic Krüger Exploratory Analysis of Communities in Co-authorship Networks: A Case Study. Search on Bibsonomy ICT Innovations The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aleksandar Mihajlovic, Vladisav Jelisavcic, Bojan Marinkovic, Milan Todorovic, Zoran Ognjanovic, Sinisa Tomovic, Vladimir Stojanovic, Veljko Milutinovic Serbia Forum - Digital Cultural Heritage Portal. Search on Bibsonomy ICISP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dragan Doder, John Grant, Zoran Ognjanovic Probabilistic logics for objects located in space and time. Search on Bibsonomy J. Log. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic Logics with Generalized Measure Operators. Search on Bibsonomy Multiple-Valued Logic and Soft Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Zoran Ognjanovic, Aleksandar Perovic, Dragan Doder A First-Order Dynamic Probability Logic. Search on Bibsonomy ECSQARU The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic, Aleksandar Perovic A p-adic probability logic. Search on Bibsonomy Math. Log. Q. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Milos Milosevic, Zoran Ognjanovic A first-order conditional probability logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic Description of the Chord Protocol using ASMs Formalism Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic A propositional probabilistic logic with discrete linear time for reasoning about evidence. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Aleksandar Perovic, Dragan Doder, Zoran Ognjanovic On Real-Valued Evaluation of Propositional Formulas. Search on Bibsonomy FoIKS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Dragan G. Radojevic Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dragan Doder, Aleksandar Perovic, Zoran Ognjanovic Probabilistic Approach to Nonmonotonic Consequence Relations. Search on Bibsonomy ECSQARU The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zoran Ognjanovic, Dragan Doder, Zoran Markovic A Branching Time Logic with Two Types of Probability Operators. Search on Bibsonomy SUM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dragan Doder, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic Measures of inconsistency and defaults. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic Digitization of Mathematical Editions in Serbia. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dragan Doder, Zoran Ognjanovic, Zoran Markovic An Axiomatization of a First-order Branching Time Temporal Logic. Search on Bibsonomy J. UCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bojan Marinkovic, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic A Distributed Catalog for Digitized Cultural Heritage. Search on Bibsonomy ICT Innovations The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. Search on Bibsonomy FoIKS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic Qualitative Possibilities and Necessities. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic A logic with approximate conditional probabilities that can model default reasoning. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic Logics with the Qualitative Probability Operator. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic How to Restore Compactness into Probabilistic Logics?. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic Interpolative Boolean Logic. Search on Bibsonomy AIMSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic A Probabilistic Logic with Polynomial Weight Formulas. Search on Bibsonomy FoIKS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dejan Jovanovic, Nenad Mladenovic, Zoran Ognjanovic Variable Neighborhood Search for the Probabilistic Satisfiability Problem. Search on Bibsonomy Metaheuristics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic Measure Logic. Search on Bibsonomy ECSQARU The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia. Search on Bibsonomy MTSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic Digitization of Scientific Journals in Serbia. Search on Bibsonomy ELPUB The full citation details ... 2007 DBLP  BibTeX  RDF
1Zoran Ognjanovic Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity. Search on Bibsonomy J. Log. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic A Proposal for the National Standard for Describing Digitized Heritage. Search on Bibsonomy ELPUB The full citation details ... 2006 DBLP  BibTeX  RDF
1Nebojsa Ikodinovic, Zoran Ognjanovic A Logic with Coherent Conditional Probabilities. Search on Bibsonomy ECSQARU The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Zoran Ognjanovic, Uros Midic, Nenad Mladenovic A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem. Search on Bibsonomy Hybrid Metaheuristics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dragan Blagojevic, Zarko Mijajlovic, Zoran Ognjanovic Electronic Editions of Mathematical Works in Serbia. Search on Bibsonomy ELPUB The full citation details ... 2005 DBLP  BibTeX  RDF
1Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Finite ranges of probabilities, Completeness, Probabilistic logic
1Zoran Ognjanovic, Uros Midic, Jozef Kratica A Genetic Algorithm for Probabilistic SAT Problem. Search on Bibsonomy ICAISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic A Logic with Conditional Probabilities. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic A probabilistic approach to default reasoning. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic A probabilistic extension of intuitionistic logic. Search on Bibsonomy Math. Log. Q. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Zoran Ognjanovic, Jozef Kratica, Milos Milovanovic A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report. Search on Bibsonomy ECSQARU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Zoran Ognjanovic, Miodrag Raskovic Some first-order probability logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Zoran Ognjanovic, Miodrag Raskovic Some Probability Logics with New Types of Probability Operators. Search on Bibsonomy J. Log. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Zoran Ognjanovic A Tableau-Like Proof Procedure for Normal Modal Logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic Prover 91 - A Parallel Theorem Prover (Extended Abstract). Search on Bibsonomy TABLEAUX The full citation details ... 1992 DBLP  BibTeX  RDF
1Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). Search on Bibsonomy TABLEAUX The full citation details ... 1992 DBLP  BibTeX  RDF
1Miroslav Jockovic, Miomir Vukobratovic, Zoran Ognjanovic An approach to the modeling of the highest control level of flexible manufacturing cell. Search on Bibsonomy Robotica The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #71 of 71 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license