Proceedings of the ... National Conference on Artificial Intelligence, Volumes 1-2; Volume 12, Parts 1-2; Volume 13, Part 2American Association for Artificial Intelligence, 1986 - Artificial intelligence |
Contents
Some Remarks on Abnormal Birds | 8 |
Qualitative Simulation of Semiconductor Fabrication | 124 |
Designing for Manufacturability in Riveted Joints | 131 |
Copyright | |
49 other sections not shown
Other editions - View all
Common terms and phrases
abstraction action agent algebra algorithm analysis applied approach argument Artificial Intelligence assertions assume assumption attributes axioms behavior belief causal circumscription clause Computer Science concept consistent constraint propagation constraints d max database 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 input instance interval intuitive knowledge base knowledge representation language learning logic Machine Learning match minimal modal logic natural deduction node nonmonotonic objects occur operators OPS5 paper performance planner possible preconditions predicate problem solving procedure proof propagation properties proposition qualitative reasoning refinement relations represent representation Research result robot rule semantics sequence situation SNePS solution specific strategy structure subset temporal tetracycline theorem theory tion tree Truth Maintenance System tutors University variables