skip to content
TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning : and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia Preview this item
ClosePreview this item
Checking...

TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning : and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia

Author: Mark Reynolds; Abdul Sattar; Murdoch University.; Griffith University.; University of Western Australia.
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, ©2003.
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 online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Mark Reynolds; Abdul Sattar; Murdoch University.; Griffith University.; University of Western Australia.
ISBN: 0769519121 9780769519128
OCLC Number: 53218020
Notes: "IEEE Computer Society Order Number PR01912"--Title page verso.
Some previous conferences entitled: International Workshop on Temporal Representation and Reasoning.
Description: 1 online resource (xi, 223 pages) : illustrations
Other Titles: Temporal representation and reasoning
Temporal logic
10th International Symposium on Temporal Representation and Reasoning
International Workshop on Temporal Representation and Reasoning
Responsibility: sponsored by Murdoch University, Griffith University, University of Western Australia ; edited by Mark Reynolds and Abdul Sattar.

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/53218020> # TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning : and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "53218020" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/10864439#Place/los_alamitos_calif> ; # Los Alamitos, Calif.
   schema:about <http://id.loc.gov/authorities/subjects/sh93000041> ; # Temporal databases
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/10864439#Topic/time> ; # Time
   schema:about <http://id.worldcat.org/fast/1151043> ; # Time
   schema:about <http://id.worldcat.org/fast/1147471> ; # Temporal databases
   schema:about <http://experiment.worldcat.org/entity/work/data/10864439#Topic/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/1091282> ; # Reasoning
   schema:about <http://experiment.worldcat.org/entity/work/data/10864439#Topic/reasoning> ; # Reasoning
   schema:about <http://dewey.info/class/006.3/e22/> ;
   schema:alternateName "International Workshop on Temporal Representation and Reasoning" ;
   schema:alternateName "Temporal representation and reasoning" ;
   schema:alternateName "10th International Symposium on Temporal Representation and Reasoning" ;
   schema:alternateName "Temporal logic" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/10864439#Organization/university_of_western_australia> ; # University of Western Australia.
   schema:contributor <http://viaf.org/viaf/292729705> ; # Abdul Sattar
   schema:contributor <http://viaf.org/viaf/147727447> ; # Griffith University.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/10864439#Meeting/international_conference_on_temporal_logic_4th_2003_cairns_qld> ; # International Conference on Temporal Logic (4th : 2003 : Cairns, Qld.)
   schema:contributor <http://viaf.org/viaf/131878722> ; # Murdoch University.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/10864439#Person/reynolds_mark_mark_a> ; # Mark A. Reynolds
   schema:copyrightYear "2003" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/10864439#Meeting/international_symposium_on_temporal_representation_and_reasoning_10th_2003_cairns_qld> ; # International Symposium on Temporal Representation and Reasoning (10th : 2003 : Cairns, Qld.)
   schema:datePublished "2003" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/10864439> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:name "TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning : and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia"@en ;
   schema:productID "53218020" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/53218020#PublicationEvent/los_alamitos_calif_ieee_computer_society_press_2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/10864439#Agent/ieee_computer_society_press> ; # IEEE Computer Society Press
   schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=8624> ;
   schema:workExample <http://worldcat.org/isbn/9780769519128> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/53218020> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/10864439#Agent/ieee_computer_society_press> # IEEE Computer Society Press
    a bgn:Agent ;
   schema:name "IEEE Computer Society Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/10864439#Meeting/international_conference_on_temporal_logic_4th_2003_cairns_qld> # International Conference on Temporal Logic (4th : 2003 : Cairns, Qld.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/10864439#Place/cairns_qld> ; # Cairns, Qld.)
   schema:name "International Conference on Temporal Logic (4th : 2003 : Cairns, Qld.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/10864439#Meeting/international_symposium_on_temporal_representation_and_reasoning_10th_2003_cairns_qld> # International Symposium on Temporal Representation and Reasoning (10th : 2003 : Cairns, Qld.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/10864439#Place/cairns_qld> ; # Cairns, Qld.)
   schema:name "International Symposium on Temporal Representation and Reasoning (10th : 2003 : Cairns, Qld.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/10864439#Organization/university_of_western_australia> # University of Western Australia.
    a schema:Organization ;
   schema:name "University of Western Australia." ;
    .

<http://experiment.worldcat.org/entity/work/data/10864439#Person/reynolds_mark_mark_a> # Mark A. Reynolds
    a schema:Person ;
   schema:familyName "Reynolds" ;
   schema:givenName "Mark A." ;
   schema:givenName "Mark" ;
   schema:name "Mark A. Reynolds" ;
    .

<http://experiment.worldcat.org/entity/work/data/10864439#Place/los_alamitos_calif> # Los Alamitos, Calif.
    a schema:Place ;
   schema:name "Los Alamitos, Calif." ;
    .

<http://id.loc.gov/authorities/subjects/sh93000041> # Temporal databases
    a schema:Intangible ;
   schema:name "Temporal databases"@en ;
    .

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

<http://id.worldcat.org/fast/1147471> # Temporal databases
    a schema:Intangible ;
   schema:name "Temporal databases"@en ;
    .

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

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

<http://viaf.org/viaf/131878722> # Murdoch University.
    a schema:Organization ;
   schema:name "Murdoch University." ;
    .

<http://viaf.org/viaf/147727447> # Griffith University.
    a schema:Organization ;
   schema:name "Griffith University." ;
    .

<http://viaf.org/viaf/292729705> # Abdul Sattar
    a schema:Person ;
   schema:birthDate "1957" ;
   schema:familyName "Sattar" ;
   schema:givenName "Abdul" ;
   schema:name "Abdul Sattar" ;
    .

<http://worldcat.org/isbn/9780769519128>
    a schema:ProductModel ;
   schema:isbn "0769519121" ;
   schema:isbn "9780769519128" ;
    .

<http://www.worldcat.org/title/-/oclc/53218020>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/53218020> ; # TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning : and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia
   schema:dateModified "2016-05-12" ;
   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.