( en | de | ru )

 

Disambiguierung von "Ognjanovic, Zoran"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Justification Logic with Approximate Conditional Probabilities.

, , und . LORI, Volume 10455 von Lecture Notes in Computer Science, Seite 681-686. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Zoran Mursic

Zoran Brkovic

Zoran Stankovic

Zoran Janevski

Zoran Mimica

 

Weitere Publikationen von Autoren mit dem selben Namen

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