Search Sciweavers | Sciweavers

1223 search results - page 3 / 245

» An Attributive Logic of Set Descriptions and Set Operations

click to vote

ECSQARU
2009
Springer

163views Automated Reasoning» more ECSQARU 2009»

Supporting Fuzzy Rough Sets in Fuzzy Description Logics

14 years 3 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 »

click to vote

AI
1999
Springer

103views Artificial Intelligence» more AI 1999»

Modal Logics, Description Logics and Arithmetic Reasoning

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

14 years 1 months ago