The SCEAS System
Navigation Menu

Conferences in DBLP

Theoretical Aspects of Rationality and Knowledge (tark)
1986 (conf/tark/1986)

  1. Joseph Y. Halpern
    Reasoning About Knowledge: An Overview. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:1-17 [Conf]
  2. Brian Cantwell Smith
    Varieties of Self-Reference. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:19-43 [Conf]
  3. Fred Landman
    Pegs and Alecs. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:45-61 [Conf]
  4. Jaakko Hintikka
    Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:63-80 [Conf]
  5. Robert C. Moore
    Reasoning About Knowledge in Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:81- [Conf]
  6. Stanley J. Rosenschein, Leslie Pack Kaelbling
    The Synthesis of Digital Machines With Provable Epistemic Properties. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:83-98 [Conf]
  7. Leora Morgenstern
    A First Order Theory of Planning, Knowledge, and Action. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:99-114 [Conf]
  8. Jim des Rivières, Hector J. Levesque
    The Consistency of Syntactical Treatments of Knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:115-130 [Conf]
  9. Nicholas Asher, Johan A. W. Kamp
    The Knower's Paradox and Representational Theories of Attitudes. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:131-147 [Conf]
  10. Cynthia Dwork, Yoram Moses
    Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:149-169 [Conf]
  11. Michael J. Fischer, Neil Immerman
    Foundations of Knowledge for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:171-185 [Conf]
  12. Ronald Fagin, Moshe Y. Vardi
    Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:187-206 [Conf]
  13. Richard E. Ladner, John H. Reif
    The Logic of Distributed Protocols. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:207-222 [Conf]
  14. Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason
    Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:223- [Conf]
  15. Richmond H. Thomason
    Paradoxes and Semantic Representation. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:225-239 [Conf]
  16. Kurt Konolige
    What Awareness Isn't: A Sentential View of Implicit and Explicit Belief. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:241-250 [Conf]
  17. Robert J. Aumann
    Reasoning About Knowledge in Economics. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:251- [Conf]
  18. Tommy Chin-Chiu Tan, Sérgio Ribeiro da Costa Werlang
    Summary of "On Aumann's Notion of Common Knowledge-An Alternative Approach". [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:253-258 [Conf]
  19. Nimrod Megiddo, Avi Wigderson
    On Play by Means of Computing Machines. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:259-274 [Conf]
  20. Haim Gaifman
    A Theory of Higher Order Probabilities. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:275-292 [Conf]
  21. Moshe Y. Vardi
    On Epistemic Logic and Logical Omniscience. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:293-305 [Conf]
  22. John McCarthy
    Mental Situation Calculus. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:307-308 [Conf]
  23. Christophe Geissler, Kurt Konolige
    A Resolution Method for Quantified Modal Logics of Knowledge and Belief. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:309-324 [Conf]
  24. Gerhard Lakemeyer
    Steps Towards a First-Order Logic of Explicit and Implicit Belief. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:325-340 [Conf]
  25. Raymond M. Smullyan
    Logicians Who Reason About Themselves. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:341-352 [Conf]
  26. Silvio Micali
    Knowledge and Efficient Computation. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:353-362 [Conf]
  27. John C. Mitchell, Michael J. O'Donnell
    Realisability Semantics for Error-Tolerant Logics. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:363-382 [Conf]
  28. João P. Martins, Stuart C. Shapiro
    Theoretical Foundations for Belief Revision. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:383-398 [Conf]
  29. Gordon D. Plotkin, Colin Stirling
    A Framework for Intuitionistic Modal Logics. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:399-406 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002