Title: Logical Foundations for Rule-Based Systems (Studies in Computational Intelligence) (Studies in Computational Intelligence)