Search results for: 'Logical Foundations of AI by Genesereth and Nilsson, Morgan Kaufman'