## Proceedings of the Twelfth National Conference on Artificial Intelligence, Volume 1 |

### What people are saying - Write a review

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

### Contents

Volume | 844 |

An Efficient LimitedMemory Heuristic Tree Search | 859 |

Neural Networks On the Relation between the Coherence and Foundations | 909 |

Copyright | |

49 other sections not shown

### Common terms and phrases

abstract action agent algorithm analysis applicable approach Artificial Intelligence assumptions atoms autoepistemic autoepistemic logic axioms behavior belief belief revision clause complete Computer Conference on Artificial constraints context corresponding cost decision default logic default theory defined described domain domain theory dynamic effects equations example execution extension Figure formula function given goal graph grid heuristic inference initial input iteration knowledge base Knowledge Representation LCFR learning linear logic programs Machine Learning mapping Markov decision process minimal modal neural networks nodes objects open conditions operator output paper parameters performance planner polynomial possible probability problem Proc propositions qualitative queries reactive plan reasoning relevant replay represent representation restrictions robot satisfy scheduling selection semantics sensors sequence simulation solution solving space specific spurious symptoms step strategy subset task temporal Theorem tion total order transition UCPOP update variables vector visual visual routine