02378nam a2200325 a 4500 vtls000056054 KUKTEM 20251117150457.0 111118t2011 nju f b 001 0 eng d 9780470527016 (hardback) 9781118010877 (oBook) 9781118010846 (ePDF) 9781118010860 (ePub) 201201301618 fauzi 201111181005 sri 201111180959 sri UMP QA162 .P68 2011 Pouly, Marc Generic inference : a unifying theory for automated reasoning / Marc Pouly, Jürg Kohlas Hoboken, New Jersey : Wiley, ©2011 xxxi, 452 p. ; 25 cm. Includes bibliographical references (pages 437-446) and index "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 inferenc 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"-- Provided by publisher "The book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area and shows that all these tasks can be performed by a single generic inference algorithm. It will include 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)"-- Provided by publisher Valuation theory Algorithms Algebra, Abstract Kohlas, Jürg Table of contents only http://www.loc.gov/catdir/toc/fy11pdf03/2010042336.html 0 0 0 0 20000 20000 2019-09-04 357.45 0 QA162 .P68 2011 0000061923 2019-09-04 00:00:00 1 357.45 2019-09-04 OPEN VIRTUA40 59149 59155 VTLSSORT0080*0200*0201*0202*0203*0400*0900*1000*2450*2600*3000*5040*5200*5201*6500*6501*6502*7000*8560*9991