What people are saying - Write a review
We haven't found any reviews in the usual places.
CoarsetoFine Control Strategy for Matching Motion
A Simple Powerful Extension to Natural Language
Theorem Proving 3
3 other sections not shown
Other editions - View all
abstract activation agent algorithm analysis application approach architecture Artificial Intelligence axioms behavior belief cache causal circuit circumscription Cognitive complete component Computer Science concept consistent constraints corresponding Datatype default default logic defined definition derivation described diagnosis domain elements error evaluation example execution expert system Figure formal formula function given goal heuristic hypotheses implementation inference rules input instantiated interaction interpretation introspective knowledge base knowledge representation language LISP logic logic programming machine mapping match mechanism memoized memory modal logic model theory node non-monotonic non-monotonic logic NON-VON object operations OPS5 output parallel performance possible predicate problem solving procedure processors production rules production system proof proposition qualitative query reasoning recursive relation represent representation result semantic networks semantics simulation solution specific strategy structure student subset symbolic task theorem theory tion tutor variables