Login / Signup

Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects.

James Laird
Published in: Ann. Pure Appl. Log. (2017)
Keyphrases
  • dynamic constraints
  • real time
  • data sets
  • control system
  • logic programs
  • model selection
  • statistical models
  • data acquisition
  • game theoretic