Search Sciweavers | Sciweavers

441 search results - page 2 / 89

» Automated Benchmarking of Description Logic Reasoners

click to vote

DLOG
2006

192views Automated Reasoning» more DLOG 2006»

Binary Absorption in Tableaux-Based Reasoning for Description Logics

13 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Alexander K. Hudek, Grant E. Weddell

claim paper

Read More »

click to vote

DLOG
1996

140views Automated Reasoning» more DLOG 1996»

Using Description Logic for Reasoning about Diagrammatical Notations

13 years 7 months ago

Download www.inf.unibz.it

Volker Haarslev

claim paper

Read More »

click to vote

DLOG
2003

113views Automated Reasoning» more DLOG 2003»

Basic Description Logics

13 years 7 months ago

Download www.inf.unibz.it

Franz Baader, Werner Nutt

claim paper

Read More »

click to vote

DLOG
1997

141views Automated Reasoning» more DLOG 1997»

Description Logics with Aggregates and Concrete Domains

13 years 7 months ago

Download www.inf.unibz.it

Franz Baader, Ulrike Sattler

claim paper

Read More »

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

A Deductive Study of the C-CLASSICde Description Logic

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers