Search Sciweavers | Sciweavers

3773 search results - page 75 / 755

» Logical Reasoning

101

click to vote

DLOG
2006

102views Automated Reasoning» more DLOG 2006»

Epistemic First-order Queries over Description Logic Knowledge Bases

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...

claim paper

Read More »

Voted

DLOG
2003

70views Automated Reasoning» more DLOG 2003»

E-connections of Description Logics

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Z...

claim paper

Read More »

125

click to vote

DLOG
2000

87views Automated Reasoning» more DLOG 2000»

Fusions of Description Logics

15 years 4 months ago

Download www.jair.org

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...

claim paper

Read More »

click to vote

DLOG
1997

98views Automated Reasoning» more DLOG 1997»

Discovering description logic assertions from database schemes

15 years 4 months ago

Download www.inf.unibz.it

Angela Bonifati, Luigi Palopoli, Domenico Sacc&agr...

claim paper

Read More »

click to vote

DLOG
2009

79views Automated Reasoning» more DLOG 2009»

A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers