Sciweavers

2585 search results - page 43 / 517

» Automating Coherent Logic

27

TIME
2006
IEEE

81views Automated Reasoning» more TIME 2006»

From Language to Time: A Temporal Expression Anchorer

14 years 3 months ago

From Language to Time: A Temporal Expression Anchorer

Download www.cs.cmu.edu

Benjamin Han, Donna Gates, Lori S. Levin

claim paper

Read More »

24

TIME
2005
IEEE

132views Automated Reasoning» more TIME 2005»

Temporal XML? SQL Strikes Back!

14 years 3 months ago

Temporal XML? SQL Strikes Back!

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo, Xin Zhou

claim paper

Read More »

29

CADE
2005
Springer

102views Logical Reasoning» more CADE 2005»

System Description: Multi A Multi-strategy Proof Planner

14 years 3 months ago

System Description: Multi A Multi-strategy Proof Planner

Download www.activemath.org

Andreas Meier, Erica Melis

claim paper

Read More »

34

CADE
2005
Springer

126views Logical Reasoning» more CADE 2005»

Hierarchic Reasoning in Local Theory Extensions

14 years 3 months ago

Hierarchic Reasoning in Local Theory Extensions

Download www.mpi-inf.mpg.de

Viorica Sofronie-Stokkermans

claim paper

Read More »

19

TIME
2003
IEEE

105views Automated Reasoning» more TIME 2003»

Temporal Queries in XML Document Archives and Web Warehouses

14 years 3 months ago

Temporal Queries in XML Document Archives and Web Warehouses

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo

claim paper

Read More »

« Prev « First page 43 / 517 Last » Next »