Proceedings of the Twelfth National Conference on Artificial Intelligence, Volume 1 |
Contents
Volume | 844 |
Neural Networks On the Relation between the Coherence and Foundations | 909 |
Examining the Rule versus Fact Role versus Filler and Conditional Logics of Belief Change | 915 |
Copyright | |
54 other sections not shown
Other editions - View all
Common terms and phrases
abstract action agent algorithm analysis applied approach Artificial Intelligence assumptions autoepistemic autoepistemic logic axioms behavior belief belief revision complete computational Conference on Artificial constraints context corresponding decision default defined described domain domain theory dynamic effects environment equations evaluation example execution Figure formula function given goal graph grid heuristic implemented inference initial input iteration knowledge Knowledge Representation LCFR learning linear logic programs Machine Learning mapping Markov decision process method neural networks nodes objects open conditions operator paper parameters performance planner polynomial possible probability problem Proc propositional qualitative queries reactive reactive plan reasoning relevant replay represent representation Research restrictions robot satisfy scheduling selection semantics sequence simulation solution solving sonar space specific step strategy subset task temporal Theorem theory threat tion totally ordered transition UCPOP update variables visual visual routine