Login / Signup

Propositional Dynamic Logic for Recursive Procedures.

Daniel Leivant
Published in: VSTTE (2008)
Keyphrases
  • propositional dynamic logic
  • reasoning about actions
  • recursive algorithm
  • dynamic logic
  • neural network
  • learning algorithm
  • artificial intelligence
  • evolutionary algorithm