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

13 years 7 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

13 years 7 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

13 years 7 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

13 years 7 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

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers