Sciweavers

1436 search results - page 1 / 288

» Description Logic Unplugged

32

DLOG
1998

110views Automated Reasoning» more DLOG 1998»

Description Logic Unplugged

13 years 11 months ago

Description Logic Unplugged

Download www.inf.unibz.it

Uwe Küssner

claim paper

Read More »

29

EUSFLAT
2009

165views Fuzzy Logic» more EUSFLAT 2009»

Fuzzy Descriptions Logics with Fuzzy Truth Values

13 years 7 months ago

Fuzzy Descriptions Logics with Fuzzy Truth Values

Download webdiis.unizar.es

Fernando Bobillo, Umberto Straccia

claim paper

Read More »

25

JAIR
2002

110views more JAIR 2002»

Fusions of Description Logics and Abstract Description Systems

13 years 9 months ago

Fusions of Description Logics and Abstract Description Systems

Download www.cs.cmu.edu

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...

claim paper

Read More »

40

AI
1999
Springer

103views Artificial Intelligence» more AI 1999»

Modal Logics, Description Logics and Arithmetic Reasoning

13 years 9 months ago

Modal Logics, Description Logics and Arithmetic Reasoning

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 »

22

IJAR
2010

107views more IJAR 2010»

Fuzzy Description Logics and t-norm based fuzzy logics

13 years 8 months ago

Fuzzy Description Logics and t-norm based fuzzy logics

Download www.iiia.csic.es

Àngel García-Cerdaña, Eva Arm...

claim paper

Read More »

« Prev « First page 1 / 288 Last » Next »