Back to the home page
-
Zoran Ognjanović, Angelina Ilić-Stepić, Aleksandar Perović,
A probabilistic temporal epistemic logic: Decidability,
Logic Journal of the IGPL, Vol. 32, No. 5, 827 - 879, 2024.
-
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, 112, 987-1017, 2024.
-
Dragan Doder, Zoran Ognjanović,
Probabilistic temporal logic with countably additive semantics,
Annals of Pure and Applied Logic, Volume 175, Issue 9, Article 103389, 2024.
-
Šejla Dautović, Dragan Doder, Zoran Ognjanović,
Reasoning about Knowledge and Conditional Probability,
International Journal of Approximate Reasoning, Article 109037,
2023.
-
Angelina Ilić-Stepić,
Zoran Ognjanović,
Aleksandar Perović,
Probability Logics for Reasoning About Quantum Observations,
Logica Universalis 17, 175-219, 2023.
-
David Lehnherr, Zoran Ognjanović, Thomas Studer,
A Logic of Interactive Proofs,
Journal of Logic and Computation 32(8), 1645-1658, 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, 143-155, 2022.
-
Šejla Dautović, Dragan Doder, Zoran Ognjanović,
Logics for reasoning about degrees of confirmations, Journal of Logic and
Computation, Volume 31, Issue 8, 2189-2217, 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 17-20 2021, Klagenfurt, Austria
(JELIA 2021),
Lecture Notes in Computer Science (LNAI), vol. 12678, 279-293, 2021,
Springer.
-
Tatjana Stojanović, Nebojša Ikodinović,
Tatjana Davidović, Zoran Ognjanović,
Automated non-monotonic reasoning in System P,
Annals of Mathematics and Artificial Intelligence, 89, 471-509, 2021.
-
Zoran Ognjanović, Angelina Ilić-Stepić,
Logics with Probability Operators,
In: Ognjanović Z. (eds) Probabilistic Extensions of Various Logical
Systems. Springer, Cham, 1-35, 2020.
-
Nebojša Ikodinović, Zoran Ognjanović,
Probabilistic Modeling of Default Reasoning,
In: Ognjanović Z. (eds) Probabilistic Extensions of Various Logical
Systems. Springer, Cham, 109-142, 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ć,
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower
Probabilities,
Journal of Logic, Language and information, 29:77-107, 2020.
-
Ioannis Kokkinis, Zoran Ognjanović, Thomas Studer,
Probabilistic justification logic,
Journal of Logic and Computation, Volume 30, Issue 1, 257-280, 2020.
-
Siniša Tomović, Zoran Ognjanović, Dragan Doder,
A First-Order Logic for Reasoning about Knowledge and Probability,
ACM Transactions on Computational Logic 21(2), 1--30, 2020.
-
Gabriele Kern-Isberner, Zoran Ognjanović (editors),
Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
Proceedings of the 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20,
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 Non-rigid Set of Agents for Analyzing the
Blockchain protocol,
Journal of logic and computation, Volume 29, Issue 5, Pages 803-830, 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,
Volume 33, Issue 3, 257-275, 2018.
-
Dirk Huylebrouck,
Zoran Ognjanović,
Ljiljana Radović,
Leibniz, a Sorb,
The Mathematical Intelligencer, Volume 39, Number 3, 53-55, 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 105, 943-969, 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ć