Search Sciweavers | Sciweavers

2302 search results - page 14 / 461

» Basic Description Logics

click to vote

DLOG
2003

141views Automated Reasoning» more DLOG 2003»

Fixpoint Extensions of Temporal Description Logics

13 years 9 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 »

click to vote

CADE
2010
Springer

351views Logical Reasoning» more CADE 2010»

Tractable Extensions of the Description Logic EL with Numerical Datatypes

13 years 9 months ago

Download www.comlab.ox.ac.uk

Despoina Magka, Yevgeny Kazakov, Ian Horrocks

claim paper

Read More »

click to vote

EUSFLAT
2009

165views Fuzzy Logic» more EUSFLAT 2009»

Fuzzy Descriptions Logics with Fuzzy Truth Values

13 years 6 months ago

Download webdiis.unizar.es

Fernando Bobillo, Umberto Straccia

claim paper

Read More »

click to vote

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

14 years 20 days ago

Download www.ags.uni-sb.de

Christoph Benzmüller, Michael Kohlhase

claim paper

Read More »

click to vote

CADE
2006
Springer

126views Logical Reasoning» more CADE 2006»

System Description: GCLCprover + GeoThms

14 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers