Back to the home page


Zoran Ognjanović's selected publications

Bojan Marinković, Paola Glavan, Zoran Ognjanović, Thomas Studer, A Temporal Epistemic Logic with a Non-rigid Set of Agents for Analyzing the Blockchain protocol, Journal of logic and computation, 2019.

Bojan Marinković, Paola Glavan, Zoran Ognjanović, Proving properties of the Chord protocol using the ASM formalism, Theoretical Computer Science, 756, 64-93, 2019.

Angelina Ilić-Stepić, Zoran Ognjanović, Logics to formalise p-adic valued probability and their applications, International Journal of Parallel, Emergent and Distributed Systems, 2018.

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ć