Login / Signup

Combining Equilibrium Logic and Dynamic Logic.

Luis Fariñas del CerroAndreas HerzigEzgi Iraz Su
Published in: LPNMR (2013)
Keyphrases
  • dynamic logic
  • modal logic
  • reasoning about actions
  • imperative programs
  • neural network
  • databases
  • agent programming
  • propositional dynamic logic
  • data sets
  • decision trees
  • software engineering
  • multiple input