( en | de | ru )

 

Disambiguation of "Ognjanovic, Zoran"

Author of the publication

copydeleteadd this publication to your clipboard
Probabilistic Common Knowledge Among Infinite Number of Agents.

, , and . ECSQARU, volume 9161 of Lecture Notes in Computer Science, page 496-505. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zoran Mursic

Zoran Brkovic

Zoran Janevski

Zoran Stankovic

Zoran Mimica

 

Other publications of authors with the same name

Prover 91 - A Parallel Theorem Prover (Extended Abstract)., , , and . TABLEAUX, page 43-45. (1992)Probabilistic justification logic., , and . J. Log. Comput., 30 (1): 257-280 (2020)Logic and Applications - LAP Meeting., , , and . Logic, Language, and Security, volume 12300 of Lecture Notes in Computer Science, page 98-100. Springer, (2020)A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities., , and . ECSQARU, volume 10369 of Lecture Notes in Computer Science, page 491-500. Springer, (2017)Variable Neighborhood Search for the Probabilistic Satisfiability Problem., , and . Metaheuristics, volume 39 of Operations Research/Computer Science Interfaces Series, Springer, (2007)A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators., , and . FoIKS, volume 10833 of Lecture Notes in Computer Science, page 170-185. Springer, (2018)Probabilistic Approach to Nonmonotonic Consequence Relations., , and . ECSQARU, volume 6717 of Lecture Notes in Computer Science, page 459-471. Springer, (2011)Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case., , , , and . FoIKS, volume 12012 of Lecture Notes in Computer Science, page 122-139. Springer, (2020)Correctness of the Chord Protocol., , , and . IIKI, page 547-552. IEEE Computer Society, (2016)Probabilistic Reasoning About Simply Typed Lambda Terms., , , , and . LFCS, volume 10703 of Lecture Notes in Computer Science, page 170-189. Springer, (2018)