TIME 2003 | Sciweavers

31

click to vote

TIME
2003
IEEE

105views Automated Reasoning» more TIME 2003»

Temporal Queries in XML Document Archives and Web Warehouses

14 years 8 months ago

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo

claim paper

Read More »

38

click to vote

TIME
2003
IEEE

104views Automated Reasoning» more TIME 2003»

A Novel Approach to Model NOW in Temporal Databases

14 years 8 months ago

Download www.int.gu.edu.au

In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...

Bela Stantic, John Thornton, Abdul Sattar

claim paper

Read More »

39

click to vote

TIME
2003
IEEE

92views Automated Reasoning» more TIME 2003»

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

14 years 8 months ago

Download www.csc.liv.ac.uk

Boris Konev, Anatoli Degtyarev, Clare Dixon, Micha...

claim paper

Read More »

41

click to vote

TIME
2003
IEEE

88views Automated Reasoning» more TIME 2003»

A Clausal Resolution Method for Extended Computation Tree Logic ECTL

14 years 8 months ago

Download www2.wmin.ac.uk

Alexander Bolotov

claim paper

Read More »

58

click to vote

TIME
2003
IEEE

116views Automated Reasoning» more TIME 2003»

Hybrid Logics on Linear Structures: Expressivity and Complexity

14 years 8 months ago

Download remote.science.uva.nl

We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain ﬁrst-order features which are algo...

Massimo Franceschet, Maarten de Rijke, Bernd-Holge...

claim paper

Read More »

36

click to vote

TIME
2003
IEEE

81views Automated Reasoning» more TIME 2003»

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

14 years 8 months ago