-
Generic Inference: A Unifying Theory for Automated Reasoning
Author Juerg Kohlas , Marc Pouly
This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single generic inference algorithm. Written by the leading international au....
Release Date 2011/05