Search Sciweavers | Sciweavers

4573 search results - page 6 / 915

» Automated Reasoning

click to vote

DLOG
2006

121views Automated Reasoning» more DLOG 2006»

High Performance Absorption Algorithms for Terminological Reasoning

15 years 3 months ago

Download users.encs.concordia.ca

Ming Zuo, Volker Haarslev

claim paper

Read More »

click to vote

DLOG
2003

98views Automated Reasoning» more DLOG 2003»

Reasoning on UML Class Diagrams is EXPTIME-hard

15 years 3 months ago

Download sunsite.informatik.rwth-aachen.de

Daniela Berardi, Diego Calvanese, Giuseppe De Giac...

claim paper

Read More »

click to vote

DLOG
2000

79views Automated Reasoning» more DLOG 2000»

Optimisation of Terminological Reasoning

15 years 3 months ago

Download www.comlab.ox.ac.uk

Ian Horrocks, Stephan Tobies

claim paper

Read More »

click to vote

DLOG
1997

88views Automated Reasoning» more DLOG 1997»

Incremental Individual Reasoning in ProtoDL

15 years 3 months ago

Download www.inf.unibz.it

Alexander Borgida

claim paper

Read More »

click to vote

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers