Autori: Ognjanovic Zoran D
Naslov | Measure logic (Proceedings Paper) |
Autori | Ikodinovic Nebojsa M Raskovic Miodrag D Markovic Zoran M Ognjanovic Zoran D |
Info | Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Proceedings, (2007), vol. 4724 br. , str. 128-138 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Discrete linear-time probabilistic logics: Completeness, decidability and complexity (Article) |
Autori | Ognjanovic Zoran D |
Info | JOURNAL OF LOGIC AND COMPUTATION, (2006), vol. 16 br. 2, str. 257-285 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | A hybrid genetic and variable neighborhood descent for probabilistic SAT problem (Article) |
Autori | Ognjanovic Zoran D Midic Uros Mladenovic Nenad M |
Info | HYBRID METAHEURISTICS, PROCEEDINGS, (2005), vol. 3636 br. , str. 42-53 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | A logic with coherent conditional probabilities (Article) |
Autori | Ikodinovic Nebojsa M Ognjanovic Zoran D |
Info | SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, (2005), vol. 3571 br. , str. 726-736 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | A logic with conditional probabilities (Article) |
Autori | Raskovic Miodrag D Ognjanovic Zoran D Markovic Zoran M |
Info | LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, (2004), vol. 3229 br. , str. 226-238 |
Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | A genetic algorithm for probabilistic SAT problem (Article) |
Autori | Ognjanovic Zoran D Midic Uros Kratica Jozef J |
Info | ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING - ICAISC 2004, (2004), vol. 3070 br. , str. 462-467 |
Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
Naslov | Completeness theorem for propositional probabilistic models whose measures have only finite ranges (Article) |
Autori | Djordjevic Radosav S Raskovic Miodrag D Ognjanovic Zoran D |
Info | ARCHIVE FOR MATHEMATICAL LOGIC, (2004), vol. 43 br. 4, str. 557-563 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | A probabilistic extension of intuitionistic logic (Article) |
Autori | Markovic Zoran M Ognjanovic Zoran D Raskovic Miodrag D |
Info | MATHEMATICAL LOGIC QUARTERLY, (2003), vol. 49 br. 4, str. 415-424 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
Naslov | Some first-order probability logics (Article) |
Autori | Ognjanovic Zoran D Raskovic Miodrag D |
Info | THEORETICAL COMPUTER SCIENCE, (2000), vol. 247 br. 1-2, str. 191-212 |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |