Sciweavers

1470 search results - page 5 / 294

» An Introduction to Description Logics

268

CADE
2010
Springer

351views Logical Reasoning» more CADE 2010»

Tractable Extensions of the Description Logic EL with Numerical Datatypes

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

152

EUSFLAT
2009

165views Fuzzy Logic» more EUSFLAT 2009»

Fuzzy Descriptions Logics with Fuzzy Truth Values

15 years 3 months ago

Fuzzy Descriptions Logics with Fuzzy Truth Values

Download webdiis.unizar.es

Fernando Bobillo, Umberto Straccia

claim paper

Read More »

154

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

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

145

CADE
2006
Springer

126views Logical Reasoning» more CADE 2006»

System Description: GCLCprover + GeoThms

15 years 9 months ago

System Description: GCLCprover + GeoThms

Download www.mat.uc.pt

Predrag Janicic, Pedro Quaresma

claim paper

Read More »

171

DLOG
1998

153views Automated Reasoning» more DLOG 1998»

DLP System Description

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