Logics of propositional control.

Jelle Gerbrandy

Published in: AAMAS (2006)

Keyphrases

default logic
expressive power
inference rules
propositional logic
machine learning
reinforcement learning
first order logic
modal logic
optimal control
control problems
classical logic
control theory
computational properties
propositional calculus