( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the unusual effectiveness of logic in computer science.

, , , , , и . Bull. Symb. Log., 7 (2): 213-236 (2001)

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)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)Reasoning about Uncertainty. MIT Press, Cambridge, MA, (2003)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)Responsibility and Blame: A Structural-Model Approach., и . J. Artif. Intell. Res., (2004)A Logic for Reasoning about Evidence., и . J. Artif. Intell. Res., (2006)Language-based Games.. ICAART (1), стр. IS-7. SciTePress, (2015)Belief, Awareness, and Limited Reasoning: Preliminary Report., и . IJCAI, стр. 491-501. Morgan Kaufmann, (1985)