604 citations found. Retrieving documents...
R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning About Knowledge. MIT Press, Cambridge, Massachusetts, 1995.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Interactive Unawareness Revisited - Joseph Halpern Computer   Self-citation (Halpern)   (Correct)

No context found.

Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi (1995). Reasoning about Knowledge. Cambridge, Mass.: MIT Press. A slightly revised paperback version was published in 2003.


Common Knowledge in Update Logics - Johan Van Benthem   (Correct)

No context found.

R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning About Knowledge. MIT Press, Cambridge, Massachusetts, 1995.


On Epistemic Logic with Justification - Sergei Artemov Elena   (Correct)

No context found.

R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning About Knowledge, MIT Press, 1995.


Logical Omniscience and Common Knowledge; - What Do We   (Correct)

No context found.

Fagin, R., Halpern, J., Moses, Y. and Vardi, M., Reasoning about knowledge, M.I.T. Press, 1995.


First-Order Classical Modal Logic: Applications in logics.. - Arlo-Costa, Pacuit   (Correct)

No context found.

Fagin, R., Halpern, J. Y., Moses, Y. and Vardi, M Y. Reasoning about knowledge, MIT Press, Cambridge, Massachusetts, 1995.


Complexity Results for Logics of Local Reasoning and.. - Martin Allen Computer   (Correct)

No context found.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, MA, 1995.


Logical Concepts in Cryptography - Kramer (2006)   (Correct)

No context found.

Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press (1995)


Backtracking Games and Inflationary Fixed - Points Anuj Dawar   (Correct)

No context found.

R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning About Knowledge. MIT Press, 1995.


Information Needs in Agent Teamwork - John Yen Jyen (2004)   (Correct)

No context found.

Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. (1995). Reasoning About Knowledge. MIT Press.


On Proactive Delivery of Needed Information to Teammates.. - Sciences And Technology   (Correct)

No context found.

Fagin, R., Halpern, J. Y., Moses, Y., and Vardi, M.Y.: Reasoning About Knowledge. MIT Press, 1995.


Modal Logics with Existential Modality, Finite-iteration.. - Shkatov (2005)   (Correct)

No context found.

Ronald Fagin, Jeseph Y. Halpern, and Moshe Vardi. Reasoning about Knowledge. MIT Press, 1995.


Modeling and Simulating Human Teamwork Behaviors Using.. - Fan, Yen (2004)   (Correct)

No context found.

R. Fagin, J. Y. Halpern, Y. Moses, and M. Vardi, Reasoning About Knowledge. MIT Press, 1995.


A theoretical framework on proactive information exchange in.. - Fan, Yen, Volz (2001)   (Correct)

No context found.

R. Fagin, J.Y. Halpern, Y. Moses, M. Vardi, Reasoning About Knowledge, MIT Press, Cambridge, MA, 1995.


Creating Common Beliefs in Rescue Situations - Barbara Dunin-Keplicz And (2004)   (Correct)

No context found.

R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge.MIT Press, Cambridge, MA, 1995.


Epistemic Equivalence and Bisimulation - Gerbrandy (2005)   (Correct)

No context found.

Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi: 1995, Reasoning about Knowledge. The MIT Press.


Reasoning about Information Change - Gerbrandy, Groeneveld (1987)   (29 citations)  (Correct)

No context found.

R. Fagin, J.Y. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge (Mass.), 1995.


Dynamic Epistemic Logic - Gerbrandy (1997)   (8 citations)  (Correct)

No context found.

R. Fagin, J.Y. Halpern, Y. Moses and M. Vardi (1995) Reasoning about Knowledge.


A Hierarchy of Modal Logics - Extended Version Thomas   (Correct)

No context found.

R. Fagin, J. Y. Halpern, Y. Moses, M.Y. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge, 1995.


Modeling Safety Case Evolution - Examples from the Air Traffic.. - Felici (2006)   (Correct)

No context found.

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. The MIT Press, 2003.


Capturing emerging complex interactions: Safety analysis in air.. - Felici   (Correct)

No context found.

Fagin R, Halpern JY, Moses Y, Vardi MY. Reasoning about knowledge. Cambridge, MA: The MIT Press; 2003.


A Protocol for a Distributed Recommender System - Vidal (2005)   (Correct)

No context found.

Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge, MA (1995)


Knowledge and Social Laws - van der Hoek, Roberts, Wooldridge (2005)   (Correct)

No context found.

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995.


Playing Cards with Hintikka - An Introduction to.. - van Ditmarsch, van.. (2005)   (Correct)

No context found.

R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge MA, 1995.


Building the Web Infrastructure for Providing Rating.. - Boris Galitsky And (2005)   (Correct)

No context found.

FAGIN R, Halpern J, Moses Y and Vardi M. (1995) Reasoning about Knowledge.


Trustworthiness by Default - Klüwer, Waaler (2005)   (Correct)

No context found.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 1995.

First 50 documents  Next 50

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC