Sciweavers

3358 search results - page 84 / 672

» Dynamic Description Logics

85

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

15 years 4 months ago

Class Algebra as a Description Logic

Download www.aaai.org

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

claim paper

Read More »

94

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

15 years 4 months ago

Finite Model Reasoning in Description Logics

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

97

DLOG
1996

97views Automated Reasoning» more DLOG 1996»

Representing SGML Documents in Description Logics

15 years 4 months ago

Representing SGML Documents in Description Logics

Download www.inf.unibz.it

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

claim paper

Read More »

97

DLOG
1996

140views Automated Reasoning» more DLOG 1996»

Using Description Logic for Reasoning about Diagrammatical Notations

15 years 4 months ago

Using Description Logic for Reasoning about Diagrammatical Notations

Download www.inf.unibz.it

Volker Haarslev

claim paper

Read More »

107

DLOG
1996

102views Automated Reasoning» more DLOG 1996»

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

15 years 4 months ago

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

Download www.inf.unibz.it

Jeroen Nijhuis

claim paper

Read More »

« Prev « First page 84 / 672 Last » Next »