|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Reasoning About Knowledge and Probability |
1994 |
Fagin R., Halpern J. Y. |
|
|
|
J. of the ACM |
14.06.1994 |
|
М |
Reasoning about Knowledge |
1996 |
Fagin R., Halpern J. Y., Moses Y., Vardi M. Y. |
|
|
|
|
05.04.2001 |
|
СТ |
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 |
