Search Sciweavers | Sciweavers

441 search results - page 7 / 89

» Automated Benchmarking of Description Logic Reasoners

130

click to vote

CADE
2002
Springer

144views Logical Reasoning» more CADE 2002»

System Description: GrAnDe 1.0

16 years 5 months ago

Download www.cs.miami.edu

Stephan Schulz, Geoff Sutcliffe

claim paper

Read More »

137

click to vote

CADE
2005
Springer

102views Logical Reasoning» more CADE 2005»

System Description: Multi A Multi-strategy Proof Planner

15 years 11 months ago

Download www.activemath.org

Andreas Meier, Erica Melis

claim paper

Read More »

147

click to vote

DLOG
2006

118views Automated Reasoning» more DLOG 2006»

Euclidian Roles in Description Logics

15 years 6 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 »

127

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 11 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

127

click to vote

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers