• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Encoding Solutions of the Frame Problem in Dynamic Logic.

Norman Y. FooDongmo ZhangYan ZhangSamir ChopraQuoc Bao Vo
Published in: LPNMR (2001)
Keyphrases
  • dynamic logic
  • reasoning about actions
  • logic programming
  • modal logic
  • imperative programs
  • optimal solution
  • situation calculus
  • action language
  • propositional dynamic logic