Search
Skip to Search Results
Filter
Author / Creator / Contributor
Subject / Keyword
Year
Languages
Item type
-
[Review of the book Formal Methods in Artificial Intelligence, by Aamsay]
1996
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...
-
1991
Pelletier, Francis J., Schubert, Lenhart
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...
1 - 2 of 2