Sciweavers

1460 search results - page 6 / 292

» Preferential Description Logics

123

CADE
2010
Springer

351views Logical Reasoning» more CADE 2010»

Tractable Extensions of the Description Logic EL with Numerical Datatypes

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

74

EUSFLAT
2009

165views Fuzzy Logic» more EUSFLAT 2009»

Fuzzy Descriptions Logics with Fuzzy Truth Values

14 years 7 months ago

Fuzzy Descriptions Logics with Fuzzy Truth Values

Download webdiis.unizar.es

Fernando Bobillo, Umberto Straccia

claim paper

Read More »

74

Voted

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

15 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 »

64

Voted

CADE
2006
Springer

126views Logical Reasoning» more CADE 2006»

System Description: GCLCprover + GeoThms

15 years 1 months ago

System Description: GCLCprover + GeoThms

Download www.mat.uc.pt

Predrag Janicic, Pedro Quaresma

claim paper

Read More »

90

DLOG
1998

153views Automated Reasoning» more DLOG 1998»

DLP System Description

14 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 6 / 292 Last » Next »