ECAI 92: 10th European Conference on Artificial Intelligence, August 3-7, 1992, Vienna, Austria : ProceedingsBernd Neumann |
Common terms and phrases
10th European Conference abductive Abstract action agents algorithm application approach architecture Artificial Intelligence Edited assumptions atoms belief belief revision blackboard classical clauses CLP(R complex components Computer concept Conference on Artificial connectionist consider consistent constraints corresponding deduction default logic default theory defined definition denote derived described domain domain theory ECAI 92 evaluation event event calculus example Expert Systems extension formal formula function given goal heuristic Horn clauses hypotheses inconsistent induction inference input interpretation knowledge base knowledge representation learning lexical literals logic pro logic programming Machine Learning method minimal modal logic Neumann node nonmonotonic objects operator possible predicate problem solving Proc proof propositional reactive planning reasoning References relation representation represented rules satisfied semantics solution specific stable model strategy structure subset syntactic task temporal theorem tion tree Truth Maintenance System variables