Zoran Ognjanović Research Professor Mathematical Institute SANU Kneza Mihaila 36, 11000 Belgrade Serbia (ex: Serbia and Montenegro, Yugoslavia) Tel: (381-11) 2630-170; (381-11) 2180-591 Fax: (381-11) 2186-105 E-mail: zorano@mi.sanu.ac.rs

Content

• Research Interests
• Selected publications
• Education
• Professional Experience
• Miscellaneous
• Back to the Institute Home Page

Research Interests

My main research focuses on: applications of (nonclassical) mathematical logic in computer sciences and artificial intelligence, theorem proving, reasoning about uncertainty, parallel programming ...
My additional research interests: digitization of cultural heritage (see: National Ceneter for Digitization).

Selected publications

Aleksandar Perović, Zoran Ognjanović, Miodrag Rašković, Zoran Marković, Qualitative Possibilities and Necessities, Springer LNCS/LNAI volume 5590, 651 - 662, 2009.

Zoran Ognjanović, Miodrag Rašković, Zoran Marković, Probability logics, in: Zbornik radova, subseries Logic in computer science, 12 (20), 35-111, Matematièki institut, 2009.

Zoran Ognjanović, Tamara Butigan, Bojan Marinković, NCD Recommendation for the National Standard for Describing Digitised Heritage in Serbia, in: Metadata and Semantics, eds: M.-A. Sicilia, M. D. Lytras, Springer, 45-54, 2009. ISBN: 978-0-387-77744-3

Aleksandar Perović, Dragan Radojević, Zoran Ognjanović, Miodrag Rašković, Interpolative Boolean Logic, Lecture Notes in Computer Science Volume 5253, 209-219, 2008.

Zoran Marković, Miodrag Rašković, Zoran Ognjanović, A Logic with Approximate Conditional Probabilities that can Model Default Reasoning, International Journal of Approximate Reasoning Volume 49, Issue 1, 52-66, 2008.

Žarko Mijajlović, Zoran Ognjanović, Digitization of Mathematical Editions in Serbia, Proceedings of the Workshop Towards Digital Mathematics Library DML 2008, July 27th, 2008, Birmingham, UK, editor Petr Sojka, 87 - 95, Masaryk University, 2008. (ISBN 978-80-210-4658-0)

Zoran Ognjanović, Aleksandar Perović, Miodrag Rašković, Logics with the Qualitative Probability Operator, Logic Journal of IGPL, volume 16, number 2, 105-120, doi:10.1093/jigpal/jzm031, 2008.

Aleksandar Perović, Zoran Ognjanović, Miodrag Rašković, Zoran Marković, A Probabilistic Logic with Polynomial Weight Formulas, Lecture Notes in Computer Science (LNCS/LNAI) 4932, 239 - 252, 2008.

Zoran Ognjanović, Nebojša Ikodinović, A logic with higher order conditional probabilities, Publications de L'Institute Matematique (Beograd), ns. 82 (96), 141 -154, 2007.

Nebojška Ikodinović, Miodrag Rašković, Zoran Marković, Zoran Ognjanović, Measure Logic, Lecture Notes in Computer Science (LNCS/LNAI) volume 4724, 128 - 138, 2007.

Dejan Jovanović, Nenad Mladenović, Zoran Ognjanović, Variable Neighborhood Search for the Probabilistic Satisfiability Problem, in: Metaheuristics: Progress in Complex Systems Optimization, Springer Series: Operations Research/Computer Science Interfaces Series , Vol. 39, Doerner, K.F.; Gendreau, M.; Greistorfer, P.; Gutjahr, W.; Hartl, R.F.; Reimann, M. (Eds.), Springer, Berlin-NY, 173-188, 2007. ISBN: 978-0-387-71919-1

Zoran Ognjanović, Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity, Journal of Logic Computation, Vol. 16, No. 2, 257-285, 2006.

Zoran Marković, Miodrag Rašković, Zoran Ognjanović, Completeness Theorem for a Logic with imprecise and conditional probabilities, Publications de L'Institute Matematique (Beograd), ns. 78 (92) 35 - 49, 2005.

Nebojša Ikodinović, Zoran Ognjanović, A logic with coherent conditional probabilities, Proceedings of the 8th European Conference Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, editor Lluis Godo, Lecture Notes in Computer Science Vol. 3571 726--736, 2005.

Zoran Ognjanović, Uroš Midić, Nenad Mladenović, A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem, Proceedings of the Second International Workshop on Hybrid Metaheuristics HM2005, Barcelona, Spain, August 29-31, 2005, edts. M.J. Blesa, Lecture Notes in Computer Science vol. 3636, 42--53, Springer-Verlag, 2005.

Miodrag Rašković, Zoran Ognjanović, Zoran Marković, A Logic with Conditional Probabilities, 9th European conference JELIA'04 Logics in Artificial Intelligence, Lecture notes in artificial intelligence (LNCS/LNAI), 3229, 226 -- 238, Springer-Verlag, 2004.

Zoran Ognjanović, Nenad Krdžavac, Uvod u teorijsko raèunarstvo, FON, Beograd, 2004.

Zoran Ognjanović, Uroš Midić, Jozef Kratica, A genetic algorithm for probabilistic SAT problem, Artificial Intelligence and Soft Computing ICAISC 2004, Lecture notes in artificial intelligence (LNCS/LNAI), 3070, 462 -- 467, Springer-Verlag, 2004.

Žarko Mijajlović, Zoran Ognjanović, A survey of certain digitization projects in Serbia, Proceedings of the Symposium Digital Preservation of Cultural Heritage, 16 -- 17 September 2003, Borovetz, Bulgaria, Review of the National Center for Digitization 4, 52--61, 2004.

Radosav Djordjević, Miodrag Rašković, Zoran Ognjanović, Completeness Theorem for Propositional Probabilistic Models whose Measures have only Finite Ranges, Archive for Mathematical Logic 43, 557 --563, 2004.

Zoran Marković, Zoran Ognjanović, Miodrag Rašković, An intuitionistic logic with probabilistic operators, Publications de L'Institute Matematique, n.s. 73 (87), 31 - 38, 2003.

Milena Dobreva, Zoran Ognjanović, The second conference of the National digitisation centre of Serbia and Montenegro: Digitisation from a Balkan perspective, DigiCULT.Info 5, 16 - 17, 2003.

Zoran Marković, Zoran Ognjanović, Miodrag Rašković, A Probabilistic Extension of Intuitionistic Logic, Mathematical Logic Quarterly, vol. 49, 415-424, 2003.

Zoran Ognjanović, Jozef Kratica, Miloš Milovanović, A genetic algorithm for satisfiability problem in a probabilistic logic: A first report, 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, Toulouse. Lecture notes in computer science (LNCS/LNAI), 2143, 805 -- 816, Springer-Verlag, 2001. (PrSAT description)

Zoran Ognjanović, A completeness theorem for a first order linear-time logic, Publications de L'Institute Matematique (Beograd), ns. 69 (83), 1-7, 2001.

Zoran Ognjanović, Miodrag Rašković, Some first order probability logics, Theoretical Computer Science, 247, 191 - 212, 2000.

Miodrag Rašković, Zoran Ognjanović, A first order probability logic, LP_Q, Publications de L'Institute Matematique (Beograd), ns. 65 (79), 1-7, 1999.

Zoran Ognjanović, Miodrag Rašković, Some probability logics with new types of probability operators, Journal of Logic and Computation, Volume 9, Issue 2, 181 - 195, 1999.

Zoran Ognjanović, A logic for temporal and probabilistic reasoning, Workshop on Probabilistic Logic and Randomised Computation, ESSLLI '98, Saarbruecken, Germany, August, 1998.

Miroslav Jocković, Zoran Ognjanović, Stevan Stankovski, Veštačka inteligencija, inteligentne mašine i sistemi, Krug, Beograd, 1998.

Žarko Mijajlović, Miomir Korać, Zoran Ognjanović, Some tools for collecting and presenting of multimedial databases on the internet, VII Naucni skup o sistemu naucnih, tehnoloskih i poslovnih informacija, 109 - 112, Beograd 28 - 29. 5. 1997.

Zoran Ognjanović, Miodrag Rašković, A logic with higher order probabilities, Publications de L'Institute Matematique (Beograd), 60 (74) (1996), pp 1-4.

Miodrag Rašković, Zoran Ognjanović, Some propositional probabilistic logics, Kurepa's symposium 1996, Belgrade, Scientific review (1996), nr 19-20, pp. 83-90.

Miomir Korać, Zoran Ognjanović, Filip Dugandžić, Pandora - an expert system for dating articrafts, Proceedings of the Infofest, Budva 1995.

Miodrag Rašković, Zoran Ognjanović, A logic with a probabilistic operator, ICIAM '95, Hamburg, Germany 1995.

Zoran Ognjanović, A tableau-like proof procedure for normal modal logics, Theoretical Computer Science 129 (1994) 167-186, North-Holland.

Aleksandar Krapež, Miodrag Kapetanović, Zoran Ognjanović and Tanja Petrović, Prover 91 - a parallel theorem prover, Proc. of Workshop Theorem Proving with Analytic Tableaux and related methods, Lautenbach (Schwarcwald, Deutschland), 18-20.3.1992.

Zoran Ognjanović, Dragan Urošević, Tanja Petrović, Zorana Ristović, A Tableaux Related Method for Modal Theorem Proving, Proc. of Workshop Theorem Proving with Analytic Tableaux and related methods, Lautenbach (Schwarcwald, Deutschland), 18-20.3.1992.

Miroslav Jocković, Zoran Ognjanović, Miomir Vukobratović, A contribution to the organization of an expert system for process control of FMC, Robotics & Computer-Integrated Manufacturing, Vol.7, No. 3/4, pp 297-302, 1990, Pergamnon Press.

Miroslav Jocković, Miomir Vukobratović, Zoran Ognjanović, An approach to the modeling of the control level of flexible manufacturing cell, Robotica (1990), volume 8, pp 125-130.

Miroslav Jocković, Zoran Ognjanović, An approach in modeling knowledge-based system for control of production processes, Fifth international conference on artificial intelligence and information-control systems of robots AIICSR '89, trbske Pleso, Czechoslovakia, 6.-10.11.1989, edt. I. Plander, 307 - 314, Elsevier, 1989.

Education