A Unifying Theory for Automated Reasoning
by
Marc Pouly, Juerg Kohlas
Language: English
Release Date: January 10, 2012
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 authority on the topic, it includes...