Login / Signup
Turing Machines with Linear Alternation, Theories of Bounded Concatenation and the Decision Problem of First Order Theories.
Hugo Volger
Published in:
Theor. Comput. Sci. (1983)
Keyphrases
</>
decision problems
influence diagrams
optimal strategy
turing machine
theory revision
utility function
computational complexity
first order logic
decision processes
decision making
optimal policy
theoretical framework
decision model
sequential decision making
learning algorithm
np hard