On the complexity of arithmetical interpretations of modal formulae.

Lev D. Beklemishev

Published in: Arch. Math. Log. (1993)

Keyphrases

worst case
neural network
artificial intelligence
databases
reinforcement learning
computational complexity
computational cost
memory requirements
modal logic
image processing
case study
multi agent
lower complexity