Search Sciweavers | Sciweavers

441 search results - page 7 / 89

» Automated Benchmarking of Description Logic Reasoners

click to vote

CADE
2002
Springer

144views Logical Reasoning» more CADE 2002»

System Description: GrAnDe 1.0

14 years 8 months ago

Download www.cs.miami.edu

Stephan Schulz, Geoff Sutcliffe

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

DLOG
2006

118views Automated Reasoning» more DLOG 2006»

Euclidian Roles in Description Logics

13 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

In the current paper we investigate the role of Euclidian roles in Description Logics.

Giorgos Stoilos, Giorgos B. Stamou

claim paper

Read More »

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

14 years 1 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

click to vote

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers