Search Sciweavers | Sciweavers

2291 search results - page 9 / 459

» Representational Reasoning and Verification

click to vote

KR
1994
Springer

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

15 years 8 months ago

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

163

click to vote

KR
1992
Springer

248views Automated Reasoning» more KR 1992»

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality

15 years 8 months ago

Download www.ags.uni-sb.de

Ronald J. Brachman

claim paper

Read More »

Voted

DLOG
2007

99views Automated Reasoning» more DLOG 2007»

Knowledge Representation Meets Databases - a View of the Symbiosys

15 years 6 months ago

Download dl.kr.org

Alexander Borgida

claim paper

Read More »

Voted

DLOG
2008

122views Automated Reasoning» more DLOG 2008»

Bridging Heterogeneous Representations of Binary Relations: First Results

15 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Chiara Ghidini, Luciano Serafini, Sergio Tessaris

claim paper

Read More »

101

Voted

DLOG
2008

104views Automated Reasoning» more DLOG 2008»

The Representation of Structured Objects in DLs using Description Graphs

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers