Generic Inference: A Unifying Theory for Automated Reasoning

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 an algebraic perspective (study of the valuation algebra framework), an algorithmic perspective (study of the generic inference schemes) and a practical perspective (formalisms and applications). Researchers in a number of fields including artificial intelligence, operational research, databases and other areas of computer science; graduate students; and professional programmers of inference methods will benefit from this work.

Author: Marc Pouly, Juerg Kohlas
Publisher: Wiley
Published: 05/24/2011
Pages: 484
Binding Type: Hardcover
Weight: 1.95lbs
Size: 9.30h x 6.20w x 1.10d
ISBN: 9780470527016

Review Citation(s):
Reference and Research Bk News 08/01/2011 pg. 203

About the Author
Marc Pouly, PhD, received the Award for Outstanding PhD Thesis in Computer Science at the University of Fribourg (Switzerland), in 2008. He was visiting researcher at the Cork Constraint Computation Centre in Ireland and, since 2010, he is researcher at the Interdisciplinary Centre for Security, Reliability and Trust of the University of Luxembourg.

Jürg Kohlas, PhD, is Professor of Theoretical Computer Science in the Department of Informatics at the University of Fribourg (Switzerland). His research interests include algebraic theory of information and probabilistic argumentation.

This title is not returnable