Logical Foundations for Rule-Based Systems (Studies in Computational Intelligence, Band 11)