Sciweavers

1470 search results - page 5 / 294

» An Introduction to Description Logics

69

CADE
2010
Springer

351views Logical Reasoning» more CADE 2010»

Tractable Extensions of the Description Logic EL with Numerical Datatypes

13 years 10 months ago

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Download www.comlab.ox.ac.uk

Despoina Magka, Yevgeny Kazakov, Ian Horrocks

claim paper

Read More »

28

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 »

40

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

14 years 1 months ago

System Description: LEO - A Higher-Order Theorem Prover

Download www.ags.uni-sb.de

Christoph Benzmüller, Michael Kohlhase

claim paper

Read More »

29

CADE
2006
Springer

126views Logical Reasoning» more CADE 2006»

System Description: GCLCprover + GeoThms

14 years 1 months ago

System Description: GCLCprover + GeoThms

Download www.mat.uc.pt

Predrag Janicic, Pedro Quaresma

claim paper

Read More »

36

DLOG
1998

153views Automated Reasoning» more DLOG 1998»

DLP System Description

13 years 11 months ago

DLP System Description

Download www.inf.unibz.it

DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...

Peter F. Patel-Schneider

claim paper

Read More »

« Prev « First page 5 / 294 Last » Next »