It is in the area of Systems Diagnosis. Supervision and Control that Knowledge-Based Techniques have had their most significant impact in recent years. In this

The field of knowledge-based systems (KBS) has expanded enormously during the last years, and many important techniques and tools are currently available. Appli

The book presents logical foundations for rule-based systems. An attempt has been made to provide an in-depth discussion of logical and other aspects of such sy

This two-volume set constitutes the refereed proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intellige

These Proceedings provide a general overview as well as detailed information on the developing field of reliability and safety of technical processes in automat