ECAI 94 ProceedingsA. G. Cohn A collection of refereed papers presented at the 11th European Conference on Artificial Intelligence held in Amsterdam, The Netherlands in August 1994. |
From inside the book
38 pages matching constraint satisfaction problems in this book
Where's the rest of this book?
Results 1-3 of 38
Common terms and phrases
11th European Conference abduction action agent application approach Artificial Intelligence Edited assignment axioms behaviour belief belief revision case-based reasoning classifier clause complexity Computer concept concept drift Conference on Artificial consistent constraint constraint satisfaction problems context corresponding default default logic defined definition denote domain ECAI ECAI 94 evaluation example Figure 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 learning Logic Programming Machine Learning method modal modal logic multi-agent systems Neural Networks node nogood operator paper parameter partial performance phase transition possible prediction problem Proc 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