Search Sciweavers | Sciweavers

4573 search results - page 120 / 915

» Automated Reasoning

click to vote

TIME
2003
IEEE

105views Automated Reasoning» more TIME 2003»

Temporal Queries in XML Document Archives and Web Warehouses

15 years 8 months ago

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo

claim paper

Read More »

118

click to vote

DLOG
2004

105views Automated Reasoning» more DLOG 2004»

The Instance Store: DL Reasoning with Large Numbers of Individuals

15 years 4 months ago

Download www.comlab.ox.ac.uk

We present an application

Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer

claim paper

Read More »

114

click to vote

CADE
2006
Springer

164views Logical Reasoning» more CADE 2006»

The MathServe System for Semantic Web Reasoning Services

16 years 3 months ago

Download www.informatik.uni-bremen.de

Jürgen Zimmer, Serge Autexier

claim paper

Read More »

135

click to vote

DLOG
2003

99views Automated Reasoning» more DLOG 2003»

DL Reasoner vs. First-Order Prover

15 years 4 months ago

Download www.cs.man.ac.uk

We compare the performance of a DL reasoner with a FO prover on reasoning problems encountered during the classiﬁcation of realistic knowledge bases.

Dmitry Tsarkov, Ian Horrocks

claim paper

Read More »

click to vote

ICCBR
2001
Springer

121views Automated Reasoning» more ICCBR 2001»

Case-Based Reasoning in Course Timetabling: An Attribute Graph Approach

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers