Search Sciweavers | Sciweavers

3970 search results - page 33 / 794

» A Logic For Causal Reasoning

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 26 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 »

click to vote

CADE
1992
Springer

131views Logical Reasoning» more CADE 1992»

An Improved Method for Adding Equality to Free Variable Semantic Tableaux

13 years 11 months ago

Download www.uni-koblenz.de

Tableau

Bernhard Beckert, Reiner Hähnle

claim paper

Read More »

« Prev « First page 33 / 794 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers