Proceedings of the ... International Joint Conference on Artificial Intelligence, Volume 11, Parts 1-21989 - Artificial intelligence |
Contents
Symbols and Subsymbols for Representing | 3 |
Execution Architectures and Compilation | 15 |
An Admissible | 23 |
Copyright | |
67 other sections not shown
Other editions - View all
Common terms and phrases
abstraction action activation algorithm applied approach architecture argument Artificial Intelligence ATMS backtracking behavior blackboard caching call-graph Case-Based Reasoning clause complete component Computer Science connectionist consistency constraint constraint network constraint satisfaction problems corresponding cycle defined definition described domain efficient environment evaluation example execution expert system explanation Figure formula function game tree goal graph heuristic implementation induction inference input instantiation knowledge base knowledge representation layer lemma literal Logic Programming match memory method modules n-queens problem natural deduction neural node nogood objects optimal output paper parallel parameters performance possible predicate problem solving procedure processor produce Prolog proof propagation prove pruning query reasoning recursive representation represented Research retrieval rule search space SIMD simulation solution specific step strategy structure symbol techniques theorem theory tion transformation tree tuple University values variables vector