ECAI 94, 11th European Conference on Artificial Intelligence, August 8-12, 1994, Amsterdam, the Netherlands: proceedingsA collection of refereed papers presented at the 11th European Conference on Artificial Intelligence held in Amsterdam, The Netherlands in August 1994. |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Common terms and phrases
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
Bibliographic information
| Title | ECAI 94, 11th European Conference on Artificial Intelligence, August 8-12, 1994, Amsterdam, the Netherlands: proceedings |
| Authors | A. G. Cohn, European Coordinating Committee for Artificial Intelligence |
| Editor | A. G. Cohn |
| Edition | illustrated |
| Publisher | Wiley, 1994 |
| Original from | the University of Michigan |
| Digitized | Nov 15, 2007 |
| ISBN | 0471950696, 9780471950691 |
| Length | 832 pages |
| Subjects | › Computers / General Computers / Intelligence (AI) & Semantics |
| Export Citation | BiBTeX EndNote RefMan |