TIME 2003 | Sciweavers

8

click to vote

TIME
2003
IEEE

105views Automated Reasoning» more TIME 2003»

Temporal Queries in XML Document Archives and Web Warehouses

13 years 10 months ago

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo

claim paper

Read More »

8

click to vote

TIME
2003
IEEE

104views Automated Reasoning» more TIME 2003»

A Novel Approach to Model NOW in Temporal Databases

13 years 10 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 »

11

click to vote

TIME
2003
IEEE

92views Automated Reasoning» more TIME 2003»

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

13 years 10 months ago

Download www.csc.liv.ac.uk

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

claim paper

Read More »

15

click to vote

TIME
2003
IEEE

88views Automated Reasoning» more TIME 2003»

A Clausal Resolution Method for Extended Computation Tree Logic ECTL

13 years 10 months ago

Download www2.wmin.ac.uk

Alexander Bolotov

claim paper

Read More »

16

click to vote

TIME
2003
IEEE

116views Automated Reasoning» more TIME 2003»

Hybrid Logics on Linear Structures: Expressivity and Complexity

13 years 10 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 »

14

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

13 years 10 months ago