Search Sciweavers | Sciweavers

1582 search results - page 101 / 317

» On Higher-Order Description Logics

134

click to vote

DLOG
1996

97views Automated Reasoning» more DLOG 1996»

Representing SGML Documents in Description Logics

15 years 7 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

131

click to vote

DLOG
1996

140views Automated Reasoning» more DLOG 1996»

Using Description Logic for Reasoning about Diagrammatical Notations

15 years 7 months ago

Download www.inf.unibz.it

Volker Haarslev

claim paper

Read More »

145

click to vote

DLOG
1996

102views Automated Reasoning» more DLOG 1996»

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

15 years 7 months ago

Download www.inf.unibz.it

Jeroen Nijhuis

claim paper

Read More »

125

click to vote

DLOG
1996

88views Automated Reasoning» more DLOG 1996»

On the Semantics of Epistemic Description Logics

15 years 7 months ago

Download www.inf.unibz.it

d Abstract) Riccardo Rosati Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy

Riccardo Rosati

claim paper

Read More »

131

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

A Deductive Study of the C-CLASSICde Description Logic

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers