Back to the home page


Zoran Ognjanović's selected publications

Dirk Huylebrouck, Zoran Ognjanović, Ljiljana Radović, Leibniz, a Sorb, The Mathematical Intelligencer, July 2017.

Nenad Savić, Dragan Doder, Zoran Ognjanović, Logics with lower and upper probability operators, International Journal of Approximate Reasoning, Volume 88, 148-168, 2017.

Dragan Doder, Zoran Ognjanović, Probabilistic Logics with Independence and Confirmation, Studia Logica, 2017.

Zoran Ognjanović, Miodrag Rašković, Zoran Marković, Probability Logics: Probability-Based Formalization of Uncertain Reasoning, Springer, 2016.

Nebojša Ikodinović, Zoran Ognjanović, Miodrag Rašković, Zoran Marković, First-order probabilistic logics and their applications, in: Zbornik radova, subseries Logic in computer science, 18(26), 37-78, Matematički institut, 2015.

Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović, Thomas Studer, First steps towards probabilistic justification logic, Logic Journal of the IGPL 23(4), 662-687 2015.

Bojan Marinković, Vincenzo Ciancaglini, Zoran Ognjanović, Paola Glavan, Luigi Liquori, Petar Maksimović, Analyzing the exhaustiveness of the Synapse protocol, Peer-to-Peer Networking and Applications 8(5), 793-806, 2015.

Tatjana Stojanović, Tatjana Davidović, Zoran Ognjanović, Bee Colony Optimization for the satisfiability problem in probabilistic logic, Applied Soft Computing, Volume 31, 339-347, 2015.

Angelina Ilić-Stepić, Zoran Ognjanović, Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers, Studia Logica, 103, 145-174, 2015.

Miloš Savić, Mirjana Ivanović, Miloš Radovanović, Zoran Ognjanović, Aleksandar Pejović, Tatjana Jakšić Krüger, The structure and evolution of scientific collaboration in Serbian mathematical journals. Scientometrics 101(3), 1805-1830, 2014.

Angelina Ilić-Stepić, Zoran Ognjanović, Nebojša Ikodinović, Conditional p-adic probability logic, International Journal of Approximate Reasoning, 55(9), 1843-1865, 2014.

Nebojša Ikodinović, Zoran Ognjanović, Miodrag Rašković, Aleksandar Perović, Hierarchies of probabilistic logics, International Journal of Approximate Reasoning, 55(9), 1830-1842, 2014.

Nebojša Ikodinović, Miodrag Rašković, Zoran Marković, Zoran Ognjanović, A first-order probabilistic logic with approximate conditional probabilities, Logic Journal of the IGPL, 22(4), 539 - 564, 2014.

Angelina Ilić Stepić, Zoran Ognjanović, Complex valued probability logics, Publications de l'Institut Mathematique, N.s. tome 95 (109) (2014), 73-.86, 2014.

Bojan Marinković, Zoran Ognjanović, Dragan doder, Aleksandar Perović, A propositional linear time logic with time flow isomorphic to ω2, Journal of Applied Logic, 12(2), 208 - 229, 2014.

Zoran Ognjanović, Aleksandar Perović, and Dragan Doder, A First-Order Dynamic Probability Logic, in: The 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, editor: Linda C. van der Gaag, LNCS 7958, 461 - 472, 2013.

Dragan Doder, John Grant, Zoran Ognjanović, Probabilistic logics for objects located in space and time, Journal of Logic and Computation 23(3), 487-515, 2013.

Nebojša Ikodinović, Miodrag Rašković, Zoran Marković, Zoran Ognjanović, Logics with Generalized Measure Operators, Journal of Multiple-Valued Logic and Soft Computing, Volume 20, Number 5-6, 527-555 2013.

Miloš Milošević, Zoran Ognjanović, A First-Order Conditional Probability Logic With Iterations, Publications de L'Institute Matematique, n.s. 93 (107), 19-27, 2013.

Zoran Ognjanović, Zoran Marković, Miodrag Rašković, Dragan Doder, Aleksandar Perović, A Probabilistic Temporal Logic That Can Model Reasoning about Evidence, Annals of Mathematics and Artificial Intelligence, Vol. 65, Nr. 2-3, 217-243, 2012. (preliminary version: Springer LNCS volume 5956, 9-24, 2010.)

Angelina Ilić-Stepić, Zoran Ognjanović, Nebojša Ikodinović, Aleksandar Perović, A p-adic probability logic, Mathematical Logic Quarterly, vol. 58 (4-5), 263-280, 2012.

Aleksandar Perović, Dragan Doder, Zoran Ognjanović, On Real-Valued Evaluation of Propositional Formulas, in: Proceedings of the Seventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS) March 5-9, 2012 - Kiel, Germany, T. Lukasiewicz and A. Sali (Eds.): FoIKS 2012, Lecture Notes in Computer Science 7153, 264 - 277, 2012.

Miloš Milošević, Zoran Ognjanović, A first-order conditional probability logic, Logic Journal of IGPL, 20(1), 235-253, 2012.

Zoran Ognjanović, Dragan Doder, Zoran Marković, A Branching Time Logic with Two Types of Probability Operators, in: Fifth International Conference on Scalable Uncertainty Management SUM-2011, October 10 - 12, 2011, Dayton, Ohio, USA, Editors: S. Benferhat and J. Grant, Springer LNCS 6929, 219--232, 2011.

Dragan Doder, Aleksandar Perović, Zoran Ognjanović Probabilistic approach to nonmonotonic consequence relations, in: The 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2011, 29th June - 1st July 2011, Belfast, North Ireland, UK, editor: Weiru Liu, LNCS 6717, 459 - 471, 2011.

Aleksandar Perović, Zoran Ognjanović, Miodrag Rašković, Dragan Radojević, Finitely additive probability measures on classical propositional formulas definable by Godel's t-norm and product t-norm, Fuzzy Sets and Systems 169, 65-90, 2011. doi:10.1016/j.fss.2010.10.007

Dragan Doder, Zoran Ognjanović, Zoran Marković, An Axiomatization of a First-order Branching Time Temporal Logic, Journal of Universal Computer Science, vol. 16, no. 11, 1439-1451, 2010.

Dragan Doder, Miodrag Rašković, Zoran Marković, Zoran Ognjanović, Measures of inconsistency and defaults, International Journal of Approximate Reasoning 51, 832-845, 2010. doi:10.1016/j.ijar.2010.05.007

Žarko Mijajlović, Zoran Ognjanović, Aleksandar Pejović, Digitization of Mathematical Editions in Serbia, Mathematics in Computer Science, Volume 3, Issue 3, 251-263, 2010.

Zoran Ognjanović, Milena Dobreva, Nikola Ikonomov, Tamara Butigan-Vučaj, South-Eastern European Digitization Initiative, SEEDI, in: Heritage and beyond, 179-182, Council of Europe Publishing, 2009.

Aleksandar Perović, Zoran Ognjanović, Miodrag Rašković, Zoran Marković, Qualitative Possibilities and Necessities, ECSQARU 2009, 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.

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, FOIKS08, Lecture Notes in Computer Science (LNCS/LNAI) 4932, 239 - 252, 2008.

Aleksandar Perović, Zoran Ognjanović, Miodrag Rašković, Zoran Marković, How to restore compactness into probabilistic logics?, JELIA 2008, Lecture Notes in Computer Science (LNCS/LNAI) 5293, 338-348, 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, LPQ, 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.

Back to the home page


Created 2010 - Zoran Ognjanović