skip to content
Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999 Preview this item
ClosePreview this item
Checking...

Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999

Author: Clare Dixon; Michael Fisher; Florida Artificial Intelligence Research Society.; Manchester Metropolitan University.; University of Regina.
Publisher: Los Alamitos, Calif. : IEEE Computer Society, ©1999.
Edition/Format:   Book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Presents papers from a May 1999 workshop, bringing together research in diverse fields such as temporal and spatiotemporal databases, temporal logic, and spatiotemporal reasoning, as well as related  Read more...

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 proceedings
Congresses
Additional Physical Format: Online version:
International Workshop on Temporal Representation and Reasoning (6th : 1999 : Orlando, Fla.)
Sixth International Workshop on Temporal Representation and Reasoning, TIME-99.
Los Alamitos, Calif. : IEEE Computer Society, c1999
(OCoLC)682184089
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Clare Dixon; Michael Fisher; Florida Artificial Intelligence Research Society.; Manchester Metropolitan University.; University of Regina.
ISBN: 0769501737 9780769501734 0769501753 9780769501758
OCLC Number: 42888170
Description: ix, 106 p. : ill. ; 28 cm.
Contents: Introducing Temporal Description Logics / A. Artale and E. Franconi --
Visual Verification of Temporal Properties / Z. Manna --
A System for Reasoning with Nonconvex Intervals / M. Almeida --
Symbolic Representation of User-Defined Time Granularities / C. Bettini and R. De Sibi --
A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data / S. Chakravarty and Y. Shahar --
A Geometric Framework for Specifying Spatiotemporal Objects / J. Chomicki and P. Revesz --
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner / P. Doherty and J. Kvarnstrom --
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus / M. Franceschet and A. Montanari --
Generating Scenarios for Periodic Events with Binary Constraints / L. Khatib and R. Morris --
A Temporal Object-Oriented Data Model with Multiple Granularities / I. Merlo, E. Bertino and E. Ferrari / ... [et al.].
Responsibility: editors, Clare Dixon and Michael Fisher ; sponsored by Florida Artificial Intelligence Research Society, Manchester Metropolitan University, UK, University of Regina, Canada.

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


<http://www.worldcat.org/oclc/42888170>
library:oclcnum"42888170"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/42888170>
rdf:typeschema:Book
schema:about
<http://id.worldcat.org/fast/817247>
rdf:typeschema:Intangible
schema:name"Artificial intelligence."@en
schema:name"Artificial intelligence"@en
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
<http://viaf.org/viaf/124641225>
rdf:typeschema:Organization
schema:name"Florida Artificial Intelligence Research Society."
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"1999"
schema:creator
schema:datePublished"1999"
schema:exampleOfWork<http://worldcat.org/entity/work/id/37167598>
schema:genre"Conference proceedings"@en
schema:genre"Conference proceedings."@en
schema:inLanguage"en"
schema:name"Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999"@en
schema:numberOfPages"106"
schema:publisher
schema:url
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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