Ebook: Design of Logic-based Intelligent Systems

Content:
Chapter 1 Introduction (pages 1–8):
Chapter 2 Introduction to Logic and Problems SAT and MINSAT (pages 9–33):
Chapter 3 Variations of SAT and MINSAT (pages 34–54):
Chapter 4 Quantified SAT and MINSAT (pages 55–94):
Chapter 5 Basic Formulation Techniques (pages 95–131):
Chapter 6 Uncertainty (pages 132–154):
Chapter 7 Learning Formulas (pages 155–196):
Chapter 8 Accuracy of Learned Formulas (pages 197–231):
Chapter 9 Nonmonotonic and Incomplete Reasoning (pages 233–255):
Chapter 10 Question?and?Answer Processes (pages 256–297):
Chapter 11 Applications (pages 299–335):