Search Sciweavers | Sciweavers

3776 search results - page 16 / 756

» Partition-Based Logical Reasoning

click to vote

TIME
2006
IEEE

81views Automated Reasoning» more TIME 2006»

From Language to Time: A Temporal Expression Anchorer

14 years 1 months ago

Download www.cs.cmu.edu

Benjamin Han, Donna Gates, Lori S. Levin

claim paper

Read More »

click to vote

TIME
2005
IEEE

132views Automated Reasoning» more TIME 2005»

Temporal XML? SQL Strikes Back!

14 years 1 months ago

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo, Xin Zhou

claim paper

Read More »

click to vote

CADE
2005
Springer

102views Logical Reasoning» more CADE 2005»

System Description: Multi A Multi-strategy Proof Planner

14 years 1 months ago

Download www.activemath.org

Andreas Meier, Erica Melis

claim paper

Read More »

click to vote

TIME
2003
IEEE

105views Automated Reasoning» more TIME 2003»

Temporal Queries in XML Document Archives and Web Warehouses

14 years 28 days ago

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo

claim paper

Read More »

click to vote

ICTL
1994

242views Automated Reasoning» more ICTL 1994»

A Decision Procedure for a Temporal Belief Logic

13 years 11 months ago

Download www.csc.liv.ac.uk

This paper presents a temporal belief logic called

Michael Wooldridge, Michael Fisher

claim paper

Read More »

« Prev « First page 16 / 756 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers