Search Sciweavers | Sciweavers

1435 search results - page 3 / 287

» Description Logics

click to vote

EUSFLAT
2009

165views Fuzzy Logic» more EUSFLAT 2009»

Fuzzy Descriptions Logics with Fuzzy Truth Values

14 years 7 months ago

Download webdiis.unizar.es

Fernando Bobillo, Umberto Straccia

claim paper

Read More »

click to vote

DLOG
2008

142views Automated Reasoning» more DLOG 2008»

Paraconsistent Reasoning for Expressive and Tractable Description Logics

14 years 12 months ago

Download people.aifb.kit.edu

Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...

Yue Ma, Pascal Hitzler, Zuoquan Lin

claim paper

Read More »

click to vote

DLOG
2006

118views Automated Reasoning» more DLOG 2006»

Euclidian Roles in Description Logics

14 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

In the current paper we investigate the role of Euclidian roles in Description Logics.

Giorgos Stoilos, Giorgos B. Stamou

claim paper

Read More »

Voted

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

15 years 1 months ago

Download www.ags.uni-sb.de

Christoph Benzmüller, Michael Kohlhase

claim paper

Read More »

Voted

CADE
2006
Springer

126views Logical Reasoning» more CADE 2006»

System Description: GCLCprover + GeoThms

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers