Login / Signup

Back and Forth Between First-Order Kripke Models.

Tomasz Polacik
Published in: Log. J. IGPL (2008)
Keyphrases
  • kripke models
  • action theories
  • first order logic
  • modal logic
  • situation calculus
  • higher order
  • probabilistic logic
  • machine learning
  • horn clauses
  • initial state
  • software engineering