Generic Inference A Unifying Theory for Automated Reasoning

Generic Inference: A Unifying Theory for Automated Reasoning by Marc Pouly, published by John Wiley & Sons on May 24, 2011, is a comprehensive exploration of inference formalisms through a rigorous algebraic lens. Spanning 484 pages, this book delves into the application of a single generic inference algorithm across various tasks, providing insights into both theoretical and practical aspects of the subject.
Readers will find a detailed examination of valuation algebra frameworks alongside algorithmic studies of generic inference schemes. The book addresses the needs of researchers in fields such as artificial intelligence, operational research, and databases, as well as graduate students and professional programmers focused on inference methods. This edition serves as a valuable resource for those looking to deepen their understanding of the intersection between technology and engineering in the context of automated reasoning.
Official synopsis Publisher
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.
Publisher
Topics
FAQ
What is “Generic Inference A Unifying Theory for Automated Reasoning” about?
Who is the author of “Generic Inference A Unifying Theory for Automated Reasoning”?
When was “Generic Inference A Unifying Theory for Automated Reasoning” published?
What is the ISBN for “Generic Inference A Unifying Theory for Automated Reasoning”?
What are the book details (language, pages, edition)?
