Sciweavers

2302 search results - page 14 / 461
» Basic Description Logics
Sort
View
DLOG
2003
15 years 2 months ago
Fixpoint Extensions of Temporal Description Logics
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
Enrico Franconi, David Toman
159
Voted
CADE
2010
Springer
15 years 1 months ago
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Despoina Magka, Yevgeny Kazakov, Ian Horrocks
100
Voted
EUSFLAT
2009
165views Fuzzy Logic» more  EUSFLAT 2009»
14 years 10 months ago
Fuzzy Descriptions Logics with Fuzzy Truth Values
Fernando Bobillo, Umberto Straccia
CADE
1998
Springer
15 years 5 months ago
System Description: LEO - A Higher-Order Theorem Prover
Christoph Benzmüller, Michael Kohlhase
93
Voted
CADE
2006
Springer
15 years 4 months ago
System Description: GCLCprover + GeoThms
Predrag Janicic, Pedro Quaresma