Back to the home page

Zoran Ognjanović, Angelina IlićStepić, Aleksandar Perović,
A Probabilistic Temporal Epistemic Logic: Strong Completeness,
Logic Journal of the IGPL,
Vol. 32, No. 1, 94  138, 2024.

Angelina IlićStepić, Zoran Ognjanović, Aleksandar Perović,
The Logic ILP for Intuitionistic Reasoning About Probability. Studia Logica, 2023.

Dragan Doder, Zoran Ognjanović,
Probabilistic temporal logic with countably additive semantics,
Annals of Pure and Applied Logic, Article 103389, 2023.

Šejla Dautović, Dragan Doder, Zoran Ognjanović,
Reasoning about Knowledge and Conditional Probability,
International Journal of Approximate Reasoning, Article 109037,
2023.

Zoran Ognjanović, Angelina IlićStepić, Aleksandar Perović,
A probabilistic temporal epistemic logic: Decidability,
Logic Journal of the IGPL,
2023.

Angelina IlićStepić,
Zoran Ognjanović,
Aleksandar Perović,
Probability Logics for Reasoning About Quantum Observations,
Logica Universalis 17, 175219, 2023.

David Lehnherr, Zoran Ognjanović, Thomas Studer,
A Logic of Interactive Proofs,
Journal of Logic and Computation 32(8), 16451658, 2022.

Dragan Doder, Zoran Ognjanović, Nenad Savić, Thomas Studer,
Incomplete Information and Justifications,
in: Ozgun, A., Zinova, Y. (eds) Language,
Logic, and Computation. TbiLLC 2019. Lecture Notes in Computer Science, vol.
13206, 258–278, 2022.

David Lehnherr, Zoran Ognjanović, Thomas Studer,
A Logic of Interactive Proofs,
in: Artemov S., Nerode A. (eds) Logical
Foundations of Computer Science. LFCS 2022. Lecture Notes in Computer
Science, vol 13137, 143155, 2022.

Šejla Dautović, Dragan Doder, Zoran Ognjanović,
Logics for reasoning about degrees of confirmations, Journal of Logic and
Computation, Volume 31, Issue 8, 21892217, 2021.

Šejla Dautović, Dragan Doder, Zoran Ognjanović,
An Epistemic Probabilistic Logic with Conditional Probabilities,
in: W. Faber et al. (Eds.): Proceedings of the 17th European Conference on
Logics in Artificial Intelligence, May 1720 2021, Klagenfurt, Austria
(JELIA 2021),
Lecture Notes in Computer Science (LNAI), vol. 12678, 279293, 2021,
Springer.

Tatjana Stojanović, Nebojša Ikodinović,
Tatjana Davidović, Zoran Ognjanović,
Automated nonmonotonic reasoning in System P,
Annals of Mathematics and Artiﬁcial Intelligence, 89, 471509, 2021.

Zoran Ognjanović, Angelina IlićStepić,
Logics with Probability Operators,
In: Ognjanović Z. (eds) Probabilistic Extensions of Various Logical
Systems. Springer, Cham, 135, 2020.

Nebojša Ikodinović, Zoran Ognjanović,
Probabilistic Modeling of Default Reasoning,
In: Ognjanović Z. (eds) Probabilistic Extensions of Various Logical
Systems. Springer, Cham, 109142, 2020.

Nebojša Ikodinović, Zoran Ognjanović, Aleksandar Perović, Miodrag Rašković,
Completeness theorems for $\sigma$additive probabilistic semantics,
Annals Pure Applied Logic, Volume 171, Issue 4, Article Number: 102755, 2020.

Dragan Doder, Nenad Savić, Zoran Ognjanović,
Multiagent Logics for Reasoning About HigherOrder Upper and Lower
Probabilities,
Journal of Logic, Language and information, 29:77107, 2020.

Ioannis Kokkinis, Zoran Ognjanović, Thomas Studer,
Probabilistic justification logic,
Journal of Logic and Computation, Volume 30, Issue 1, 257280, 2020.

Siniša Tomović, Zoran Ognjanović, Dragan Doder,
A FirstOrder Logic for Reasoning about Knowledge and Probability,
ACM Transactions on Computational Logic 21(2), 130, 2020.

Gabriele KernIsberner, Zoran Ognjanović (editors),
Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
Proceedings of the 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 1820,
2019,
Lecture Notes in Computer Science book series, volume 11726, 2019.

Bojan Marinković, Paola Glavan, Zoran Ognjanović, Thomas Studer,
A Temporal Epistemic Logic with a Nonrigid Set of Agents for Analyzing the
Blockchain protocol,
Journal of logic and computation, Volume 29, Issue 5, Pages 803830, 2019.

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

Angelina IlićStepić, Zoran Ognjanović,
Logics to formalise padic valued probability and their applications,
International Journal of Parallel, Emergent and Distributed Systems,
Volume 33, Issue 3, 257275, 2018.

Dirk Huylebrouck,
Zoran Ognjanović,
Ljiljana Radović,
Leibniz, a Sorb,
The Mathematical Intelligencer, Volume 39, Number 3, 5355, 2017.

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

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

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

Nebojša Ikodinović,
Zoran Ognjanović,
Miodrag Rašković,
Zoran Marković,
Firstorder probabilistic logics and their applications,
in: Zbornik radova, subseries Logic in computer science, 18(26), 3778,
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), 662687 2015.

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

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

Angelina IlićStepić, Zoran Ognjanović, Logics
for Reasoning About Processes of Thinking with Information Coded
by padic Numbers, Studia Logica, 103,
145174, 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), 18051830, 2014.

Angelina IlićStepić,
Zoran Ognjanović,
Nebojša Ikodinović,
Conditional padic probability logic,
International Journal of Approximate Reasoning,
55(9), 18431865, 2014.

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

Nebojša Ikodinović,
Miodrag Rašković,
Zoran Marković,
Zoran Ognjanović,
A firstorder 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 FirstOrder Dynamic Probability Logic,
in: The 12th European Conference on Symbolic and Quantitative Approaches to
Reasoning with Uncertainty ECSQARU 2013, Utrecht, The Netherlands, July
810, 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), 487515, 2013.

Nebojša Ikodinović,
Miodrag Rašković,
Zoran Marković,
Zoran Ognjanović,
Logics with Generalized Measure Operators,
Journal of MultipleValued Logic and Soft Computing,
Volume 20, Number 56,
527555
2013.

Miloš Milošević, Zoran Ognjanović,
A FirstOrder Conditional Probability Logic With Iterations,
Publications de L'Institute Matematique, n.s. 93 (107),
1927, 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. 23, 217243, 2012.
(preliminary version: Springer LNCS volume 5956, 924, 2010.)

Angelina IlićStepić, Zoran Ognjanović,
Nebojša Ikodinović, Aleksandar Perović,
A padic probability logic,
Mathematical Logic Quarterly, vol. 58 (45), 263280, 2012.

Aleksandar Perović, Dragan Doder, Zoran Ognjanović,
On RealValued Evaluation of Propositional Formulas,
in: Proceedings of the Seventh International Symposium on
Foundations of Information and Knowledge Systems (FoIKS)
March 59, 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 firstorder conditional probability logic,
Logic Journal of IGPL, 20(1), 235253, 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
SUM2011, October 10  12, 2011, Dayton, Ohio, USA, Editors: S. Benferhat
and J. Grant, Springer LNCS 6929, 219232, 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 tnorm and product tnorm, Fuzzy Sets and
Systems 169, 6590, 2011. doi:10.1016/j.fss.2010.10.007

Dragan Doder,
Zoran Ognjanović,
Zoran Marković,
An Axiomatization of a Firstorder Branching Time Temporal Logic,
Journal of Universal Computer Science, vol. 16, no. 11, 14391451, 2010.

Dragan Doder, Miodrag Rašković, Zoran Marković,
Zoran Ognjanović, Measures of inconsistency and defaults,
International Journal of Approximate Reasoning 51, 832845, 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, 251263, 2010.

Zoran Ognjanović,
Milena Dobreva, Nikola Ikonomov, Tamara ButiganVučaj,
SouthEastern European Digitization Initiative, SEEDI, in:
Heritage and beyond, 179182, 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),
35111, 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, 4554, 2009.
ISBN: 9780387777443

Aleksandar Perović,
Dragan Radojević, Zoran Ognjanović,
Miodrag Rašković,
Interpolative Boolean Logic,
Lecture Notes in Computer Science Volume 5253, 209219, 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, 5266, 2008.

Zoran Ognjanović,
Aleksandar Perović,
Miodrag Rašković,
Logics with the Qualitative Probability Operator,
Logic Journal of IGPL, volume 16, number 2, 105120,
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, 338348,
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,
BerlinNY, 173188, 2007.
ISBN: 9780387719191

Zoran Ognjanović,
Discrete Lineartime Probabilistic Logics:
Completeness, Decidability and Complexity, Journal of Logic Computation,
Vol. 16, No. 2, 257285, 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 68, 2005,
editor Lluis Godo, Lecture Notes in Computer Science Vol. 3571
726736, 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 2931, 2005,
edts. M.J. Blesa, Lecture Notes in Computer Science vol. 3636,
4253, SpringerVerlag, 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, SpringerVerlag, 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, SpringerVerlag, 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, 5261, 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,
415424, 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, SpringerVerlag, 2001.
(PrSAT description)
 Zoran Ognjanović,
A completeness theorem for a first order lineartime logic,
Publications de L'Institute Matematique (Beograd), ns. 69 (83),
17, 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), 17, 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 14.

Miodrag Rašković, Zoran Ognjanović, Some propositional probabilistic logics, Kurepa's
symposium 1996, Belgrade, Scientific review (1996), nr 1920, pp. 8390.

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 tableaulike proof procedure for normal modal logics, Theoretical Computer Science
129 (1994) 167186, NorthHolland.

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), 1820.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), 1820.3.1992.

Miroslav Jocković, Zoran Ognjanović, Miomir Vukobratović, A contribution to the organization
of an expert system for process control of FMC, Robotics & ComputerIntegrated Manufacturing, Vol.7, No.
3/4, pp 297302, 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 125130.

Miroslav Jocković, Zoran Ognjanović, An approach in modeling knowledgebased system for control
of production processes, Fifth international conference on artificial intelligence and informationcontrol 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ć