Coverart for item
The Resource Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California, edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California, edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery

Label
Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
Title
Theoretical aspects of reasoning about knowledge
Title remainder
proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
Statement of responsibility
edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery
Title variation
TARK '86
Contributor
Subject
Genre
Language
eng
Related
Cataloging source
DLC
Index
index present
LC call number
Q334
LC item number
.T47 1986
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1953-
http://library.link/vocab/relatedWorkOrContributorName
  • International Business Machines Corporation
  • American Association for Artificial Intelligence
  • United States
  • Association for Computing Machinery
  • Halpern, Joseph Y.
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Knowledge, Theory of
  • Logic, Symbolic and mathematical
  • Reasoning
  • Epistemic logic
  • Intelligence artificielle
  • Connaissance, Théorie de la
  • Logique symbolique et mathématique
  • Raisonnement
  • Artificial intelligence
  • Epistemic logic
  • Knowledge, Theory of
  • Logic, Symbolic and mathematical
  • Reasoning
Label
Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California, edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery
Link
https://archive.org/details/theoreticalaspec00halp
Instantiates
Publication
Bibliography note
Includes bibliographies and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Session 1. Reasoning about knowledge: an overview / Joseph Y. Halpern. Varieties of self-reference / B. Smith. Pegs and alecs / F. Landman -- Session 2. Reasoning about knowledge in philosophy: the paradigm of epistemic logic / J. Hintikka -- Session 3. Reasoning about knowledge in artificial intelligence (invited talk--abstract only) / R. Moore. The synthesis of digital machines with provable epistemic properties / S. Rosenschein, L. Kaelbling. A first order theory of planning, knowledge, and action / L. Morgenstern. The consistency of syntactical treatments of knowledge / J. des Rivières, H. Levesque. The knower's paradox and representational theories of attitudes / N. Asher, J. Kamp -- Session 4. Knowledge and common knowledge in a byzantine environment I: crash failures / C. Dwork and Y. Moses. Foundations of knowledge for distributed systems / M. Fischer, N. Immerman. Knowledge and implicit knowledge in a distributed environment: preliminary report / R. Fagin and M. Vardi. The logic of distributed protocols: preliminary report / R. Ladner, J. Reif -- Session 5. Panel: objects of knowledge and belief: sentences vs. propositions? (abstract only). Paradoxes and semantic representation (position paper) / R. Thomason. What awareness isn't: a sentential view of implicit and explicit belief (position paper) / K. Konolige -- Session 6. Reasoning about knowledge in economics / R. Aumann. Summary of "on Aumann's notion of common knowledge": "an alternative approach" / T. Tan, S. Werlang. On play by means of computing machines (preliminary version) / N. Megiddo and A. Wigderson. A theory of higher order probabilities / H. Gaifman. On epistemic logic and logical omniscience / M. Vardi -- Session 7. Mental situation calculus / J. McCarthy. A resolution method for quantified modal logics of knowledge and belief / C. Geissler and K. Konolige. Steps towards a first-order logic of explicit and implicit belief / G. Lakemeyer. Logicians who reason about themselves / R. Smullyan -- Session 9. Knowledge and efficient computation / S. Micali. Realizability semantics for error-tolerant logics: preliminary version / J. Mitchell and M. O'Donnell. Theoretical foundations for belief revision / J. Martins, S. Shapiro. A framework for intuitionistic modal logics: extended abstract / G. Plotkin and C. Stirling
Dimensions
28 cm
Dimensions
unknown
Extent
vii, 407 pages
Isbn
9780934613040
Isbn Type
(pbk.)
Lccn
86002755
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)13184640
  • (OCoLC)ocm13184640
Label
Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California, edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery
Link
https://archive.org/details/theoreticalaspec00halp
Publication
Bibliography note
Includes bibliographies and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Session 1. Reasoning about knowledge: an overview / Joseph Y. Halpern. Varieties of self-reference / B. Smith. Pegs and alecs / F. Landman -- Session 2. Reasoning about knowledge in philosophy: the paradigm of epistemic logic / J. Hintikka -- Session 3. Reasoning about knowledge in artificial intelligence (invited talk--abstract only) / R. Moore. The synthesis of digital machines with provable epistemic properties / S. Rosenschein, L. Kaelbling. A first order theory of planning, knowledge, and action / L. Morgenstern. The consistency of syntactical treatments of knowledge / J. des Rivières, H. Levesque. The knower's paradox and representational theories of attitudes / N. Asher, J. Kamp -- Session 4. Knowledge and common knowledge in a byzantine environment I: crash failures / C. Dwork and Y. Moses. Foundations of knowledge for distributed systems / M. Fischer, N. Immerman. Knowledge and implicit knowledge in a distributed environment: preliminary report / R. Fagin and M. Vardi. The logic of distributed protocols: preliminary report / R. Ladner, J. Reif -- Session 5. Panel: objects of knowledge and belief: sentences vs. propositions? (abstract only). Paradoxes and semantic representation (position paper) / R. Thomason. What awareness isn't: a sentential view of implicit and explicit belief (position paper) / K. Konolige -- Session 6. Reasoning about knowledge in economics / R. Aumann. Summary of "on Aumann's notion of common knowledge": "an alternative approach" / T. Tan, S. Werlang. On play by means of computing machines (preliminary version) / N. Megiddo and A. Wigderson. A theory of higher order probabilities / H. Gaifman. On epistemic logic and logical omniscience / M. Vardi -- Session 7. Mental situation calculus / J. McCarthy. A resolution method for quantified modal logics of knowledge and belief / C. Geissler and K. Konolige. Steps towards a first-order logic of explicit and implicit belief / G. Lakemeyer. Logicians who reason about themselves / R. Smullyan -- Session 9. Knowledge and efficient computation / S. Micali. Realizability semantics for error-tolerant logics: preliminary version / J. Mitchell and M. O'Donnell. Theoretical foundations for belief revision / J. Martins, S. Shapiro. A framework for intuitionistic modal logics: extended abstract / G. Plotkin and C. Stirling
Dimensions
28 cm
Dimensions
unknown
Extent
vii, 407 pages
Isbn
9780934613040
Isbn Type
(pbk.)
Lccn
86002755
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)13184640
  • (OCoLC)ocm13184640

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...