Search Sciweavers | Sciweavers

2348 search results - page 163 / 470

» A Fuzzy Description Logic

130

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

Download www.aaai.org

Véronique Ventos

claim paper

Read More »

125

click to vote

DLOG
2009

82views Automated Reasoning» more DLOG 2009»

Unification in the Description Logic EL

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers