Search Sciweavers | Sciweavers

1835 search results - page 74 / 367

» Classifying Description Logics

121

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

15 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

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 »

127

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 »

122

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 »

144

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers