Search Sciweavers | Sciweavers

1966 search results - page 10 / 394

» Description Logics and Planning

click to vote

DLOG
2003

141views Automated Reasoning» more DLOG 2003»

Fixpoint Extensions of Temporal Description Logics

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

140

click to vote

CADE
2010
Springer

351views Logical Reasoning» more CADE 2010»

Tractable Extensions of the Description Logic EL with Numerical Datatypes

15 years 25 days 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

14 years 9 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

15 years 4 months 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers