skip to content
Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California Preview this item
ClosePreview this item
Checking...

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

Author: Joseph Y Halpern; International Business Machines Corporation.; American Association for Artificial Intelligence.; United States. Office of Naval Research.; Association for Computing Machinery.
Publisher: Los Altos, Calif. : M. Kaufmann Publishers, ©1986.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
Theoretical aspects of reasoning about knowledge.
Los Altos, Calif. : M. Kaufmann Publishers, ©1986
(DLC) 86002755
(OCoLC)13184640
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Joseph Y Halpern; International Business Machines Corporation.; American Association for Artificial Intelligence.; United States. Office of Naval Research.; Association for Computing Machinery.
ISBN: 9780934613040 0934613044
OCLC Number: 562190018
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (vii, 407 pages)
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Other Titles: Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge.
TARK '86
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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/562190018> # Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "562190018" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3855448661#Place/los_altos_calif> ; # Los Altos, Calif.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/3855448661#CreativeWork/proceedings_of_the_1986_conference_on_theoretical_aspects_of_reasoning_about_knowledge> ; # Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge.
    schema:about <http://id.worldcat.org/fast/988194> ; # Knowledge, Theory of
    schema:about <http://experiment.worldcat.org/entity/work/data/3855448661#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/3855448661#Topic/reasoning> ; # Reasoning
    schema:about <http://experiment.worldcat.org/entity/work/data/3855448661#Topic/intelligence_artificielle> ; # Intelligence artificielle
    schema:about <http://experiment.worldcat.org/entity/work/data/3855448661#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/3855448661#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://id.worldcat.org/fast/1091282> ; # Reasoning
    schema:about <http://experiment.worldcat.org/entity/work/data/3855448661#Topic/knowledge_theory_of> ; # Knowledge, Theory of
    schema:about <http://dewey.info/class/006.3/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3855448661#Topic/raisonnement> ; # Raisonnement
    schema:about <http://experiment.worldcat.org/entity/work/data/3855448661#Topic/connaissance_theorie_de_la> ; # Connaissance, Théorie de la
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/3855448661#Topic/computers_general> ; # COMPUTERS--General
    schema:alternateName "TARK '86" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/133611413> ; # Association for Computing Machinery.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3855448661#Organization/international_business_machines_corporation> ; # International Business Machines Corporation.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3855448661#Person/halpern_joseph_y_1953> ; # Joseph Y. Halpern
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3855448661#Organization/american_association_for_artificial_intelligence> ; # American Association for Artificial Intelligence.
    schema:contributor <http://viaf.org/viaf/139500419> ; # United States. Office of Naval Research.
    schema:copyrightYear "1986" ;
    schema:datePublished "1986" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3855448661> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/13184640> ;
    schema:name "Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California"@en ;
    schema:productID "562190018" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/562190018#PublicationEvent/los_altos_calif_m_kaufmann_publishers_1986> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3855448661#Agent/m_kaufmann_publishers> ; # M. Kaufmann Publishers
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1901458> ;
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/13184640.html> ;
    schema:url <http://www.sciencedirect.com/science/book/9780934613040> ;
    schema:url <http://portal.acm.org/toc.cfm?id=1029786> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=931439> ;
    schema:url <http://books.google.com/books?id=pIlQAAAAMAAJ> ;
    schema:url <http://site.ebrary.com/id/11003949> ;
    schema:workExample <http://worldcat.org/isbn/9780934613040> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/562190018> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3855448661#Agent/m_kaufmann_publishers> # M. Kaufmann Publishers
    a bgn:Agent ;
    schema:name "M. Kaufmann Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855448661#CreativeWork/proceedings_of_the_1986_conference_on_theoretical_aspects_of_reasoning_about_knowledge> # Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge.
    a schema:CreativeWork ;
    schema:name "Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge." ;
    .

<http://experiment.worldcat.org/entity/work/data/3855448661#Organization/american_association_for_artificial_intelligence> # American Association for Artificial Intelligence.
    a schema:Organization ;
    schema:name "American Association for Artificial Intelligence." ;
    .

<http://experiment.worldcat.org/entity/work/data/3855448661#Organization/international_business_machines_corporation> # International Business Machines Corporation.
    a schema:Organization ;
    schema:name "International Business Machines Corporation." ;
    .

<http://experiment.worldcat.org/entity/work/data/3855448661#Person/halpern_joseph_y_1953> # Joseph Y. Halpern
    a schema:Person ;
    schema:birthDate "1953" ;
    schema:familyName "Halpern" ;
    schema:givenName "Joseph Y." ;
    schema:name "Joseph Y. Halpern" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855448661#Place/los_altos_calif> # Los Altos, Calif.
    a schema:Place ;
    schema:name "Los Altos, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/3855448661#Topic/computers_general> # COMPUTERS--General
    a schema:Intangible ;
    schema:name "COMPUTERS--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3855448661#Topic/connaissance_theorie_de_la> # Connaissance, Théorie de la
    a schema:Intangible ;
    schema:name "Connaissance, Théorie de la"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3855448661#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
    schema:name "Intelligence artificielle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3855448661#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1091282> # Reasoning
    a schema:Intangible ;
    schema:name "Reasoning"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/988194> # Knowledge, Theory of
    a schema:Intangible ;
    schema:name "Knowledge, Theory of"@en ;
    .

<http://viaf.org/viaf/133611413> # Association for Computing Machinery.
    a schema:Organization ;
    schema:name "Association for Computing Machinery." ;
    .

<http://viaf.org/viaf/139500419> # United States. Office of Naval Research.
    a schema:Organization ;
    schema:name "United States. Office of Naval Research." ;
    .

<http://worldcat.org/isbn/9780934613040>
    a schema:ProductModel ;
    schema:isbn "0934613044" ;
    schema:isbn "9780934613040" ;
    .

<http://www.worldcat.org/oclc/13184640>
    a schema:CreativeWork ;
    rdfs:label "Theoretical aspects of reasoning about knowledge." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/562190018> ; # Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
    .

<http://www.worldcat.org/title/-/oclc/562190018>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/562190018> ; # Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
    schema:dateModified "2016-11-28" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.