Design of logic-based intelligent systems.

"...both a handbook for the AI practitioner and a textbook for advanced undergraduate and graduate courses on intelligent systems." (International Journal of General Systems, June 2005) "...extremely well-written and insightful and has educational benefits even for those not intending to use the material directly." (IIE Transactions-Operations Engineering, March 2005) "...the book reads well and can be highly recommended." (Journal of Intelligent & Fuzzy Systems, Vol. 16, No. 3, 2005) "...will greatly interest you and your advanced students...a useful book." (Computing Reviews.com, February 16, 2005) "...extremely well written and insightful and has education benefits even for those not intending to use the material directly." (IIE Transactions on Operations Engineering) "Truemper offers definitive, state-of-the art coverage of this area." (CHOICE, November 2004) "...the author's novel approach has something going for it, and that some good examples of intelligent reasoning can be achieved by fitting them into the author's model." (Computing Reviews.com, August 2, 2004)