Login / Signup

Reasoning about Actions in Dynamic Linear Time Temporal Logic.

Laura GiordanoAlberto MartelliCamilla Schwind
Published in: Log. J. IGPL (2001)
Keyphrases
  • reasoning about actions
  • logic programming
  • situation calculus
  • dynamic logic
  • linear time temporal logic
  • machine learning
  • action language
  • first order logic
  • model checking
  • action theories