skip to content
Temporal reasoning and default logics Preview this item
ClosePreview this item
Checking...

Temporal reasoning and default logics

Author: Steve Hanks; Drew V McDermott
Publisher: New Haven, Conn. : Yale University, Dept. of Computer Science, 1985.
Series: Yale University.; Department of Computer Science.; Research report
Edition/Format:   Print book : 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

Document Type: Book
All Authors / Contributors: Steve Hanks; Drew V McDermott
OCLC Number: 17658245
Description: 118 pages ; 28 cm.
Series Title: Yale University.; Department of Computer Science.; Research report
Responsibility: Steve Hanks and Drew McDermott.

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/17658245> # Temporal reasoning and default logics
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "17658245" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ctu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/137365016#Place/new_haven_conn> ; # New Haven, Conn.
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/989718> ; # LISP (Computer program language)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/212447351> ; # Drew V. McDermott
    schema:creator <http://viaf.org/viaf/68523137> ; # Steve Hanks
    schema:datePublished "1985" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/137365016> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/137365016#Series/research_report_yale_university_dept_of_computer_science> ; # Research report. Yale University. Dept. of Computer Science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/137365016#Series/research_report> ; # Research report ;
    schema:name "Temporal reasoning and default logics"@en ;
    schema:productID "17658245" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/17658245#PublicationEvent/new_haven_conn_yale_university_dept_of_computer_science_1985> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/137365016#Agent/yale_university_dept_of_computer_science> ; # Yale University, Dept. of Computer Science
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/17658245> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/137365016#Agent/yale_university_dept_of_computer_science> # Yale University, Dept. of Computer Science
    a bgn:Agent ;
    schema:name "Yale University, Dept. of Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/137365016#Organization/yale_university_department_of_computer_science> # Yale University. Department of Computer Science.
    a schema:Organization ;
    schema:name "Yale University. Department of Computer Science." ;
    .

<http://experiment.worldcat.org/entity/work/data/137365016#Place/new_haven_conn> # New Haven, Conn.
    a schema:Place ;
    schema:name "New Haven, Conn." ;
    .

<http://experiment.worldcat.org/entity/work/data/137365016#Series/research_report_yale_university_dept_of_computer_science> # Research report. Yale University. Dept. of Computer Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/17658245> ; # Temporal reasoning and default logics
    schema:name "Research report. Yale University. Dept. of Computer Science ;" ;
    .

<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/989718> # LISP (Computer program language)
    a schema:Intangible ;
    schema:name "LISP (Computer program language)"@en ;
    .

<http://viaf.org/viaf/212447351> # Drew V. McDermott
    a schema:Person ;
    schema:familyName "McDermott" ;
    schema:givenName "Drew V." ;
    schema:name "Drew V. McDermott" ;
    .

<http://viaf.org/viaf/68523137> # Steve Hanks
    a schema:Person ;
    schema:familyName "Hanks" ;
    schema:givenName "Steve" ;
    schema:name "Steve Hanks" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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