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.
Knowledge, Rationality and Action - van der Hoek (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995.
Logical Foundations of Agent-Based Computing - Wiebe Van Der (Correct)
No context found.
R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, Reasoning About Knowledge, MIT Press, 1995.
Towards a Logic of Rational Agency - van der Hoek, Wooldridge (2003) (5 citations) (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995.
Cooperation, Knowledge, and Time: Alternating-time.. - van der Hoek, Wooldridge (2003) (Correct)
No context found.
Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning About Knowledge, The MIT Press: Cambridge, MA, 1995.
Observational Models of Requirements Evolution - Felici (2004) (Correct)
No context found.
Fagin, R., Halpern, J. Y., Moses, Y., and Vardi, M. Y. (2003). Reasoning about Knowledge. The MIT Press.
Model Checking a Knowledge Exchange - Scenario Sieuwert Van (Correct)
No context found.
R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about knowledge. The MIT Press: Cambridge, MA, 1995.
Epistemic Logic: A Survey - Wiebe Van Der (2002) (Correct)
No context found.
R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge MA, 1995.
Concurrent dynamic epistemic logic for MAS - van Ditmarsch, van der Hoek, Kooi (2003) (Correct)
No context found.
R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, Cambridge MA, 1995.
Preferences in Game Logics - van Otterloo, van der Hoek.. (2004) (Correct)
No context found.
R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about knowledge. The MIT Press: Cambridge, MA, 1995.
Rational Teams: Logical Aspects of Multi-Agent Systems - Aldewereld, van der Hoek.. (2004) (1 citation) (Correct)
No context found.
R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. The MIT Press, 1995.
Tractable Multiagent Planning for Epistemic Goals - van der Hoek, Wooldridge (2002) (17 citations) (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995.
Model Checking Cooperation, Knowledge, and Time - A Case.. - van der Hoek, Wooldridge (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995.
Contract Signing, Optimism, and Advantage - Rohit Chadha John (Correct)
No context found.
R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
Towards Model Checking Interpreted Systems - Lomuscio, Raimondi, Sergot (2002) (1 citation) (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, MIT Press, Cambridge, 1995.
Playing Cards with Hintikka - An Introduction to.. - van Ditmarsch, van.. (2004) (Correct)
No context found.
R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge MA, 1995.
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, al. (2003) (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
The secret of My Success - van Ditmarsch, Kooi (2004) (1 citation) (Correct)
No context found.
Fagin, R., J. Halpern, Y. Moses, and M. Vardi: 1995, Reasoning About Knowledge. Cambridge, Massachusetts: MIT Press.
Bounded Model Checking for Deontic Interpreted Systems - Wozna, Lomuscio, Penczek (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
Logic and Game Theory of Pit - van Ditmarsch (2004) (Correct)
No context found.
R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge MA, 1995. 17
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge, Massachusetts, 1995.
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
A Tool For Specification And Verification Of Epistemic.. - Raimondi, Lomuscio (2004) (3 citations) (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
Automatic Verification of Deontic Interpreted Systems by.. - Raimondi, Lomuscio (Correct)
No context found.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, The MIT Press, Cambridge, Massachusetts, 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