What people are saying - Write a review
We haven't found any reviews in the usual places.
List of Contributors
PROBLEMSOLVING AND LEARNING
KNOWLEDGEREPRESENTATION REASONING AND CONTROL
5 other sections not shown
abstract abstract data types algebra algorithm analogical application Artificial Intelligence assertions basic Cognitive column-sum combinatorial explosion complex components Computer Architecture Computer Science concept cons pair constraint constraint-value contains convex hull corresponding database defined described descriptors digit domain emotion environment evaluation evidence degree example expert systems expressed first-arg formal Functional Programming Languages given goal Horn clause implementation inference input instantiation interaction interpretation knowledge learning LISP LISP Machine Logic Programming mechanism memory metaphor move node object operators part-of path pattern Peniscola position2 possible predicate predicate logic problem procedural Proceedings production programming language Prolog properties query reasoning recursive relations representation represented result rules SAGE schema second-arg segment selector semantic solution solving specific structures sub-structures symbolic task theory tion unification University University of Edinburgh variables variants verb verbgraph