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

abstract action agent algorithm analysis approach Artificial Intelligence assumptions atoms autoepistemic autoepistemic logic axioms behavior belief belief revision clause 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 grid heuristic inference initial input iteration Knowledge Representation layer 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 relevant replay represent representation restrictions robot satisfy scheduling selection semantics sequence simulation solution solving space specific spurious symptoms step strategy subset task temporal Theorem theory threat tion totally ordered transition true truth UCPOP update variables visual visual routine