| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Itzhak Gilboa, David Schmeidler |
Updating Ambiguous Beliefs.  |
TARK  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi |
The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. |
TARK |
1992 |
DBLP BibTeX RDF |
|
| 1 | Robert J. Aumann |
Perspectives on Bounded Rationality. |
TARK |
1992 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer |
On Perfect Introspection With Quantifying-in. |
TARK |
1992 |
DBLP BibTeX RDF |
|
| 1 | Aleta Ricciardi |
Practical Utility of Knowledge-Based Analyses. |
TARK |
1992 |
DBLP BibTeX RDF |
|
| 1 | Richmond H. Thomason |
Propagating Epistemic Coordination Through Mutual Defaults I. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Edith Spaan |
Nexttime is not Necessary. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi |
A Nonstandard Approach to the Logical Omniscience Problem. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Itzhak Gilboa |
A Note on the Consistency of Game Theory. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Kurt Konolige |
Nonmonotonic Reasoning. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Barton L. Lipman |
On the Strategic Advantages of a Lack of Common Knowledge. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Nicholas Asher |
Intentional Paradoxes and an Inductive Theory of Propositional Quantification. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Sergei N. Artëmov |
Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Paul J. Krasucki |
Reaching Consensus on Decisions. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Grigori F. Shvarts |
Autoepistemic Modal Logics. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Kurt Konolige |
Explanatory Belief Ascription. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Michael L. Tiomkin, Michael Kaminski |
Nonmonotonic Default Modal Logics. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Daniel Lehmann 0001, Menachem Magidor |
Preferential Logics: the Predicate Calculus Case. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Brian Skyrms |
Dynamic Models of Deliberation and the Theory of Games. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Beth Allen |
Costly Acquisition of (Differentiated) Information. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Sanjay Jain 0001, Arun Sharma 0001 |
Hypothesis Formation and Language Acquisition with an Infinitely-Often Correct Teacher. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Yoram Moses, Gal Nachum |
Agreeing to Disagree After All. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Robert Stalnaker |
Semantics for Conditionals. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Rohit Parikh (eds.) |
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1990 |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | John Geanakoplos |
Common Knowledge in Economics. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Matthew L. Ginsberg |
Bilattices and Modal Operators. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Judea Pearl |
System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Rohit Parikh |
Recent Issues in Reasoning about Knowledge. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Murray S. Mazer |
A Link Between Knowledge and Communication in Faulty Distributed Systems. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Yoav Shoham |
Epistemic Semantics for Fixed-Points Non-Monotonic Logics. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Andrew F. Daughety, Robert Forsythe |
Complete Information Outcomes without Common Knowledge. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Nicholas Asher |
Reasoning about Belief and Knowledge with Self-Reference and Time. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Philip J. Reny |
Extensive Games and Common Knowledge. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ronald L. Rivest, Robert H. Sloan |
A New Model for Inductive Inference. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Gil Neiger |
Knowledge Consistency: A Useful Suspension of Disbelief. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Yoram Moses |
Resource-bounded Knowledge. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Cristina Bicchieri |
Common Knowledge and Backward Induction: A Solution to the Paradox. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Reasoning About Knowledge: A Tutorial. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ronald Prescott Loui |
The Curse of Frege. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Murray S. Mazer |
A Knowledge Theoretic Account of Recovery in Distributed Systems: The Case of Negotiated Commitment. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
Comments on "Knowledge, Representation, and Rational Self-Government". |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Peter Gärdenfors, David Makinson |
Revisions of Knowledge Systems Using Epistemic Entrenchment. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Itzhak Gilboa, David Schmeidler |
Information-Dependent Games: Can Common Sense Be Common Knowledge? |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Eric Werner |
Toward a Theory of Communication and Cooperation for Multiagent Planning. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Roger B. Myerson |
Incentive Constraints and Optimal Communication Systems. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Moshe Y. Vardi (eds.) |
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1988 |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jon Barwise |
Three Views of Common Knowledge. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
Circumscription in a Modal Logic. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jon Doyle |
Knowledge, Representation, and Rational Self-Government. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Tommy Chin-Chiu Tan, Sérgio Ribeiro da Costa Werlang |
A Guide to Knowledge and Games. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Stanley J. Rosenchein, Jon Doyle, Ronald Prescott Loui, Hector J. Levesque, Robert S. Moore |
Panel: Locality vs. Rationality. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Haim Gaifman |
Operational Pointer Semantics: Solution to Self-Referential Puzzles I. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
A Tractable Knowledge Representation Service with Full Introspection. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Martin Tompa |
Zero Knowledge Interactive Proofs of Knowledge (A Digest). |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Michael Burrows, Martín Abadi, Roger M. Needham |
Authentication: A Practical Study in Belief and Action. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ronald Fagin, Joseph Y. Halpern |
Reasoning about Knowledge and Probability. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Itzhak Gilboa |
Information and Meta Information. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Robert Charles Koons |
Doxastic Paradoxes without Self-Reference. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Robert C. Moore |
Is It Rational to be Logical? |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
On Integrity Constraints. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Haim Shvaytser |
Representing Knowledge in Learning Systems by Pseudo Boolean Functions. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Larry Samuelson |
Evolutionary Foundations of Solution Concepts for Finite, Two-Player, Normal-Form Games. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ronald Fagin, Moshe Y. Vardi |
Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason |
Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Jaakko Hintikka |
Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Nicholas Asher, Johan A. W. Kamp |
The Knower's Paradox and Representational Theories of Attitudes. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Stanley J. Rosenschein, Leslie Pack Kaelbling |
The Synthesis of Digital Machines With Provable Epistemic Properties. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer |
Steps Towards a First-Order Logic of Explicit and Implicit Belief. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
On Epistemic Logic and Logical Omniscience. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Fred Landman |
Pegs and Alecs. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | João P. Martins, Stuart C. Shapiro |
Theoretical Foundations for Belief Revision. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Robert J. Aumann |
Reasoning About Knowledge in Economics. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Tommy Chin-Chiu Tan, Sérgio Ribeiro da Costa Werlang |
Summary of "On Aumann's Notion of Common Knowledge-An Alternative Approach". |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Haim Gaifman |
A Theory of Higher Order Probabilities. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Fischer, Neil Immerman |
Foundations of Knowledge for Distributed Systems. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Richard E. Ladner, John H. Reif |
The Logic of Distributed Protocols. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Robert C. Moore |
Reasoning About Knowledge in Artificial Intelligence. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Silvio Micali |
Knowledge and Efficient Computation. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | John C. Mitchell, Michael J. O'Donnell |
Realisability Semantics for Error-Tolerant Logics. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Colin Stirling |
A Framework for Intuitionistic Modal Logics. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Nimrod Megiddo, Avi Wigderson |
On Play by Means of Computing Machines. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Richmond H. Thomason |
Paradoxes and Semantic Representation. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Kurt Konolige |
What Awareness Isn't: A Sentential View of Implicit and Explicit Belief. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Raymond M. Smullyan |
Logicians Who Reason About Themselves. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Jim des Rivières, Hector J. Levesque |
The Consistency of Syntactical Treatments of Knowledge. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Cynthia Dwork, Yoram Moses |
Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern (eds.) |
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1986 |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Christophe Geissler, Kurt Konolige |
A Resolution Method for Quantified Modal Logics of Knowledge and Belief. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Leora Morgenstern |
A First Order Theory of Planning, Knowledge, and Action. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Brian Cantwell Smith |
Varieties of Self-Reference. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | John McCarthy 0001 |
Mental Situation Calculus. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Reasoning About Knowledge: An Overview. |
TARK |
1986 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license