( en | de | ru )

 

Disambiguierung von "Ognjanovic, Zoran"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Genetic Algorithm for Probabilistic SAT Problem.

, , und . ICAISC, Volume 3070 von Lecture Notes in Computer Science, Seite 462-467. Springer, (2004)

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 Stankovic

Zoran Janevski

Zoran Brkovic

Zoran Mursic

Zoran Mimica

 

Weitere Publikationen von Autoren mit dem selben Namen

Probabilistic Approach to Nonmonotonic Consequence Relations., , und . ECSQARU, Volume 6717 von Lecture Notes in Computer Science, Seite 459-471. Springer, (2011)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)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)Logic and Applications - LAP Meeting., , , und . Logic, Language, and Security, Volume 12300 von Lecture Notes in Computer Science, Seite 98-100. Springer, (2020)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)Correctness of the Chord Protocol., , , und . IIKI, Seite 547-552. IEEE Computer Society, (2016)Probabilistic justification logic., , und . J. Log. Comput., 30 (1): 257-280 (2020)