Sciweavers

12745 search results - page 139 / 2549

» Automating test automation

170

DLOG
1997

141views Automated Reasoning» more DLOG 1997»

Description Logics with Aggregates and Concrete Domains

15 years 7 months ago

Description Logics with Aggregates and Concrete Domains

Download www.inf.unibz.it

Franz Baader, Ulrike Sattler

claim paper

Read More »

125

DLOG
1997

88views Automated Reasoning» more DLOG 1997»

Incremental Individual Reasoning in ProtoDL

15 years 7 months ago

Incremental Individual Reasoning in ProtoDL

Download www.inf.unibz.it

Alexander Borgida

claim paper

Read More »

119

DLOG
1997

129views Automated Reasoning» more DLOG 1997»

Applying DL in Automatic Dialogue Interpreting

15 years 7 months ago

Applying DL in Automatic Dialogue Interpreting

Download www.inf.unibz.it

Uwe Küssner

claim paper

Read More »

139

DLOG
1997

118views Automated Reasoning» more DLOG 1997»

Least Common Subsumption as a connective

15 years 7 months ago

Least Common Subsumption as a connective

Download www.inf.unibz.it

Véronique Ventos, Pierre Brézellec

claim paper

Read More »

88

DLOG
1996

88views Automated Reasoning» more DLOG 1996»

Subsumption-Based Matching: Bringing Semantics to Goals

15 years 7 months ago

Subsumption-Based Matching: Bringing Semantics to Goals

Download gaia.fdi.ucm.es

Yolanda Gil, Pedro A. González

claim paper

Read More »

« Prev « First page 139 / 2549 Last » Next »