Reasoning About Knowledge
Bibliographic Data
| ID | 23399985 |
|---|---|
| Authors | Ronald Fagin (0000-0002-7374-0347), Joseph Y Halpern (0000-0002-9229-1663), Yoram Moses (0000-0001-5549-1781), Moshe Y Vardi (0000-0002-0661-5773), Moshe Vardi |
| Year | 1995 |
| Pages | 544 |
| Publication date | 1995-08-14 |
| Open Access | No |
| Type | BOOK |
| Reviewed by | Reasoning about knowledge, Ronald Fagin, 1994 |
| Venue | Reasoning about Knowledge (SOURCE_BOOK) |
| Publisher | The MIT Press (PUBLISHER • US) |
| DOI | 10.7551/mitpress/5803.001.0001 |
| OpenAlex | W3140030144 |
| Open Library | OL29283530M |
| ISBN | 9780262256094 |
| Language | EN |
| Citations received | 232 |
Reasoning about knowledge—particularly the knowledge of agents who reason about the world and each other's knowledge—was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms. Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory. It brings eight years of work by the authors into a cohesive framework for understanding and analyzing reasoning about knowledge that is intuitive, mathematically well founded, useful in practice, and widely applicable. The book is almost completely self-contained and should be accessible to readers in a variety of disciplines, including computer science, artificial intelligence, linguistics, philosophy, cognitive science, and game theory. Each chapter includes exercises and bibliographic notes. Bradford Books imprint
Computer Science · Logic, Reasoning, and Knowledge · Semantic Web and Ontologies · Agent (philosophy) · Reasoning · Theory of knowledge
Secret Government
Bibliografía sobre
How hyper are hyperpropositions
Dynamic Epistemic Logic I
Saber lo que sabe el otro, saber qué sabe el otro
A comment on Scott and Storper's ‘The nature of cities
Behavioral Game Theory and Contemporary Economic Theory
Reasoning about knowledge
Common Ground
A default-free solution to the imperfective paradox
You better play 7
Developing the Total Knowledge account in truthmaker semantics
Belief as Question‐Sensitive
Impossible Worlds
The PPE enterprise
Conditional Truth and Future Reference
Topics of Thought
Socratic Epistemology
Dynamic Epistemic Logic
Knowledge and its Limits
Modal Logic
Explanation in artificial intelligence
Endogenizing institutions and institutional changes
The Oxford Handbook of Lying
Group Knowledge, Questions, and the Division of Epistemic Labour
The Philosophy of Social Practices
Paraconsistency And Dialogue Logic Critical Examination And Further Explorations
On the Logical Unsolvability of the Gettier Problem
Interpreting imprecise probabilities
Comparing Semantics of Logics eor Multi-Agent Systems
Reasoning-based introspection
Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems
Belief Changes and Cognitive Development
The Normative Autonomy of Logic
Publicity and Common Commitment to Believe
Bayesianism for Non-ideal Agents
Logic of Justified Beliefs Based on Argumentation
Who’s afraid of common knowledge
Semantic noise in the Winograd Schema Challenge of pronoun disambiguation
Comparing Knowledge
Epistemic Perspectives and Communicative Acts
Common Knowledge and Hinge Epistemology
The form and function of joint attention within joint action
Reasoning with reasons
Defining common ground
Cognitive synonymy
Joint attention and communication
Introduction to the special issue
Blindness and the Interactional Emergence of Disability
El conocimiento grupal de agentes epistémicamente responsables
Fictional Commitments
Priority Structures in Deontic Logic
Information, Agency, and the Trinity
Hyperintensionality and De Re Beliefs
We and the Plural Subject
Information dynamics and uniform substitution
A working hypothesis for the logic of radical ignorance
On the factivity of implicit intersubjective knowledge
Iterative information update and stability of strategies
A logic of intention and attempt
Dynamic logics of knowledge and access
Syntactic awareness in logical dynamics
Does the deduction theorem fail for modal logic
Neighborhood semantics for logic of knowing how
The Secret of My Success
A logic of knowing why
Action and Knowledge in Alternating-Time Temporal Logic
On the dynamics of institutional agreements
Hyperintensional logics for everyone
Partial-order Boolean games
Paraconsistent dynamics
A minimal logic for interactive epistemology
Pluralistic ignorance in the bystander effect
A logic of goal-directed knowing how
The brain attics
Epistemic logic meets epistemic game theory
Epistemic logic without closure
The Logic of Pit
From Knowledge-based Programs to Graded Belief-based Programs, Part I
The Logic of Knowledge Based Obligation
Strategic manipulation in Bayesian dialogues
Belief ascription under bounded resources
Towards a theory of intention revision
Substantive assumptions in interaction
Dynamics we can believe in
A Proof-theoretic View of Necessity
Dynamic epistemic logic with branching temporal structures
Reasoning about data and information
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic
Logic for physical space
The information in intuitionistic logic
Extending probabilistic dynamic epistemic logic
Verifying time, memory and communication bounds in systems of reasoning agents
Being realistic about common knowledge
Calculus and counterpossibles in science
Semantic information and the network theory of account
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
Ockham’s razor and reasoning about information flow
Salience reasoning in coordination games
Prolegomena to Dynamic Logic for Belief Revision
| Unique citing works | 152 |
|---|---|
| Citations per year | 7,25 |
| Citation span | 1994 - 2026 (33) |
| Citation velocity | current |
| Highly cited | Yes |
| Citation types | Neutral: 218 |