Search dblp for Publications

export results for "toc:db/conf/tark/tark1990.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tark/Allen90,
  author       = {Beth Allen},
  editor       = {Rohit Parikh},
  title        = {Costly Acquisition of (Differentiated) Information},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {169--184},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Thu, 21 Jun 2018 07:50:57 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/Allen90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Artemov90,
  author       = {Sergei N. Art{\"{e}}mov},
  editor       = {Rohit Parikh},
  title        = {Kolmogorov's Logic of Problems and a Provability Interpretation of
                  Intuitionistic Logic},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {257--272},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Artemov90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Asher90,
  author       = {Nicholas Asher},
  editor       = {Rohit Parikh},
  title        = {Intentional Paradoxes and an Inductive Theory of Propositional Quantification},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {11--28},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Asher90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/FaginHV90,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern and
                  Moshe Y. Vardi},
  editor       = {Rohit Parikh},
  title        = {A Nonstandard Approach to the Logical Omniscience Problem},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {41--55},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/FaginHV90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Geanakoplos90,
  author       = {John Geanakoplos},
  editor       = {Rohit Parikh},
  title        = {Common Knowledge in Economics},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {139--140},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Geanakoplos90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Gilboa90,
  author       = {Itzhak Gilboa},
  editor       = {Rohit Parikh},
  title        = {A Note on the Consistency of Game Theory},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {201--208},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Gilboa90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Ginsberg90,
  author       = {Matthew L. Ginsberg},
  editor       = {Rohit Parikh},
  title        = {Bilattices and Modal Operators},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {273--287},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Ginsberg90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/JainS90,
  author       = {Sanjay Jain and
                  Arun Sharma},
  editor       = {Rohit Parikh},
  title        = {Hypothesis Formation and Language Acquisition with an Infinitely-Often
                  Correct Teacher},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {225--239},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 21 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/JainS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Konolige90,
  author       = {Kurt Konolige},
  editor       = {Rohit Parikh},
  title        = {Nonmonotonic Reasoning},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {1},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Konolige90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Konolige90a,
  author       = {Kurt Konolige},
  editor       = {Rohit Parikh},
  title        = {Explanatory Belief Ascription},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {85--96},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Konolige90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Krasucki90,
  author       = {Paul J. Krasucki},
  editor       = {Rohit Parikh},
  title        = {Reaching Consensus on Decisions},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {141--150},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Krasucki90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/LehmannM90,
  author       = {Daniel Lehmann and
                  Menachem Magidor},
  editor       = {Rohit Parikh},
  title        = {Preferential Logics: the Predicate Calculus Case},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {57--72},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Fri, 09 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/LehmannM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/LinS90,
  author       = {Fangzhen Lin and
                  Yoav Shoham},
  editor       = {Rohit Parikh},
  title        = {Epistemic Semantics for Fixed-Points Non-Monotonic Logics},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {111--120},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/LinS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Lipman90,
  author       = {Barton L. Lipman},
  editor       = {Rohit Parikh},
  title        = {On the Strategic Advantages of a Lack of Common Knowledge},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {209--224},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Lipman90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Mazer90,
  author       = {Murray S. Mazer},
  editor       = {Rohit Parikh},
  title        = {A Link Between Knowledge and Communication in Faulty Distributed Systems},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {289--304},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Mazer90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/MosesN90,
  author       = {Yoram Moses and
                  Gal Nachum},
  editor       = {Rohit Parikh},
  title        = {Agreeing to Disagree After All},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {151--168},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/MosesN90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Parikh90,
  author       = {Rohit Parikh},
  editor       = {Rohit Parikh},
  title        = {Recent Issues in Reasoning about Knowledge},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {3--10},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Parikh90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Pearl90,
  author       = {Judea Pearl},
  editor       = {Rohit Parikh},
  title        = {System {Z:} {A} Natural Ordering of Defaults with Tractable Applications
                  to Nonmonotonic Reasoning},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {121--135},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Pearl90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Shvarts90,
  author       = {Grigori F. Shvarts},
  editor       = {Rohit Parikh},
  title        = {Autoepistemic Modal Logics},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {97--109},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Shvarts90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Skyrms90,
  author       = {Brian Skyrms},
  editor       = {Rohit Parikh},
  title        = {Dynamic Models of Deliberation and the Theory of Games},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {185--200},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Skyrms90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Spaan90,
  author       = {Edith Spaan},
  editor       = {Rohit Parikh},
  title        = {Nexttime is not Necessary},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {241--256},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Spaan90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Stalnaker90,
  author       = {Robert Stalnaker},
  editor       = {Rohit Parikh},
  title        = {Semantics for Conditionals},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {137--138},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Stalnaker90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Thomason90,
  author       = {Richmond H. Thomason},
  editor       = {Rohit Parikh},
  title        = {Propagating Epistemic Coordination Through Mutual Defaults {I}},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {29--39},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Thomason90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/TiomkinK90,
  author       = {Michael L. Tiomkin and
                  Michael Kaminski},
  editor       = {Rohit Parikh},
  title        = {Nonmonotonic Default Modal Logics},
  booktitle    = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages        = {73--83},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/TiomkinK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tark/1990,
  editor       = {Rohit Parikh},
  title        = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1990},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  isbn         = {1-55860-105-8},
  timestamp    = {Thu, 21 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.