Search Sciweavers | Sciweavers

4573 search results - page 88 / 915

» Automated Reasoning

107

Voted

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 5 months ago

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

102

click to vote

DLOG
2007

100views Automated Reasoning» more DLOG 2007»

Combining Two Formalism for Reasoning about Concepts

15 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

Nikolay V. Shilov, Igor S. Anureev, Natalya Olegov...

claim paper

Read More »

click to vote

DLOG
2004

90views Automated Reasoning» more DLOG 2004»

DL-Lite: Practical Reasoning for Rich Dls

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

101

click to vote

DLOG
2004

81views Automated Reasoning» more DLOG 2004»

Reasoning Services for an OWL Authoring Tool: An Experience Report

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Thorsten Liebig, Holger Pfeifer, Friedrich W. von ...

claim paper

Read More »

click to vote

DLOG
2006

134views Automated Reasoning» more DLOG 2006»

A Tableaux-based Mobile DL Reasoner - An Experience Report

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers