Search Sciweavers | Sciweavers

1223 search results - page 3 / 245

» An Attributive Logic of Set Descriptions and Set Operations

107

click to vote

ECSQARU
2009
Springer

163views Automated Reasoning» more ECSQARU 2009»

Supporting Fuzzy Rough Sets in Fuzzy Description Logics

15 years 6 months ago

Download webdiis.unizar.es

Abstract. Classical Description Logics (DLs) are not suitable to represent vague pieces of information. The attempts to achieve a solution have lead to the birth of fuzzy DLs and r...

Fernando Bobillo, Umberto Straccia

claim paper

Read More »

104

Voted

AI
1999
Springer

103views Artificial Intelligence» more AI 1999»

Modal Logics, Description Logics and Arithmetic Reasoning

14 years 11 months ago

Download www.pms.ifi.lmu.de

Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...

Hans Jürgen Ohlbach, Jana Koehler

claim paper

Read More »

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

15 years 5 months ago