default search action
3rd TARK 1990: Pacific Grove, California, USA
- Rohit Parikh:
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1990. Morgan Kaufmann 1990, ISBN 1-55860-105-8 - Kurt Konolige:
Nonmonotonic Reasoning. TARK 1990: 1 - Rohit Parikh:
Recent Issues in Reasoning about Knowledge. TARK 1990: 3-10 - Nicholas Asher:
Intentional Paradoxes and an Inductive Theory of Propositional Quantification. TARK 1990: 11-28 - Richmond H. Thomason:
Propagating Epistemic Coordination Through Mutual Defaults I. TARK 1990: 29-39 - Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Nonstandard Approach to the Logical Omniscience Problem. TARK 1990: 41-55 - Daniel Lehmann, Menachem Magidor:
Preferential Logics: the Predicate Calculus Case. TARK 1990: 57-72 - Michael L. Tiomkin, Michael Kaminski:
Nonmonotonic Default Modal Logics. TARK 1990: 73-83 - Kurt Konolige:
Explanatory Belief Ascription. TARK 1990: 85-96 - Grigori F. Shvarts:
Autoepistemic Modal Logics. TARK 1990: 97-109 - Fangzhen Lin, Yoav Shoham:
Epistemic Semantics for Fixed-Points Non-Monotonic Logics. TARK 1990: 111-120 - Judea Pearl:
System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning. TARK 1990: 121-135 - Robert Stalnaker:
Semantics for Conditionals. TARK 1990: 137-138 - John Geanakoplos:
Common Knowledge in Economics. TARK 1990: 139-140 - Paul J. Krasucki:
Reaching Consensus on Decisions. TARK 1990: 141-150 - Yoram Moses, Gal Nachum:
Agreeing to Disagree After All. TARK 1990: 151-168 - Beth Allen:
Costly Acquisition of (Differentiated) Information. TARK 1990: 169-184 - Brian Skyrms:
Dynamic Models of Deliberation and the Theory of Games. TARK 1990: 185-200 - Itzhak Gilboa:
A Note on the Consistency of Game Theory. TARK 1990: 201-208 - Barton L. Lipman:
On the Strategic Advantages of a Lack of Common Knowledge. TARK 1990: 209-224 - Sanjay Jain, Arun Sharma:
Hypothesis Formation and Language Acquisition with an Infinitely-Often Correct Teacher. TARK 1990: 225-239 - Edith Spaan:
Nexttime is not Necessary. TARK 1990: 241-256 - Sergei N. Artëmov:
Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic. TARK 1990: 257-272 - Matthew L. Ginsberg:
Bilattices and Modal Operators. TARK 1990: 273-287 - Murray S. Mazer:
A Link Between Knowledge and Communication in Faulty Distributed Systems. TARK 1990: 289-304
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: