• Title of article

    Toward a Model Theory of Actions: How Agents do it in Branching Time

  • Author/Authors

    Munindar P. Singh، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2007
  • Pages
    31
  • From page
    287
  • To page
    317
  • Keywords
    actions • time • formal models • branching-time temporal logics
  • Journal title
    Computational Intelligence
  • Serial Year
    2007
  • Journal title
    Computational Intelligence
  • Record number

    311195