Search Sciweavers | Sciweavers

2302 search results - page 14 / 461

» Basic Description Logics

141

click to vote

DLOG
2003

141views Automated Reasoning» more DLOG 2003»

Fixpoint Extensions of Temporal Description Logics

15 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

In this paper we introduce a decidable ﬁxpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...

Enrico Franconi, David Toman

claim paper

Read More »

221

click to vote

CADE
2010
Springer

351views Logical Reasoning» more CADE 2010»

Tractable Extensions of the Description Logic EL with Numerical Datatypes

15 years 5 months ago

Download www.comlab.ox.ac.uk

Despoina Magka, Yevgeny Kazakov, Ian Horrocks

claim paper

Read More »

129

click to vote

EUSFLAT
2009

165views Fuzzy Logic» more EUSFLAT 2009»

Fuzzy Descriptions Logics with Fuzzy Truth Values

15 years 1 months ago

Download webdiis.unizar.es

Fernando Bobillo, Umberto Straccia

claim paper

Read More »

133

Voted

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

15 years 8 months ago

Download www.ags.uni-sb.de

Christoph Benzmüller, Michael Kohlhase

claim paper

Read More »

121

click to vote

CADE
2006
Springer

126views Logical Reasoning» more CADE 2006»

System Description: GCLCprover + GeoThms

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers