Showing papers by "Nils J. Nilsson published in 1991"

TL;DR: Some challenging problems for artificial intelligence are confronted and what is being done in an attempt to solve them are described.