Search Sciweavers | Sciweavers

3358 search results - page 84 / 672

» Dynamic Description Logics

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

13 years 10 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

13 years 10 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

13 years 10 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

13 years 10 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

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers