Login / Signup

Dynamic Logic with Non-rigid Functions.

Bernhard BeckertAndré Platzer
Published in: IJCAR (2006)
Keyphrases
  • dynamic logic
  • reasoning about actions
  • imperative programs
  • modal logic
  • motion estimation
  • artificial intelligence
  • multi agent
  • image registration
  • feature points
  • first order logic
  • propositional dynamic logic