24 pages matching constraint propagation in this book
Results 1-3 of 24
What people are saying - Write a review
We haven't found any reviews in the usual places.
Integration of Multiple Knowledge Sources in ALADIN an A Knowledge Representation Technique for Systems Dealing
I AUTOMATED REASONING AI Laboratory
33 other sections not shown
abstraction action agent algebra algorithm analysis applied approach argument Artificial Intelligence assertions assume assumption attributes axioms behavior belief causal circumscription clause complete Computer Science concept consistent constraint propagation constraints deduction default default logic defined denote described disjunctive domain evaluation example Expert Systems expression fact Figure formula function game tree given goal graph heuristic hypothesis induction inference inference rules input instance interval intuitive knowledge base knowledge representation language learning logic Machine Learning match minimal modal logic natural deduction node nonmonotonic objects occur operators paper performance planner possible preconditions predicate procedure proof propagation properties proposition qualitative reasoning refinement relations represent representation Research result robot rule semantic network semantics sequence situation SNePS solution specific strategy structure subset temporal tetracycline theorem theory tion tree Truth Maintenance System tutors University variables