( en | de | ru )

 

Disambiguierung von "Halpern, Joseph Y."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Type Spaces to Probability Frames and Back, via Language.

, und . TARK, Volume 251 von EPTCS, Seite 75-87. (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.

Teodoro Halpern

Lipa Halpern

Jan-Josef Halpern

Y Winter

Rainer Y

 

Weitere Publikationen von Autoren mit dem selben Namen

Reasoning about Uncertainty. MIT Press, Cambridge, MA, (2003)Asymptotic Conditional Probabilities: The Non-Unary Case., , und . J. Symb. Log., 61 (1): 250-276 (1996)A Propositional Model Logic of Time Intervals, und . LICS, Seite 279-292. IEEE Computer Society, (1986)True Relative Completeness of an Axiom System for the Language L4 (Abridged), , und . LICS, Seite 11-25. IEEE Computer Society, (1986)Language-based Games.. ICAART (1), Seite IS-7. SciTePress, (2015)Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus., , und . Reasoning with Uncertainty in Robotics, Volume 1093 von Lecture Notes in Computer Science, Seite 218-220. Springer, (1995)Reasoning About Procedures as Parameters., , und . Logic of Programs, Volume 164 von Lecture Notes in Computer Science, Seite 206-220. Springer, (1983)Dexter Kozen: An Appreciation.. Logic and Program Semantics, Volume 7230 von Lecture Notes in Computer Science, Seite 324-325. Springer, (2012)Knowledge-Based Synthesis of Distributed Systems Using Event Structures., , , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 449-465. Springer, (2004)Belief, Awareness, and Limited Reasoning: Preliminary Report., und . IJCAI, Seite 491-501. Morgan Kaufmann, (1985)