03139nam 2200661 a 450 991087756150332120200520144314.01-283-12633-897866131263371-118-01086-81-118-01087-61-118-01084-1(CKB)2670000000083621(EBL)698878(SSID)ssj0000522846(PQKBManifestationID)11366830(PQKBTitleCode)TC0000522846(PQKBWorkID)10538584(PQKB)11787010(MiAaPQ)EBC698878(CaSebORM)9781118010860(OCoLC)757511533(OCoLC)826647035(OCoLC)ocn826647035 (EXLCZ)99267000000008362120101008d2011 uy 0engur|n|---|||||txtccrGeneric inference a unifying theory for automated reasoning /Marc Pouly, Jurg Kohlas1st editionHoboken, New Jersey Wiley20111 online resource (486 p.)Description based upon print version of record.0-470-52701-3 Includes bibliographical references and index.pt. 1. Logical computation -- pt. 2. Generic constructions -- pt. 3. Applications."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"--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 theoryAlgorithmsAlgebra, AbstractValuation theory.Algorithms.Algebra, Abstract.519.5/4TEC008000bisacshPouly Marc1980-1757611Kohlas Jurg1939-57982MiAaPQMiAaPQMiAaPQBOOK9910877561503321Generic inference4195514UNINA