Sciweavers

859 search results - page 26 / 172

» Abduction in Temporal Reasoning

24

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 2 months ago

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

Download www.csc.liv.ac.uk

Clare Dixon, Cláudia Nalon, Michael Fisher

claim paper

Read More »

18

TIME
2003
IEEE

105views Automated Reasoning» more TIME 2003»

Temporal Queries in XML Document Archives and Web Warehouses

14 years 2 months ago

Temporal Queries in XML Document Archives and Web Warehouses

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo

claim paper

Read More »

24

TIME
2002
IEEE

118views Automated Reasoning» more TIME 2002»

Performance of Querying Temporal Attributes in Object-Relational Databases

14 years 1 months ago

Performance of Querying Temporal Attributes in Object-Relational Databases

Download www.dbs.uni-hannover.de

Carsten Kleiner, Udo W. Lipeck

claim paper

Read More »

20

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Temporal Views as Abstract Relations

14 years 1 months ago

Temporal Views as Abstract Relations

Download www.cs.man.ac.uk

Allan Ramsay

claim paper

Read More »

17

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

14 years 1 months ago

Introducing Temporal Description Logics

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

« Prev « First page 26 / 172 Last » Next »