Search Sciweavers | Sciweavers

3244 search results - page 95 / 649

» Extensions to Description Logics

132

click to vote

LPAR
2000
Springer

97views Automated Reasoning» more LPAR 2000»

How to Decide Query Containment Under Constraints Using a Description Logic

15 years 9 months ago

Download www.comlab.ox.ac.uk

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Ste...

claim paper

Read More »

129

click to vote

TABLEAUX
2000
Springer

96views Artificial Intelligence» more TABLEAUX 2000»

Tableau Algorithms for Description Logics

15 years 9 months ago

Download lat.inf.tu-dresden.de

Franz Baader

claim paper

Read More »

123

click to vote

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

On the Approximation of Instance Level Update and Erasure in Description Logics

15 years 8 months ago

Download www.aaai.org

Giuseppe De Giacomo, Maurizio Lenzerini, Antonella...

claim paper

Read More »

148

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 8 months ago

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

107

click to vote

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers