Reasoning about intended actions

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2005, Pages 689-694

  Baral, Chitta ^a   Gelfond, Michael ^b  

^a Arizona State University   (United States)

^b Texas Tech University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; FORMAL LOGIC; PLANNING; SEMANTICS; SET THEORY;

HIGH LEVEL LANGUAGE; LOGIC PROGRAMMING AXIOMATIZATION; SYNTAX;

ARTIFICIAL INTELLIGENCE;

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

References (11)

1. Balduccini, M., and Gelfond, M. 2003. Diagnostic reasoning with a-prolog. Journal of Theory and Practice of Logic Programming (TPLP) 3(4-5):425-461.
2. Baral, C., and Gelfond, M. 2000. Reasoning agents in dynamic domains. In Minker, J., ed., Logic Based AI. Kluwer.
3. Bratman, M. 1990. What is intention? In Cohen, P.; Morgan, J.; and Pollack, M., eds., Intentions in communication. MIT Press. 15-32.
4. Levesque, H.; Reiter, R.; Lesperance, Y.; Lin, F.; and Scherl, R. 1997. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31(1-3):59-84.
5. McCarthy, J., and Hayes, P. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence, volume 4. Edinburgh University Press. 463-502.
6. Niemelä, I., and Simons, P. 1997. Smodels - an implementation of the stable model and well-founded semantics for normal logic programs. Proc. 4th LPNMR, 420-429.
7. Reiter, R. 1996. Natural actions, concurrency and continuous time in the situation calculus. In Aiello, L.; Doyle, J.; and Shapiro, S., eds., KR 96, 2-13.
8. Reiter, R. 2001. Knowledge in action: logical foundation for describing and implementing dynamical systems. MIT press.
9. Sandewall, E. 1998. Special issue. Electronic Transactions on Artificial Intelligence 2(3-4):159-330. http://www.ep.liu.se/ej/etai/.
10. Son, T.; Baral, C.; and McIlraith, S. 2001. Planning with different forms of domain dependent control knowledge - an answer set programming approach. In Proc. of LPNMR'01, 226-239.
11. Wooldridge, M. 2000. Reasoning about Rational Agents. MIT Press.