Search Sciweavers | Sciweavers

1436 search results - page 88 / 288

» Description Logic Unplugged

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

14 years 11 months ago

Download www.aaai.org

Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Je...

claim paper

Read More »

click to vote

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

14 years 11 months ago

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

click to vote

DLOG
1996

97views Automated Reasoning» more DLOG 1996»

Representing SGML Documents in Description Logics

14 years 11 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

DLOG
1996

140views Automated Reasoning» more DLOG 1996»

Using Description Logic for Reasoning about Diagrammatical Notations

14 years 11 months ago

Download www.inf.unibz.it

Volker Haarslev

claim paper

Read More »

click to vote

DLOG
1996

102views Automated Reasoning» more DLOG 1996»

The Use of Description Logics in the Condorcet Conceptual Information Retrieval System

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers