ECAI 94, 11th European Conference on Artificial Intelligence, August 8-12, 1994, Amsterdam, the Netherlands: proceedings
Wiley, Nov 1, 1994 - Computers - 832 pages
A collection of refereed papers presented at the 11th European Conference on Artificial Intelligence held in Amsterdam, The Netherlands in August 1994.
80 pages matching proof in this book
Results 1-3 of 80
What people are saying - Write a review
We haven't found any reviews in the usual places.
abduction action agent application approach Artificial Intelligence Edited assignment axioms behaviour belief revision case-based reasoning classifier clause complexity Computer concept concept drift Conference on Artificial consider consistent constraint constraint satisfaction problems context corresponding default default logic defined definition denote domain European Conference evaluation example extension Figure finite first-order logic formal formula function Genetic Algorithms given global goal graph GSAT heuristic hypotheses implemented induction inference input instance International interpretation knowledge base knowledge representation label language learner model Logic Programming Machine Learning method modal modal logic multi-agent systems Neural Networks node nogood notion operator paper parameter partial performance phase transition possible predicate problem Proc proof propositional query reasoning relation representation represented rules satisfies scheduling semantics solution solving specific strategy structure subset T-tree task temporal theorem theory tion update values variables