Switch to: Citations

Add references

You must login to add references.
  1. ConGolog, a concurrent programming language based on the situation calculus.Giuseppe De Giacomo, Yves Lespérance & Hector J. Levesque - 2000 - Artificial Intelligence 121 (1-2):109-169.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.
    This paper explores principles governing the rational balance among an agent's beliefs, goals, actions, and intentions. Such principles provide specifications for artificial agents, and approximate a theory of human action (as philosophers use the term). By making explicit the conditions under which an agent can drop his goals, i.e., by specifying how the agent is committed to his goals, the formalism captures a number of important properties of intention. Specifically, the formalism provides analyses for Bratman's three characteristic functional roles played (...)
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.
    Download  
     
    Export citation  
     
    Bookmark   179 citations  
  • Agent-oriented programming.Yoav Shoham - 1993 - Artificial Intelligence 60 (1):51-92.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • A logical approach to the dynamics of commitments.J. -J. Ch Meyer, W. van der Hoek & B. van Linder - 1999 - Artificial Intelligence 113 (1-2):1-40.
    Download  
     
    Export citation  
     
    Bookmark   18 citations