User:Disooqi/Books/Artificial Intelligence from Wikipedia

Knowledge, Reasoning and Planning

 * Soundness


 * Chapter 1