Sciweavers

4617 search results - page 69 / 924

» Automation of Diagrammatic Reasoning

166

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 »

114

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 »

134

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 »

85

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 »

108

DLOG
1996

112views Automated Reasoning» more DLOG 1996»

Asking Queries about Frames

15 years 7 months ago

Asking Queries about Frames

Download www.cs.rutgers.edu

Alexander Borgida, Deborah L. McGuinness

claim paper

Read More »

« Prev « First page 69 / 924 Last » Next »