The Resource Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999, editors, Clare Dixon and Michael Fisher ; sponsored by Florida Artificial Intelligence Research Society, Manchester Metropolitan University, UK, University of Regina, Canada

Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999, editors, Clare Dixon and Michael Fisher ; sponsored by Florida Artificial Intelligence Research Society, Manchester Metropolitan University, UK, University of Regina, Canada

Label
Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999
Title
Sixth International Workshop on Temporal Representation and Reasoning, TIME-99
Title remainder
proceedings, Orlando, Florida, May 1-2, 1999
Statement of responsibility
editors, Clare Dixon and Michael Fisher ; sponsored by Florida Artificial Intelligence Research Society, Manchester Metropolitan University, UK, University of Regina, Canada
Creator
Contributor
Subject
Genre
Language
eng
Member of
Action
digitized
Cataloging source
OCLCE
Dewey number
006.3/33
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA76.9.D3
LC item number
I597 1999
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1999
http://bibfra.me/vocab/lite/meetingName
International Workshop on Temporal Representation and Reasoning
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1962-
http://library.link/vocab/relatedWorkOrContributorName
  • Dixon, Clare
  • Fisher, Michael
  • Florida Artificial Intelligence Research Society
  • Manchester Metropolitan University
  • University of Regina
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Reasoning
  • Time
  • Temporal databases
  • Artificial intelligence
  • Reasoning
  • Temporal databases
  • Time
Label
Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999, editors, Clare Dixon and Michael Fisher ; sponsored by Florida Artificial Intelligence Research Society, Manchester Metropolitan University, UK, University of Regina, Canada
Instantiates
Publication
Copyright
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • Introducing Temporal Description Logics
  • A Temporal Object-Oriented Data Model with Multiple Granularities
  • I. Merlo, E. Bertino and E. Ferrari
  • [and others]
  • 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
Control code
682184089
Dimensions
unknown
Extent
1 online resource (ix, 106 pages)
Form of item
online
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)682184089
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Sixth International Workshop on Temporal Representation and Reasoning, TIME-99 : proceedings, Orlando, Florida, May 1-2, 1999, editors, Clare Dixon and Michael Fisher ; sponsored by Florida Artificial Intelligence Research Society, Manchester Metropolitan University, UK, University of Regina, Canada
Publication
Copyright
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • Introducing Temporal Description Logics
  • A Temporal Object-Oriented Data Model with Multiple Granularities
  • I. Merlo, E. Bertino and E. Ferrari
  • [and others]
  • 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
Control code
682184089
Dimensions
unknown
Extent
1 online resource (ix, 106 pages)
Form of item
online
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)682184089
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...