## AAAI ... Proceedings, Volumes 1-2 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Integration of Multiple Knowledge Sources in ALADIN an A Knowledge Representation Technique for Systems Dealing | 87 |

I AUTOMATED REASONING AI Laboratory | 132 |

The Nature | 140 |

Copyright | |

33 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 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