Proceedings of the ... International Joint Conference on Artificial Intelligence, Volume 10, Parts 1-2

abstract action algorithm analysis applied approach Artificial Intelligence associated assumption axioms behavior clause Computer Computer Science Computer Vision consider consistent constraints context corresponding defined definition denote derived described domain element equation evaluation example expert system Figure formula function goal conflict grammar graph heuristic Horn clauses hypothesis implemented inference inference rules input interpretation knowledge base Knowledge representation label lattice linguistic logic machine method modal logics natural language node object operation paper parameters paramodulation parse tree parser parsing path perform PGPs planner possible predicate problem solving Proc propagation propositions reasoning referring regions relation representation represented robot rules schema segments semantic sentence sequence solution space specific strategy structure subgoal subproblems subset surface surface normal symbols syntactic T-norm theorem theory tion tree University variables word word senses