Zoran Ognjanović | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Thomas Studer
6 publications
Dragan Doder
2 publications
Bojan Marinković
1 publication
Paola Glavan
1 publication
Anton Kos
1 publication
Anton Umek
1 publication
Siniša Tomović
1 publication
David Lehnherr
1 publication

research

∙ 09/02/2021

A logic of interactive proofs

We introduce the probabilistic two-agent justification logic IPJ, a logi...

0 David Lehnherr, et al. ∙

research

∙ 01/21/2019

A First-Order Logic for Reasoning about Knowledge and Probability

We present a first-order probabilistic epistemic logic, which allows com...

0 Siniša Tomović, et al. ∙

research

∙ 09/22/2017

Correctness of the Chord Protocol

Internet of Things (IoT) can be seen as a cooperation of the various het...

0 Bojan Marinković, et al. ∙