Sciweavers

12993 search results - page 96 / 2599

» Artificial Intelligence in China

24

KI
1997
Springer

74views Artificial Intelligence» more KI 1997»

Qualitative Spatial Representation and Reasoning Techniques

14 years 2 months ago

Qualitative Spatial Representation and Reasoning Techniques

Download userpages.umbc.edu

Anthony G. Cohn

claim paper

Read More »

24

KI
1997
Springer

71views Artificial Intelligence» more KI 1997»

Reducing Lexical Redundancy by Augmenting Conceptual Knowledge

14 years 2 months ago

Reducing Lexical Redundancy by Augmenting Conceptual Knowledge

Download pi7.fernuni-hagen.de

Sven Hartrumpf, Marion Schulz

claim paper

Read More »

25

KI
1997
Springer

98views Artificial Intelligence» more KI 1997»

COLBERT: A Language for Reactive Control in Sapphira

14 years 2 months ago

COLBERT: A Language for Reactive Control in Sapphira

Download www.macalester.edu

Kurt Konolige

claim paper

Read More »

22

LFCS
1997
Springer

82views Artificial Intelligence» more LFCS 1997»

Type Introduction for Equational Rewriting

14 years 2 months ago

Type Introduction for Equational Rewriting

Download staff.aist.go.jp

Hitoshi Ohsaki, Aart Middeldorp

claim paper

Read More »

18

AGP
1994
IEEE

88views Artificial Intelligence» more AGP 1994»

A Logic for Encapsulation in Object-Oriented Languages

14 years 2 months ago

A Logic for Encapsulation in Object-Oriented Languages

Download integra.cs.wayne.edu

Michele Bugliesi, Hasan M. Jamil

claim paper

Read More »

« Prev « First page 96 / 2599 Last » Next »