Sign in

A Dynamic Logic of Norm Change.

Max KnobboutMehdi DastaniJohn-Jules Ch. Meyer
Published in: ECAI (2016)
Keyphrases
  • dynamic logic
  • modal logic
  • imperative programs
  • propositional dynamic logic
  • objective function
  • neural network
  • first order logic
  • reasoning about actions
  • case study
  • regularized least squares