E-LIB Suche - Ergebnisse für: Ognjanović, Zoran

1

Probabilistic temporal logic with countably additive semant..:

Doder, Dragan ; Ognjanović, Zoran
Annals of Pure and Applied Logic. 175 (2024) 9 - p. 103389 , 2024

2

Reasoning about knowledge and conditional probability:

Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran
International Journal of Approximate Reasoning. 163 (2023) - p. 109037 , 2023

Link: https://doi.org/10.1016/..

3

Probability Logics for Reasoning About Quantum Observations:

Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar
Logica Universalis. 17 (2023) 2 - p. 175-219 , 2023

Link: https://doi.org/10.1007/..

4

A probabilistic temporal epistemic logic: Decidability:

Ognjanović, Zoran ; Stepić, Angelina Ilić ; Perović, Aleksandar
Logic Journal of the IGPL. , 2023

Link: https://doi.org/10.1093/..

5

The Logic ILP for Intuitionistic Reasoning About Probabilit:

Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar
Studia Logica. , 2023

Link: https://doi.org/10.1007/..

6

Incomplete Information and Justifications:

, In: Lecture Notes in Computer Science; Language, Logic, and Computation,

Doder, Dragan ; Ognjanović, Zoran ; Savić, Nenad. - p. 258-278 , 2022

Link: https://doi.org/10.1007/..

7

A logic of interactive proofs:

Lehnherr, David ; Ognjanović, Zoran ; Studer, Thomas
Journal of Logic and Computation. 32 (2022) 8 - p. 1645-1658 , 2022

Link: https://doi.org/10.1093/..

8

Federating digital contact tracing using structured overlay..:

Ghilezan, Silvia ; Kasterovic, Simona ; Liquori, Luigi...
Computer Science and Information Systems. 19 (2022) 3 - p. 1261-1282 , 2022

Link: https://doi.org/10.2298/..

9

Intuitionistic propositional probability logic:

Ilić‐Stepić, Anelina ; Knežević, Mateja ; Ognjanović, Zoran
Mathematical Logic Quarterly. 68 (2022) 4 - p. 479-495 , 2022

Link: https://doi.org/10.1002/..

10

A probabilistic temporal epistemic logic: Strong completene..:

Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar
Logic Journal of the IGPL. 32 (2022) 1 - p. 94-138 , 2022

Link: https://doi.org/10.1093/..

11

A Logic of Interactive Proofs:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,

Lehnherr, David ; Ognjanović, Zoran ; Studer, Thomas - p. 143-155 , 2021

Link: https://doi.org/10.1007/..

12

Automated non-monotonic reasoning in System P:

Stojanović, Tatjana ; Ikodinović, Nebojša ; Davidović, Tatjana.
Annals of Mathematics and Artificial Intelligence. 89 (2021) 5-6 - p. 471-509 , 2021

Link: https://doi.org/10.1007/..

13

Special issue from the 15th European Conference on Symbolic..:

Kern-Isberner, Gabriele ; Ognjanović, Zoran
International Journal of Approximate Reasoning. 138 (2021) - p. 76-77 , 2021

Link: https://doi.org/10.1016/..

14

An Epistemic Probabilistic Logic with Conditional Probabili..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran - p. 279-293 , 2021

Link: https://doi.org/10.1007/..

15

Logics for reasoning about degrees of confirmation:

DautoviĆ, Šejla ; Doder, Dragan ; OgnjanoviĆ, Zoran
Journal of Logic and Computation. 31 (2021) 8 - p. 2189-2217 , 2021

Link: https://doi.org/10.1093/..