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
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
Electronic books
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://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/71630633> ; # Mark A. Reynolds
    schema:contributor <http://viaf.org/viaf/131878722> ; # Murdoch University.
    schema:contributor <http://viaf.org/viaf/146292670> ; # University of Western Australia.
    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 "Electronic books"@en ;
    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:url <https://login.libproxy.uregina.ca:8443/login?url=http://ieeexplore.ieee.org/servlet/opac?punumber=8624> ;
    schema:url <https://proxy.library.carleton.ca/login?url=https://ieeexplore.ieee.org/servlet/opac?punumber=8624> ;
    schema:url <http://0-ieeexplore.ieee.org.emu.londonmet.ac.uk/servlet/opac?punumber=8624> ;
    schema:url <https://ieeexplore.ieee.org/servlet/opac?punumber=8624> ;
    schema:url <http://ezproxy.uis.edu:2048/login?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://0-ieeexplore.ieee.org.emu.londonmet.ac.uk/servlet/opac?punumber=8624>
    rdfs:comment "E-book - Full text from IEEE Xplore (Please do not use Internet Explorer)" ;
    .

<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#Place/cairns_qld> # Cairns, Qld.)
    a schema:Place ;
    schema:name "Cairns, Qld.)" ;
    .

<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/146292670> # University of Western Australia.
    a schema:Organization ;
    schema:name "University of Western Australia." ;
    .

<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://viaf.org/viaf/71630633> # Mark A. Reynolds
    a schema:Person ;
    schema:familyName "Reynolds" ;
    schema:givenName "Mark A." ;
    schema:givenName "Mark" ;
    schema:name "Mark A. Reynolds" ;
    .

<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 "2018-08-10" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://ieeexplore.ieee.org/servlet/opac?punumber=8624>
    rdfs:comment "E-book - Full text from IEEE Xplore (Please do not use Internet Explorer) (available on site only; if working off-site please use MetCat)" ;
    .

<https://login.libproxy.uregina.ca:8443/login?url=http://ieeexplore.ieee.org/servlet/opac?punumber=8624>
    rdfs:comment "Full text available from IEEE/IET Electronic Library (IEL)" ;
    .

<https://proxy.library.carleton.ca/login?url=https://ieeexplore.ieee.org/servlet/opac?punumber=8624>
    rdfs:comment "IEEE Xplore (Access restricted to 50 simultaneous users)" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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