( en | de | ru )

 

Disambiguierung von "Halpern, Joseph Y."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Knowledge-Based Programs.

, , , und . PODC, Seite 153-163. ACM, (1995)

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

Using Counterfactuals in Knowledge-Based Programming., und . TARK, Seite 97-110. Morgan Kaufmann, (1998)Language-based Games.. ICAART (1), Seite IS-7. SciTePress, (2015)Reasoning about Uncertainty. MIT Press, Cambridge, MA, (2003)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)Decision Procedures and Expressiveness in the Temporal Logic of Branching Time, und . STOC, Seite 169-180. ACM, (1982)Partial Awareness., und . CoRR, (2018)On the Complexity of Conditional Logics, und . In Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR '94), Seite 202--213. Morgan Kaufmann, (1994)The hierarchical approach to modeling knowledge and common knowledge., , , und . Int. J. Game Theory, 28 (3): 331-365 (1999)The Semantics of Local Storage, or What Makes the Free-List Free?, , und . POPL, Seite 245-257. ACM Press, (1984)