AISB/GI 1978: Proceedings of AISB/GI Conference Held at University of Hamburg, 18th to 20th July, 1978
Society for the Study of Artificial Intelligence and Simulation of Behaviour - Artificial intelligence - 379 pages
What people are saying - Write a review
We haven't found any reviews in the usual places.
abstract machine action AISB algorithm analysis append application approach argument Artificial Intelligence axioms basic behaviour Bobrow calculus clauses cognitive complex Computer Computer Vision concepts connection graph constraints construction context data base defined definition derived described domain Edinburgh efficient elements environment example expressions formal function given goal grammar graph heuristic human hypotheses IJCAI implementation inference initial input interactive INTERLISP interpretation knowledge knowledge representation LISP mechanism methodology methods modal logic natural language nodes notation object operations optical flow paramodulation pattern PEGB possible predicate predicate logic problem solving Proc production system programming language properties relations representation represented robot rules scene semantic semantic networks sentence sequence sequent calculus situation situation calculus solution sorts specific strategy acquisition stroke subgoal syntactic techniques theorem proving theory tion Tower of Hanoi understanding variables vision visual wicked Winograd