ECAI 92: 10th European Conference on Artificial Intelligence, August 3-7, 1992, Vienna, Austria : proceedings
Bernd Neumann, European Coordinating Committee for Artificial Intelligence, Austrian Society for Artificial Intelligence
Wiley, Nov 11, 1992 - Computers - 876 pages
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.
76 pages matching formal in this book
Results 1-3 of 76
What people are saying - Write a review
We haven't found any reviews in the usual places.
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 component 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 programming Machine Learning method minimal modal logic Neumann Neural Networks node nonmonotonic objects operator performance 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