AUD Library Catalog

Image from Google Jackets
Normal view MARC view

Design of logic-based intelligent systems / Klaus Truemper.

By: Publication details: Hoboken, NJ : Wiley, 2004.Description: xii, 352 p. ; 24 cmISBN:
  • 9780471484035 (hbk.) :
  • 0471484032 (hbk.) :
Subject(s): LOC classification:
  • QA76.76.E95 T74 2004
Contents:
Ch. 1. Introduction -- Ch. 2. Introduction to logic and problems SAT and MINSAT -- Ch. 3. Variations of SAT and MINSAT -- Ch. 4. Quantified SAT and MINSAT -- Ch. 5. Basic formulation techniques -- Ch. 6. Uncertainty -- Ch. 7. Learning formulas -- Ch. 8. Accuracy of learned formulas -- Ch. 9. Nonmonotonic and incomplete reasoning -- Ch. 10. Question-and-answer processes -- Ch. 11. Applications.

"A Wiley-Interscience publication."

Includes bibliographical references (p.336-338) and indexes.

Ch. 1. Introduction -- Ch. 2. Introduction to logic and problems SAT and MINSAT -- Ch. 3. Variations of SAT and MINSAT -- Ch. 4. Quantified SAT and MINSAT -- Ch. 5. Basic formulation techniques -- Ch. 6. Uncertainty -- Ch. 7. Learning formulas -- Ch. 8. Accuracy of learned formulas -- Ch. 9. Nonmonotonic and incomplete reasoning -- Ch. 10. Question-and-answer processes -- Ch. 11. Applications.

There are no comments on this title.

to post a comment.
  • Monday - Friday
  • 8:00 AM - 5:00 PM
  • Saturday - Sunday
  • Closed
  • Phone: +971 431 83183
  • Email: Library@aud.edu
  • Address: Sheikh Zayed Road -- P.O. Box 28282, Dubai, AE
  • Map & Directions