Вы здесь

Halpern J. Y.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Reasoning about Knowledge 1996 Fagin R., Halpern J. Y., Moses Y., Vardi M. Y. 05.04.2001
СТ Reasoning About Knowledge and Probability 1994 Fagin R., Halpern J. Y. J. of the ACM 14.06.1994
СТ Generating Degrees of Belief from Statistical Information: An Overview 1993 Bacchus F., Grove A. J., Halpern J. Y., Koller D. Lecture Notes in Computer Science 20.01.1994
СТ Knowledge, Probability, and Adversaries 1993 Halpern J. Y., Tuttle M. R. J. of the ACM 25.11.1993
СТ A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing 1993 Halpern J. Y. Lecture Notes in Computer Science 21.09.1993
СТ A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols 1992 Halpern J. Y., Zuck L. D. J. of the ACM 01.10.1992
СТ What Can Machines Know? On the Properties of Knowledge in Distributes Systems 1992 Fagin R., Halpern J. Y., Vardi M. Y. J. of the ACM 29.05.1992