Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/tark/AsherK86,
  author       = {Nicholas Asher and
                  Johan A. W. Kamp},
  editor       = {Joseph Y. Halpern},
  title        = {The Knower's Paradox and Representational Theories of Attitudes},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {131--147},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Thu, 21 Jun 2018 07:50:24 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/AsherK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Aumann86,
  author       = {Robert J. Aumann},
  editor       = {Joseph Y. Halpern},
  title        = {Reasoning About Knowledge in Economics},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {251},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Aumann86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/DworkM86,
  author       = {Cynthia Dwork and
                  Yoram Moses},
  editor       = {Joseph Y. Halpern},
  title        = {Knowledge and Common Knowledge in a Byzantine Environment {I:} Crash
                  Failures},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {149--169},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/DworkM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/FaginV86,
  author       = {Ronald Fagin and
                  Moshe Y. Vardi},
  editor       = {Joseph Y. Halpern},
  title        = {Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary
                  Report},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {187--206},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/FaginV86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/FischerI86,
  author       = {Michael J. Fischer and
                  Neil Immerman},
  editor       = {Joseph Y. Halpern},
  title        = {Foundations of Knowledge for Distributed Systems},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {171--185},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/FischerI86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Gaifman86,
  author       = {Haim Gaifman},
  editor       = {Joseph Y. Halpern},
  title        = {A Theory of Higher Order Probabilities},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {275--292},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Gaifman86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/GeisslerK86,
  author       = {Christophe Geissler and
                  Kurt Konolige},
  editor       = {Joseph Y. Halpern},
  title        = {A Resolution Method for Quantified Modal Logics of Knowledge and Belief},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {309--324},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/GeisslerK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Halpern86,
  author       = {Joseph Y. Halpern},
  editor       = {Joseph Y. Halpern},
  title        = {Reasoning About Knowledge: An Overview},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {1--17},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Halpern86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Hintikka86,
  author       = {Jaakko Hintikka},
  editor       = {Joseph Y. Halpern},
  title        = {Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic
                  Logic},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {63--80},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Hintikka86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Konolige86,
  author       = {Kurt Konolige},
  editor       = {Joseph Y. Halpern},
  title        = {What Awareness Isn't: {A} Sentential View of Implicit and Explicit
                  Belief},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {241--250},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Konolige86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/LadnerR86,
  author       = {Richard E. Ladner and
                  John H. Reif},
  editor       = {Joseph Y. Halpern},
  title        = {The Logic of Distributed Protocols},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {207--222},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/LadnerR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Lakemeyer86,
  author       = {Gerhard Lakemeyer},
  editor       = {Joseph Y. Halpern},
  title        = {Steps Towards a First-Order Logic of Explicit and Implicit Belief},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {325--340},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Lakemeyer86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Landman86,
  author       = {Fred Landman},
  editor       = {Joseph Y. Halpern},
  title        = {Pegs and Alecs},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {45--61},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Landman86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/MartinsS86,
  author       = {Jo{\~{a}}o P. Martins and
                  Stuart C. Shapiro},
  editor       = {Joseph Y. Halpern},
  title        = {Theoretical Foundations for Belief Revision},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {383--398},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/MartinsS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/McCarthy86,
  author       = {John McCarthy},
  editor       = {Joseph Y. Halpern},
  title        = {Mental Situation Calculus},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {307--308},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Fri, 14 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/McCarthy86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/MegiddoW86,
  author       = {Nimrod Megiddo and
                  Avi Wigderson},
  editor       = {Joseph Y. Halpern},
  title        = {On Play by Means of Computing Machines},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {259--274},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/MegiddoW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Micali86,
  author       = {Silvio Micali},
  editor       = {Joseph Y. Halpern},
  title        = {Knowledge and Efficient Computation},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {353--362},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Micali86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/MitchellO86,
  author       = {John C. Mitchell and
                  Michael J. O'Donnell},
  editor       = {Joseph Y. Halpern},
  title        = {Realisability Semantics for Error-Tolerant Logics},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {363--382},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/MitchellO86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Moore86,
  author       = {Robert C. Moore},
  editor       = {Joseph Y. Halpern},
  title        = {Reasoning About Knowledge in Artificial Intelligence},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {81},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Moore86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Morgenstern86,
  author       = {Leora Morgenstern},
  editor       = {Joseph Y. Halpern},
  title        = {A First Order Theory of Planning, Knowledge, and Action},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {99--114},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Morgenstern86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/PlotkinS86,
  author       = {Gordon D. Plotkin and
                  Colin Stirling},
  editor       = {Joseph Y. Halpern},
  title        = {A Framework for Intuitionistic Modal Logics},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {399--406},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/PlotkinS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/RivieresL86,
  author       = {Jim des Rivi{\`{e}}res and
                  Hector J. Levesque},
  editor       = {Joseph Y. Halpern},
  title        = {The Consistency of Syntactical Treatments of Knowledge},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {115--130},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/RivieresL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/RosenscheinK86,
  author       = {Stanley J. Rosenschein and
                  Leslie Pack Kaelbling},
  editor       = {Joseph Y. Halpern},
  title        = {The Synthesis of Digital Machines With Provable Epistemic Properties},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {83--98},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/RosenscheinK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Smith86,
  author       = {Brian Cantwell Smith},
  editor       = {Joseph Y. Halpern},
  title        = {Varieties of Self-Reference},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {19--43},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Smith86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Smullyan86,
  author       = {Raymond M. Smullyan},
  editor       = {Joseph Y. Halpern},
  title        = {Logicians Who Reason About Themselves},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {341--352},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Smullyan86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/StalnakerKKLT86,
  author       = {Robert Stalnaker and
                  Hans Kamp and
                  Kurt Konolige and
                  Hector J. Levesque and
                  Richmond H. Thomason},
  editor       = {Joseph Y. Halpern},
  title        = {Panel: Objects of Knowledge and Belief: Sentences vs. Propositions?},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {223},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 06 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/StalnakerKKLT86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/TanW86,
  author       = {Tommy Chin{-}Chiu Tan and
                  S{\'{e}}rgio Ribeiro da Costa Werlang},
  editor       = {Joseph Y. Halpern},
  title        = {Summary of "On Aumann's Notion of Common Knowledge-An Alternative
                  Approach"},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {253--258},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/TanW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Thomason86,
  author       = {Richmond H. Thomason},
  editor       = {Joseph Y. Halpern},
  title        = {Paradoxes and Semantic Representation},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {225--239},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Thomason86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tark/Vardi86,
  author       = {Moshe Y. Vardi},
  editor       = {Joseph Y. Halpern},
  title        = {On Epistemic Logic and Logical Omniscience},
  booktitle    = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  pages        = {293--305},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/Vardi86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tark/1986,
  editor       = {Joseph Y. Halpern},
  title        = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1986},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  isbn         = {0-934613-04-4},
  timestamp    = {Thu, 21 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/1986.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.