Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Pouly, Marc, 1980- (Autor), Kohlas, Jürg, 1939- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken, N.J. : Wiley, [2011], ©2011.
Temas:
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)

MARC

LEADER 00000cam a2200000 a 4500
001 OR_ocn757511533
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cn|||||||||
008 111018s2011 nju ob 001 0 eng d
040 |a DG1  |b eng  |e pn  |c DG1  |d EBLCP  |d N$T  |d E7B  |d CDX  |d YDXCP  |d OCLCQ  |d REDDC  |d OCLCQ  |d CUS  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d UMI  |d COO  |d OCLCO  |d OCLCA  |d OCLCQ  |d IDEBK  |d OCLCQ  |d OCLCF  |d AU@  |d DEBBG  |d OCLCQ  |d DG1  |d OCLCQ  |d LIP  |d OCLCQ  |d MERUC  |d OCLCQ  |d CEF  |d OCLCQ  |d INT  |d OCLCQ  |d WYU  |d U3W  |d UAB  |d OCLCQ  |d VT2  |d OCLCO  |d UKAHL  |d OCLCQ  |d OCLCO  |d OCLCQ 
019 |a 732958513  |a 741452998  |a 747426513  |a 781458781  |a 816843615  |a 826647035  |a 1148153023 
020 |a 9781118010877  |q (electronic bk.) 
020 |a 1118010876  |q (electronic bk.) 
020 |a 9781118010846  |q (electronic bk.) 
020 |a 1118010841  |q (electronic bk.) 
020 |a 1283126338 
020 |a 9781283126335 
020 |z 9780470527016 
020 |z 0470527013 
020 |z 9781118010860 
020 |z 1118010868 
029 1 |a AU@  |b 000048840154 
029 1 |a AU@  |b 000050591341 
029 1 |a AU@  |b 000052899740 
029 1 |a CHNEW  |b 000938346 
029 1 |a CHVBK  |b 480186537 
029 1 |a DEBBG  |b BV041121147 
029 1 |a DEBBG  |b BV041906530 
029 1 |a DEBBG  |b BV043393586 
029 1 |a DEBSZ  |b 372801005 
029 1 |a DEBSZ  |b 396760724 
029 1 |a DEBSZ  |b 39699847X 
029 1 |a DEBSZ  |b 430994702 
029 1 |a DEBSZ  |b 485007347 
029 1 |a NZ1  |b 14287078 
029 1 |a NZ1  |b 15340713 
035 |a (OCoLC)757511533  |z (OCoLC)732958513  |z (OCoLC)741452998  |z (OCoLC)747426513  |z (OCoLC)781458781  |z (OCoLC)816843615  |z (OCoLC)826647035  |z (OCoLC)1148153023 
037 |a 10.1002/9781118010877  |b Wiley InterScience  |n http://www3.interscience.wiley.com 
050 4 |a QA162  |b .P65 2011eb 
072 7 |a MAT  |x 029000  |2 bisacsh 
082 0 4 |a 519.5/4  |2 22 
084 |a TEC008000  |2 bisacsh 
049 |a UAMI 
100 1 |a Pouly, Marc,  |d 1980-  |e author. 
245 1 0 |a Generic Inference :  |b a Unifying Theory for Automated Reasoning /  |c Marc Pouly, Jürg Kohlas. 
260 |a Hoboken, N.J. :  |b Wiley,  |c [2011], ©2011. 
300 |a 1 online resource (xxxi, 452 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
505 0 |a 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. 
520 |a "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"--  |c Provided by publisher 
504 |a Includes bibliographical references (pages 437-446) and index. 
505 0 |a pt. 1. Logical computation -- pt. 2. Generic constructions -- pt. 3. Applications. 
588 0 |a Print version record. 
590 |a O'Reilly  |b O'Reilly Online Learning: Academic/Public Library Edition 
650 0 |a Valuation theory. 
650 0 |a Algorithms. 
650 0 |a Algebra, Abstract. 
650 2 |a Algorithms 
650 6 |a Théorie des valuations. 
650 6 |a Algorithmes. 
650 6 |a Algèbre abstraite. 
650 7 |a algorithms.  |2 aat 
650 7 |a TECHNOLOGY & ENGINEERING  |x Electronics  |x General.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Probability & Statistics  |x General.  |2 bisacsh 
650 7 |a Algebra, Abstract.  |2 fast  |0 (OCoLC)fst00804919 
650 7 |a Algorithms.  |2 fast  |0 (OCoLC)fst00805020 
650 7 |a Valuation theory.  |2 fast  |0 (OCoLC)fst01163872 
700 1 |a Kohlas, Jürg,  |d 1939-  |e author. 
776 0 8 |i Print version:  |a Pouly, Marc, 1980-  |t Generic Inference.  |d Hoboken, New Jersey : Wiley, [2011], ©2011  |w (OCoLC)747426513 
856 4 0 |u https://learning.oreilly.com/library/view/~/9781118010860/?ar  |z Texto completo (Requiere registro previo con correo institucional) 
938 |a Askews and Holts Library Services  |b ASKH  |n AH16072616 
938 |a Coutts Information Services  |b COUT  |n 18006789  |c 110.00 USD 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL698878 
938 |a ebrary  |b EBRY  |n ebr10469758 
938 |a EBSCOhost  |b EBSC  |n 382058 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 312633 
938 |a YBP Library Services  |b YANK  |n 3651898 
938 |a YBP Library Services  |b YANK  |n 3537775 
938 |a YBP Library Services  |b YANK  |n 3588104 
994 |a 92  |b IZTAP