AI Magazine, Τόμος 5

AAAI AAAI and IJCAI activity AI Magazine algorithms analysis applications areas ARPA ARPANET Artificial Intelligence automatic programming automation basic Center cognitive commercial COMMON LISP complex components Computer Science Conference configuration Context Model Corporation data base database domain knowledge editor environment example expert systems Figure formal goal graphics heuristic human icons IJCAI IJCAI members implementation industrial inference informal problem solving input integrated INTELLECT interaction interface John McCarthy knowledge base knowledge engineering knowledge representation knowledge-based Laboratory learning linguistic LM-PROLOG log interpretation logic Magazine manipulation ment methodology Minker natural language nonmembers object operating partial evaluator pattern perform PHRAN procedures PROLOG prototype reasoning request Research in Progress result robot role rules semantic simulation specific SRI International Stanford University Steamer structure symbolic task techniques Teknowledge theory tion types understanding UNIX user's