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...
Κύριοι συγγραφείς: | , |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Hoboken, N.J. :
Wiley,
[2011]
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.