Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

TIME
1994
IEEE

favoriteEmaildiscussreport

101views Automated Reasoning» more TIME 1994»

A Temporal Structure that Distinguishes between the Past, Present, and Future

13 years 8 months ago

A Temporal Structure that Distinguishes between the Past, Present, and Future

Download www2.cs.uregina.ca

We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our two dimensional structure has over traditional linear temporal structures is the ability to record when knowledge is added or updated. We de ne a rst order logicthathas this structure as its temporal ontology.

André Trudel

Real-time Traffic

Automated Reasoning | Dimensional Structure | Dimensional Temporal Structure | Linear Temporal Structures | TIME 1994 |

claim paper

Related Content

» Model Checking Temporal Metric Specifications with Trio2Promela

» Runtime Monitoring of Metric Firstorder Temporal Properties

» Spatial and Temporal Target Association through Semantic Analysis and GPS Data Mining

» ModelChecking TRIO Specifications in SPIN

» Weblog Mining for Quantitative TemporalEvent Prediction

» MemoryBased Forecasting for Weather Image Patterns

» Matching Partitions over Time to Reliably Capture Local Clusters in Noisy Domains

» Spatial navigation based on novelty mediated autobiographical memory

» The Mereology of Stages and Persistent Entities

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	TIME
Authors	André Trudel

Comments (0)