Sciweavers

12 search results - page 1 / 3

» dlog 1997

66

DLOG
1997

88views Automated Reasoning» more DLOG 1997»

Incremental Individual Reasoning in ProtoDL

14 years 11 months ago

Incremental Individual Reasoning in ProtoDL

Download www.inf.unibz.it

Alexander Borgida

claim paper

Read More »

61

Voted

DLOG
1997

129views Automated Reasoning» more DLOG 1997»

Applying DL in Automatic Dialogue Interpreting

14 years 11 months ago

Applying DL in Automatic Dialogue Interpreting

Download www.inf.unibz.it

Uwe Küssner

claim paper

Read More »

87

Voted

DLOG
1997

141views Automated Reasoning» more DLOG 1997»

Description Logics with Aggregates and Concrete Domains

14 years 11 months ago

Description Logics with Aggregates and Concrete Domains

Download www.inf.unibz.it

Franz Baader, Ulrike Sattler

claim paper

Read More »

77

DLOG
1997

118views Automated Reasoning» more DLOG 1997»

Least Common Subsumption as a connective

14 years 11 months ago

Least Common Subsumption as a connective

Download www.inf.unibz.it

Véronique Ventos, Pierre Brézellec

claim paper

Read More »

68

DLOG
1997

94views Automated Reasoning» more DLOG 1997»

Conjunctive Query Containment in Description Logics with n-ary Relations

14 years 11 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 »

« Prev « First page 1 / 3 Last » Next »