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

Full description

Bibliographic Details

Main Authors:	Pouly, Marc (Author), Kohlas, Juerg (Author)
Corporate Author:	Safari, an O'Reilly Media Company
Format:	eBook
Language:	English
Published:	Wiley, 2011.
Edition:	1st edition.
Subjects:	Electronic books.
Online Access:	Connect to this electronic resource