Search Sciweavers | Sciweavers

4573 search results - page 61 / 915

» Automated Reasoning

click to vote

DLOG
2000

84views Automated Reasoning» more DLOG 2000»

Keys for Free in Description Logics

15 years 4 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

Voted

DLOG
2000

99views Automated Reasoning» more DLOG 2000»

Answering Conjunctive Queries over DL Aboxes: A Preliminary Report

15 years 4 months ago

Download www.comlab.ox.ac.uk

Ian Horrocks, Sergio Tessaris

claim paper

Read More »

click to vote

DLOG
1997

94views Automated Reasoning» more DLOG 1997»

Conjunctive Query Containment in Description Logics with n-ary Relations

15 years 4 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

124

click to vote

DLOG
1997

141views Automated Reasoning» more DLOG 1997»

Description Logics with Aggregates and Concrete Domains

15 years 4 months ago

Download www.inf.unibz.it

Franz Baader, Ulrike Sattler

claim paper

Read More »

Voted

DLOG
1997

129views Automated Reasoning» more DLOG 1997»

Applying DL in Automatic Dialogue Interpreting

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers