IJCAI: Proceedings of the Conference, Volumes 1-2IJCAI, 1977 - Artificial intelligence |
Contents
Reasoning About the Spatial Relationships Derived From | 2 |
Systems Support | 56 |
A LargeScale | 74 |
Copyright | |
7 other sections not shown
Other editions - View all
Common terms and phrases
abstract abstract data type action algebra algorithm analysis applied approach Artificial Intelligence autoepistemic autoepistemic logic axioms behavior belief causal circuit Codasyl Cognitive components Computer Science concept consistent constraints construction context database deduction defined definition denote derived described diagnosis Dipmeter Advisor domain environment equation evaluation example expert systems expression fact Figure formal formula frame function given goal heuristic hypothesis implemented inference input instance instantiation interpretation KL-ONE knowledge base knowledge representation learning linear LISP logic McDermott means mechanism method modal logic MYCIN nodes nonmonotonic objects operator output paper performance possible predicate problem solving Proc procedure Prolog proposition query reasoning recursive REFERENCES relational algebra relations represent result rules schema semantic semantic networks sequence simulation solution specification SRI International strategy structure subtask symbols task theorem theory tion transformation University variables