Search Sciweavers | Sciweavers

3776 search results - page 40 / 756

» Partition-Based Logical Reasoning

click to vote

DLOG
1997

94views Automated Reasoning» more DLOG 1997»

Conjunctive Query Containment in Description Logics with n-ary Relations

13 years 10 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

DLOG
1997

141views Automated Reasoning» more DLOG 1997»

Description Logics with Aggregates and Concrete Domains

13 years 10 months ago

Download www.inf.unibz.it

Franz Baader, Ulrike Sattler

claim paper

Read More »

click to vote

DLOG
1996

97views Automated Reasoning» more DLOG 1996»

Representing SGML Documents in Description Logics

13 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

114views Automated Reasoning» more DLOG 1996»

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

13 years 10 months ago

Download www.aaai.org

Fausto Giunchiglia, Marco Roveri, Roberto Sebastia...

claim paper

Read More »

click to vote

DLOG
1996

102views Automated Reasoning» more DLOG 1996»

The Use of Description Logics in the Condorcet Conceptual Information Retrieval System

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers