ECAI 92: 10th European Conference on Artificial IntelligenceBernd Neumann ECAI 92 August 3-7, 1992, Vienna, Austria Proceedings Edited by Bernd Neumann University of Hamburg, Germany The 10th European Conference on Artificial Intelligence, held in Austria, August 1992, attracted an unusually large number of contributed papers, reflecting the scope and strength of current Al research. Almost 200 selected papers, covering essential areas of Al, are presented in this volume. Such core subjects as Automated Reasoning and Knowledge Representation are given extensive treatment. Attention is also focused on important application issues and real-world problems. |
Common terms and phrases
10th European Conference abductive Abstract action agents algorithm application approach architecture Artificial Intelligence Edited assumptions atoms axioms belief belief revision 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 Neural Networks node nonmonotonic objects operator possible predicate problem solving Proc proof propositional 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