Marc Pouly, Juerg Kohla, "Generic Inference: A Unifying Theory for Automated Reasoning"
2011 | ISBN: 0470527013 | 484 pages | PDF | 19 MB
A Rigorous Algebraic Study of the Most Popular Inference Formalisms
This unique text provides a complete algebraic and algorithmic study of generic inference methods that are derived from the general valuation algebra framework, with special focus on the many practical applications in computer science. Written by the leading international authorities on the topic, Generic Inference is divided into three parts: