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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Pouly, Marc, 1980- (Συγγραφέας), Kohlas, Jürg, 1939- (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: Wiley InterScience (Online service)
Μορφή: Ηλ. βιβλίο
Γλώσσα: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.