Search Sciweavers | Sciweavers

3358 search results - page 75 / 672

» Dynamic Description Logics

click to vote

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

14 years 1 months ago

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

click to vote

AGP
1997
IEEE

93views Artificial Intelligence» more AGP 1997»

Datalog and Description Logics: Expressive Power

14 years 29 days ago

Download www.inf.unibz.it

Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini

claim paper

Read More »

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

14 years 29 days ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

LPAR
2000
Springer

97views Automated Reasoning» more LPAR 2000»

How to Decide Query Containment Under Constraints Using a Description Logic

14 years 10 days ago

Download www.comlab.ox.ac.uk

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

claim paper

Read More »

click to vote

TABLEAUX
2000
Springer

96views Artificial Intelligence» more TABLEAUX 2000»

Tableau Algorithms for Description Logics

14 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers