SearchSkip to Search Results
[Review of the book Formal Methods in Artificial Intelligence, by Aamsay]
Introduction: Many universities teach artificial intelligence (AI) by having one undergraduate course that introduces students to a very wide variety of topics, usually including search and search heuristics, representational systems (including formal logic), problem solving, vision, expert...
Introduction: This very short book is apparently intended as a supplementary text in a graduate AI course. The author describes it as a \"text and reference work on the applications of non-standard logics to artificial intelligence (AI).\" It gives short and concise (too short and too concise, in...