Sciweavers

4573 search results - page 61 / 915

» Automated Reasoning

92

DLOG
2000

84views Automated Reasoning» more DLOG 2000»

Keys for Free in Description Logics

15 years 4 months ago

Keys for Free in Description Logics

Download www.inf.unibz.it

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

claim paper

Read More »

91

DLOG
2000

99views Automated Reasoning» more DLOG 2000»

Answering Conjunctive Queries over DL Aboxes: A Preliminary Report

15 years 4 months ago

Answering Conjunctive Queries over DL Aboxes: A Preliminary Report

Download www.comlab.ox.ac.uk

Ian Horrocks, Sergio Tessaris

claim paper

Read More »

99

DLOG
1997

94views Automated Reasoning» more DLOG 1997»

Conjunctive Query Containment in Description Logics with n-ary Relations

15 years 4 months ago

Conjunctive Query Containment in Description Logics with n-ary Relations

Download www.inf.unibz.it

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

claim paper

Read More »

128

DLOG
1997

141views Automated Reasoning» more DLOG 1997»

Description Logics with Aggregates and Concrete Domains

15 years 4 months ago

Description Logics with Aggregates and Concrete Domains

Download www.inf.unibz.it

Franz Baader, Ulrike Sattler

claim paper

Read More »

90

DLOG
1997

129views Automated Reasoning» more DLOG 1997»

Applying DL in Automatic Dialogue Interpreting

15 years 4 months ago

Applying DL in Automatic Dialogue Interpreting

Download www.inf.unibz.it

Uwe Küssner

claim paper

Read More »

« Prev « First page 61 / 915 Last » Next »