The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TARK"( http://dblp.L3S.de/Venues/TARK )

URL (DBLP): http://dblp.uni-trier.de/db/conf/tark

Publication years (Num. hits)
1986 (30) 1988 (32) 1990 (25) 1992 (24) 1994 (24) 1996 (21) 1998 (25) 2001-2003 (22) 2005 (22) 2007 (36) 2009 (33) 2011 (32) 2013 (29) 2015 (20) 2016-2017 (36) 2019 (23) 2021 (20) 2023 (38)
Publication types (Num. hits)
inproceedings(473) proceedings(19)
Venues (Conferences, Journals, ...)
TARK(492)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 17 keywords

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