Search Sciweavers | Sciweavers

29 search results - page 3 / 6

» dlog 1996

click to vote

DLOG
1996

114views Automated Reasoning» more DLOG 1996»

A New Method for Testing Decision Procedures in Modal and Terminological Logics

14 years 10 months ago

Download www.aaai.org

Fausto Giunchiglia, Marco Roveri, Roberto Sebastia...

claim paper

Read More »

click to vote

DLOG
1996

97views Automated Reasoning» more DLOG 1996»

Representing SGML Documents in Description Logics

14 years 10 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

DLOG
1996

138views Automated Reasoning» more DLOG 1996»

The Algebraic Essence of K-Rep

14 years 10 months ago

Download www.aaai.org

Frank J. Oles, Eric Mays, Robert A. Weida

claim paper

Read More »

click to vote

DLOG
1996

95views Automated Reasoning» more DLOG 1996»

Switching Terminologies - Creating a New View of An Old World: Preliminary Report

14 years 10 months ago

Download www.inf.unibz.it

Catriel Beeri, Alon Y. Levy, Marie-Christine Rouss...

claim paper

Read More »

click to vote

DLOG
1996

107views Automated Reasoning» more DLOG 1996»

A Proposal for a Glass-Box Approach for Subsumption Checking

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers