Proceedings of the Twelfth National Conference on Artificial Intelligence, Volume 1 |
Contents
Volume | 844 |
An Efficient LimitedMemory Heuristic Tree Search | 859 |
Neural Networks On the Relation between the Coherence and Foundations | 909 |
Copyright | |
51 other sections not shown
Other editions - View all
Common terms and phrases
abstract action agent algorithm analysis approach Artificial Intelligence assumptions atoms autoepistemic autoepistemic logic axioms behavior belief belief revision causal clause closed world assumption complete Computer Conference on Artificial constraints context corresponding decision default defined described domain domain theory dynamic effects encoded equations example execution Figure formula function given goal graph heuristic inference initial input iteration Knowledge Representation LCFR learning linear logic programs Machine Learning mapping Markov decision process modal modal logics neural networks nodes objects open conditions operator output paper parameters performance planner polynomial possible probability problem Proc propositional qualitative queries reactive plan reasoning replay represent representation restrictions robot satisfy scheduling selection semantics sequence simulation solution solving space specific spurious symptoms step strategy subgoal subset task temporal Theorem theory threat tion transition true truth UCPOP update variables visual visual routine