Catalogue of artificial intelligence tools

Front Cover
Springer-Verlag, Dec 1, 1984 - Computers - 150 pages
0 Reviews

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

12D SKETCH
1
ACTORS
2
ALICE
3
ALPHABETA PRUNING
4
AMORD
5
ARBY
6
ASSOCIATIVE DATABASE
7
BANDPASS FILTER
8
METALEVEL INFERENCE
71
METAPLANNING
72
MICRO EXPERT
73
MICROPROLOG
74
MINIMAX
75
MODULATION TRANSFER FUNCTION
76
MPROLOG
77
MULTIACTOR SYSTEM
78

BAYESIAN INFERENCE
9
BLACKBOARD
10
BOUNDARY DETECTION
11
BOYERMOORE THEOREM PROVER
12
BREADTHFIRST SEARCH
13
CASCADED AUGMENTED TRANSITION NETWORK
14
CASE FRAMES
15
CHI
16
CLASSIFICATION
17
COMMON USP
18
CONCEPTUAL DEPENDENCY
19
CONSTRAINT SATISFACTION AND PROPAGATION
20
CONSTRUCTIVE SOUD GEOMETRY
21
CONTEXTFREE GRAMMAR
22
CONTOUR GENERATOR
23
CONTRADICTION BACKTRACING
24
DADO
25
DEFAULT REASONING
26
DEMON
27
DEPENDENCY DIRECTED BACKTRACKING
28
DEPTHFIRST SEARCH
29
DIFFERENCE OF GAUSSIANS
30
DISCRIMINATION NET
31
DISTRIBUTED PROBLEM SOLVING
32
EARLEYS ALGORITHM
33
EMYCIN
34
EXPERT
35
FINDING COMMON PATHS
36
FORMANT
37
FORTRAN
38
FRL
39
FUNCTIONAL GRAMMAR
40
FUZZY SET THEORY
41
GENERALISED HOUGH TRANSFORM
42
GENERATIVE CAPACITY
43
GOLAY NEIGHBOURHOODS
44
GREYLEVEL IMAGE
45
HEARSAYMI
46
HIERARCHICAL PLANNING
47
HOPE
48
IMAGE DATA STRUCTURES
49
INFERENCE ENGINE TOOLKIT
50
INTERACTIONS BETWEEN SUBGOALS
51
INTERUSPD
52
INVARIANT QUEUES
53
INVARIANT VIOLATION DEMONS
54
JUNCTION DICTIONARY
55
KINEMATICS
56
KRC
57
KRL
58
LEARNING FROM SOLUTION PATHS
59
LEXICAL ACCESS
60
LINE FINDING
61
LISPKIT
62
LOCAL GREYLEVEL OPERATIONS
63
LOGUSP
65
MACLISP
66
MACRO OPERATORS
67
MARKGRAF KARL REFUTATION PROCEDURE
68
MBASE
69
MEANSENDS ANALYSIS
70
NATURAL DEDUCTION
79
NEGATION AS FAILURE
80
NIL
81
NONUNEAR PLANNING
82
NONMONOTONIC REASONING
83
OBJECTCENTRED COORDINATES
84
OPERATOR TABLE
85
OPPORTUNISTIC SEARCH
86
OPS5
87
OVERLOADED OPERATORS
88
PARTIAL EVALUATION
89
PATTERN DIRECTED RETRIEVALINVOCATION
90
PHOTOMETRIC STEREO
91
PLAN RECOGNITION
92
PLAN STRUCTURE
93
POP11
94
PORTABLE STANDARD LISP
95
POSTULATING INTRINSIC PROPERTIES
96
PRECONDITION ANALYSIS
97
PREDICTIVE PARSING
98
PREDICATE CALCULUS
99
PREFERENCE SEMANTICS
100
PRODUCTION RULE SYSTEM
101
PROGRAMMING CLICHE
102
PROPAGATION IN CELLULAR ARRAYS
103
PROPERTY LISTS
104
PSI
105
QUSPQA4
106
QUAD TREES
107
REFLECTANCE MAP
108
REGION FINDING
109
RELAXATION LABELLING
110
REMOTE PROCEDURE CALLS
111
RLL
112
ROBOT DYNAMICS
113
ROSIE
114
RUP
115
SAIL
116
SASL
117
SEMANTIC BINARY RELATIONSHIP MODEL
118
SEMANTIC CHECKING
119
SEMANTIC NET
120
SENSORY FEEDBACK AND COMPUANCE
121
SHAPE FROM SHADING
122
SKELETONISATION
123
SPATIAL DIFFERENTIATION
124
SPELUNG CORRECTION
125
STEREOPSIS
126
SUBGOAUNG
127
TABLE OF MULTIPLE EFFECTS
128
TIME COMPLEXITY OF RECOGNITION
129
TRUTH MAINTENANCE SYSTEM
130
TYPED PRECONDITIONS
131
UNITS
132
VARIABLEVALUED LOGIC
133
VERSION SPACE
134
VOCODER REPRESENTATION
135
2ETAUSP
136
ZOG
137
INDEX OF DEFINITIONS
139
Copyright

Other editions - View all

Bibliographic information