Undecidability, incompleteness and the Arnol'd problems.

Newton C. A. da Costa Francisco A. Doria

Published in: Stud Logica (1995)

Keyphrases

difficult problems
learning algorithm
probabilistic planning
database
data structure
optimization problems
application domains
real time
databases
real world
decision making
case study
np complete
mathematical programming