Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yair Bartal, Rica Gonen, Noam Nisan |
Incentive compatible multi unit combinatorial auctions. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Robert McGrew 0001, Ryan Porter, Yoav Shoham |
Towards a general theory of non-cooperative computation. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern, Moshe Tennenholtz (eds.) |
Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003 |
TARK |
2003 |
DBLP BibTeX RDF |
|
1 | Wolfgang Spohn |
Enumerative induction. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Robert van Rooy |
Being polite is a handicap: towards a game theoretical analysis of polite linguistic behavior. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Georg Gottlob, Gianluigi Greco, Francesco Scarcello |
Pure Nash equilibria: hard and easy games. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Horacio L. Arló-Costa |
Iterated abduction and conditional coherence. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ron van der Meyden, Manas K. Patra |
Knowledge in quantum systems. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco La Mura |
Decision-theoretic entropy. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Kearns |
Structured interaction in game theory. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Johan van Benthem (eds.) |
Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2001), Certosa di Pontignano, University of Siena, Italy, July 8-10, 2001 |
TARK |
2001 |
RDF |
|
1 | Joseph Y. Halpern, Yoram Moses |
Using Counterfactuals in Knowledge-Based Programming. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Dov Monderer, Moshe Tennenholtz |
Distributed Games. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Daniel Lehmann 0001 |
Nonstandard Numbers for Qualitative Decision Making. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Itzhak Gilboa (eds.) |
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998 |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Pierfrancesco La Mura, Yoav Shoham |
Conditional, Hierarchical, Multi-Agent Preferences. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Giacomo Bonanno, Klaus Nehring |
Understanding Common Priors under Incomplete Information. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Aleta Ricciardi, Paul Grisham |
Toward Software Synthesis for Distributed Applications. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Aaron N. Kaplan |
Simulative Inference About Nonmonotonic Reasoners. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Kevin T. Kelly |
The Learning Power of Belief Revision. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Oliver J. Board |
Belief Revision and Rationalizability. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Horacio L. Arló-Costa, Cristina Bicchieri |
Games and Conditionals. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Aviad Heifetz, Philippe Mongin |
The Modal Logic of Probability. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Hans Rott |
Logic and Choice. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Jon Barwise |
An Architecture for Heterogeneous Reasoning (Invited Talk). |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Stephen Morris |
Interaction Games: A Unified Analysis of Incomplete Information and Local Interaction. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Richmond H. Thomason |
Intra-Agent Modality and Nonmonotonic Epistemic Logic. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Paolo Ghirardato, Massimo Marinacci |
Ambiguity Made Precise: A Comparative Foundation. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Joeri Engelfriet, Yde Venema |
A Modal Logic of Information Change. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Lance Fortnow, Peter G. Kimmel |
Beating a Finite Automaton in the Big Match. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Joseph Y. Halpern |
Characterizing the Common Prior Assumption. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | John F. Horty, Martha E. Pollack |
Evaluating Qptions in a Context. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki |
The Logic of Public Announcements and Common Knowledge and Private Suspicions. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Dov Samet |
Quantified Beliefs and Believed Quantities (Invited Talk). |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
Knowledge and the Logic of Local Propositions. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Joseph Y. Halpern |
Hypothetical Knowledge and Counterfactual Reasoning. |
TARK |
1998 |
DBLP BibTeX RDF |
|
1 | Craig Boutilier |
Planning, Learning and Coordination in Multiagent Decision Processes. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar 0001 |
Changing Conditional Belief Unconditionally. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Ramaswamy Ramanujam |
Local Knowledge Assertions in a Changing World. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Mark Ryan 0001, Pierre-Yves Schobbens, Odinaldo Rodrigues |
Counterfactuals and Updates as Inverse Modalities. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Joseph Y. Halpern |
On Ambiguities in the Interpretation of Game Trees. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Michele Piccione, Ariel Rubinstein |
On the Interpretation of Decision Problems with Imperfect Recall. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Karl Schlechta, Daniel Lehmann 0001, Menachem Magidor |
Distance Semantics for Belief Revision. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Ron van der Meyden |
Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Judea Pearl |
Causation, Action and Counterfactuals. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Stephen Morris |
Economics and Game Theory Perspective. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Peter Gärdenfors |
Belief Revision and Knowledge Representation. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Richmond H. Thomason, John F. Horty |
Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Peter A. Flach |
Rationality Postulates for Induction. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Yoav Shoham (eds.) |
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996 |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Luis Fariñas del Cerro, Andreas Herzig |
Belief Change and Dependence. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Noa E. Kfir-Dahav, Moshe Tennenholtz |
Multi-Agent Belief Revision. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Robert J. Aumann, Sergiu Hart, Motty Perry |
The Absent-Minded Driver. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
Common Knowledge Revisited. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Enrico Minelli, Heracles M. Polemarchakis |
Knowledge at Equilibrium. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Joseph Y. Halpern, Gerhard Lakemeyer |
Multi-Agent Only Knowing. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Moshe Y. Vardi |
Implementing Knowledge-Based Programs. |
TARK |
1996 |
DBLP BibTeX RDF |
|
1 | Aviad Heifetz |
Infinitary Epistemic Logic. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Stephen Morris |
Revising Knowledge: a Hierarchical Approach. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Barton L. Lipman |
An Axiomatic Approach to the Logical Omniscience Problem. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Gian Aldo Antonelli, Cristina Bicchieri |
Backwards Forward Induction. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Peter Vanderschraaf |
Inductive Learning, Knowledge Asymmetries and Convention. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Nir Friedman, Joseph Y. Halpern |
A Knowledge-Based Framework for Belief change, Part I: Foundations. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Ken Binmore |
Rationality in the Centipede. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Itzhak Gilboa, David Schmeidler |
Case-Based Decision Theory and Knowledge Representation. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Ron van der Meyden |
Common Knowledge and Update in Finite Enviromnents I. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Paul J. Krasucki, Ramaswamy Ramanujam |
Knowledge and the Ordering of Events in Distributed Systems. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham |
Knowledge as a Tool in Motion Planning and Uncertainty. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
Algorithmic Knowledge. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz |
Autoepistemic Logic and Introspective Circumscription. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | M. van Hulst, John-Jules Ch. Meyer |
An Epistemic Proof System for Parallel Processes. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Jinxin Lin |
Consistent Belief Reasoning in the Presence of Inconsistency. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Kevin B. Korb |
Infinitely Many Resolutions of Hempel's Paradox. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Zhisheng Huang, Peter van Emde Boas |
Information Acquisition from Multi-agent Resources. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Ronald Fagin (eds.) |
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994 |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Paul F. Syverson |
An Epistemic Logic of Situations. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Robert Charles Koons, Nicholas H. Asher |
Belief Revision in a changing World. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Wlodzimierz Rabinowicz, Krister Segerberg |
Actual Truth, Possible Knowledge. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Adnan Darwiche, Judea Pearl |
On the Logic of iterated Belief Revision. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Debra J. Holt |
Coherent Belief Revision in Games. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Hector J. Levesque |
Knowledge, Action, and Ability in the Situation Calculus. |
TARK |
1994 |
DBLP BibTeX RDF |
|
1 | Gösta Grahne, Alberto O. Mendelzon, Raymond Reiter |
On The Semantics of Belief Revision Systems. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Lawrence S. Moss, Rohit Parikh |
Topological Reasoning and The Logic of Knowledge. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Yoram Moses |
Knowledge and Communication. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Aldo Rustichini |
Decision Theory With Higher Order Beliefs. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Marco Cadoli, Marco Schaerf |
Approximate Reasoning and Non-Omniscient Agents. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Paul J. Krasucki |
Some Results on Consensus. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Yoram Moses (eds.) |
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1992 |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Johan van Benthem |
Epistemic Logic: From Knowledge to Cognition. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Deborah Shands, Chung-Kuo Chang |
Characterizing Distributed Systems Using Knowledge-Based Models. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Gil Neiger, Rida A. Bazzi |
Using Knowledge to Optimally Achieve Coordination in Distributed Systems. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Robert Charles Koons |
Doxastic Paradox and Reputation Effects in Iterated Games. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Grigori Schwarz, Miroslaw Truszczynski |
Modal Logic S4F and The Minimal Knowledge Paradigm. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Prashant Parikh |
A Game-Theoretic Account of Implicature. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | John Geanakoplos |
Common Knowledge. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Robert Stalnaker |
Notes on Conditional Semantics. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Frans Voorbraak |
Generalized Kripke Models for Epistemic Logic. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Yoav Shoham |
Multiple Mental Attitudes in Agents. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | Ron Clark |
Reflection and Truth. |
TARK |
1992 |
DBLP BibTeX RDF |
|
1 | James Dow, Sérgio Ribeiro da Costa Werlang |
The Ex-Ante Non-Optimality of the Dempster-Schafer Updating Rule for Ambiguous Beliefs (A Commentary on "Updating Ambiguous Beliefs' by Gilboa and Schmeidler). |
TARK |
1992 |
DBLP BibTeX RDF |
|