Searching...
Advanced Search
Table of Contents
Login to access your subscribed content
Sixth International Workshop on Temporal Representation and Reasoning
ISBN: 0-7695-0173-7
Orlando, Florida May 01-May 02
Subscribe to this Publication
RSS feed for this Publication
This Publication
Digital Library
Advanced Search
Foreword
pp. vii
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Conference Organization
pp. viii
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Invited Talks
Introducing Temporal Description Logics
Alessandro Artale
, UMIST
Enrico Franconi
, University of Manchester
pp. 2
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Visual Verification of Temporal Properties
Zohar Manna
, Stanford University
pp. 6
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Full Papers
A System for Reasoning with Nonconvex Intervals
Michael J. Almeida
, University of Maryland Eastern Shore
pp. 8
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Symbolic Representation of User-Defined Time Granularities
Claudio Bettini
, University of Milan
Roberto de Sibi
, University of Milan
pp. 17
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data
Shubha Chakravarty
, Stanford University
Yuval Shahar
, Stanford University
pp. 29
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
A Geometric Framework for Specifying Spatiotemporal Objects
Jan Chomicki
, Monmouth University
Peter Z. Revesz
, University of Nebraska at Lincoln
pp. 41
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner
Patrick Doherty
, Link?ping University
Jonas Kvarnström
, Link?ping University
pp. 47
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus
Massimo Franceschet
Angelo Montanari
pp. 55
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Generating Scenarios for Periodic Events with Binary Constraints
Lina Khatib
, Florida Institute of Technology
Robert A. Morris
, Florida Institute of Technology
pp. 67
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
A Temporal Object-Oriented Data Model with Multiple Granularities
Isabella Merlo
, Universita' di Genova
Giovanna Guerrini
, Universita' di Genova
Elisa Bertino
, Universita' degli Studi di Milano
Elena Ferrari
, Universita' degli Studi di Milano
pp. 73
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Optimization in Constraint Reasoning about Repeating Events
Robert A. Morris
, Florida Institute of Technology
Lina Khatib
, Florida Institute of Technology
pp. 82
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Study and Comparison of Schema Versioning and Database Conversion Techniques for Bi-Temporal Databases
Han-Chieh Wei
, The University of Texas at Arlington
Ramez Elmasri
, The University of Texas at Arlington
pp. 88
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Short Paper
A Temporal Relational Algebra Based on Multiple Time-Lines
Mehmet A. Orgun
, Macquarie University
pp. 100
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Author Index
pp. 106
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Sponsored Whitepaper
11 Best Practices
for Peer Code Review
