Ijaz Khattak,
Logical Foundations for Rule-Based Systems http://www.springer.com/us/book/9783540291176 need it badly can some one help please
Logical Foundations for Rule-Based Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Propositional Logic
-
Altmetric BadgeChapter 2 Predicate Calculus
-
Altmetric BadgeChapter 3 Attribute Logic
-
Altmetric BadgeChapter 4 Resolution
-
Altmetric BadgeChapter 5 Dual Resolution
-
Altmetric BadgeChapter 6 Basic Structure of Rule-Based Systems
-
Altmetric BadgeChapter 7 Rule-Based Systems in Propositional Logic
-
Altmetric BadgeChapter 8 Rule-Based Systems in Attributive Logic
-
Altmetric BadgeChapter 9 Rule-Based Systems in First-Order Logic
-
Altmetric BadgeChapter 10 Inference Control in Rule-Based Systems
-
Altmetric BadgeChapter 11 Logic Programming and Prolog
-
Altmetric BadgeChapter 12 Principles of Verification of Rule-Based Systems
-
Altmetric BadgeChapter 13 Analysis of Redundancy
-
Altmetric BadgeChapter 14 Analysis of Indeterminism and Inconsistency
-
Altmetric BadgeChapter 15 Reduction of Rule-Based Systems
-
Altmetric BadgeChapter 16 Analysis of Completeness
-
Altmetric BadgeChapter 17 An Introduction to Design of Rule-Based Systems
-
Altmetric BadgeChapter 18 Logical Foundations: the Ψ-Trees Based Approach
-
Altmetric BadgeChapter 19 Design of Tabular Rule-Based Systems with XTT
-
Altmetric BadgeChapter 20 Design Example: Thermostat
-
Altmetric BadgeChapter 21 Concluding Remarks