Logical Foundations for Rule-Based Systems

The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verifica...

Full description

Bibliographic Details
Main Author: Ligêza, Antoni (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Edition:Second Edition.
Series:Studies in Computational Intelligence, 11
Subjects:
Online Access:Full Text via HEAL-Link

Similar Items