( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Dexter Kozen: An Appreciation.

. Logic and Program Semantics, том 7230 из Lecture Notes in Computer Science, стр. 324-325. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Teodoro Halpern

Lipa Halpern

Jan-Josef Halpern

Y Winter

Rainer Y

 

Другие публикации лиц с тем же именем

Using Counterfactuals in Knowledge-Based Programming., и . TARK, стр. 97-110. Morgan Kaufmann, (1998)A Propositional Model Logic of Time Intervals, и . LICS, стр. 279-292. IEEE Computer Society, (1986)True Relative Completeness of an Axiom System for the Language L4 (Abridged), , и . LICS, стр. 11-25. IEEE Computer Society, (1986)Language-based Games.. ICAART (1), стр. IS-7. SciTePress, (2015)The hierarchical approach to modeling knowledge and common knowledge., , , и . Int. J. Game Theory, 28 (3): 331-365 (1999)On the Complexity of Conditional Logics, и . In Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR '94), стр. 202--213. Morgan Kaufmann, (1994)Responsibility and Blame: A Structural-Model Approach., и . J. Artif. Intell. Res., (2004)A Logic for Reasoning about Evidence., и . J. Artif. Intell. Res., (2006)Reasoning about Uncertainty. MIT Press, Cambridge, MA, (2003)Partial Awareness., и . CoRR, (2018)