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 inc...

Full description

Bibliographic Details

Main Authors:	Pouly, Marc, 1980- (Author), Kohlas, Jürg, 1939- (Author)
Format:	eBook
Language:	English
Published:	Hoboken, N.J. : Wiley, [2011], ©2011.
Subjects:	Valuation theory. Algorithms. Algebra, Abstract. Algorithms Electronic books.
Online Access:	Connect to the full text of this electronic book