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...
Main Authors: | , |
---|---|
Corporate Author: | |
Format: | eBook |
Language: | English |
Published: |
Hoboken, N.J. :
Wiley,
[2011]
|
Subjects: | |
Online Access: | View fulltext via EzAccess |
Table of Contents:
- Front Matter
- Local Computation. Valuation Algebras
- Inference Problems
- Computing Single Queries
- Computing Multiple Queries
- Generic Constructions. Semiring Valuation Algebras
- Valuation Algebras for Path Problems
- Language and Information
- Applications. Dynamic Programming
- Sparse Matrix Techniques
- Gaussian Information
- References
- Index.
- pt. 1. Logical computation
- pt. 2. Generic constructions
- pt. 3. Applications.