Reasoning about partially observed actions

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2006, Pages 888-893

  Nance, Megan ^a,b   Vogel, Adam ^a   Amir, Eyal ^a  

^a University of Illinois at Urbana Champaign   (United States)

^b GOOGLE INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION EXECUTIONS; OBSERVED-ACTION REASONING; TRACTABLE ALGORITHMS;

ALGORITHMS; GAME THEORY; INTELLIGENT AGENTS; OBJECT RECOGNITION; PROBLEM SOLVING; UNCERTAIN SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 33750701781     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Eyal Amir and Stuart Russell. Logical filtering. In Proc. Eighteenth International Joint Conference on Artificial Intelligence (IJCAI '03), pages 75-82. Morgan Kaufmann, 2003.
2. K. Claessen and N. Orensson. New techniques that improve mace-style finite model finding. In CADE-19, Workshop W4. Model Computation, 2003.
3. Richard Fikes, Peter Hart, and Nils Nilsson. Learning and executing generalized robot plans. In Bonnie Webber and Nils Nilsson, editors, Readings in Artificial Intelligence, pages 231-249. Morgan Kaufmann, 1981.
4. Henry Kautz and Bart Selman. Pushing the envelope: Planning, propositional logic, and stochastic search. In AAAI-96, 1996.
5. Henry Kautz, David McAllester, and Bart Selman. Encoding plans in propositional logic. In J. Doyle, editor, Proceedings of KR 96, pages 374-384, Cambridge, Massachusetts, November 1996. KR, Morgan Kaufmann.
6. Paolo Liberatore. The complexity of belief update. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (UCAI'97), pages 68-73, 1997.
7. Kevin Murphy. Dynamic Bayesian Networks: Representation, Inference and Learning. PhD thesis, University of California at Berkeley, 2002.
8. Alexander Riazanov and Andrei Voronkov. Vampire 1.1 (system description). In Proc. First International Joint Conference on Automated Reasoning (IJCAR '01), number 2083 in Lecture Notes in Computer Science, pages 376-380. Springer, 2001.
9. Stuart Russell and Jason Wolfe. Finding checkmates in Kriegspiel. In Proc. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI '05). Morgan Kaufmann, 2005.
10. Afsaneh Shirazi and Eyal Amir. First order logical filtering. In Proc. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI '05). Morgan Kaufmann, 2005.