| 000 -LEADER |
|---|
| fixed length control field |
06782ntm a2200769 c 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
681300884 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-601 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20210121112945.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr uuu---uuuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
111214s2011 xxu 000 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1283126338 (ebk) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780470527016 (hardback) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781283126335 (MyiLibrary) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781118010846 (ePDF) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781118010877 (print; oBook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1855754509 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1002/9781118010877 |
| Source of number or code |
doi |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)839027243 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(ZBM)1252.68007 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)732958513 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
ebr10469758 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)0816843615 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
cis23718649 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)ocn757511533 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
EBL698878 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)757511533 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(DE-599)GBV681300884 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GBVCP |
| Language of cataloging |
ger |
| Transcribing agency |
GBVCP |
| Description conventions |
rakwb |
| 041 0# - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
eng |
| 050 #0 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA162 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
519.5/4 |
| 082 09 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
TEC008000 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
mat |
| Assigning agency |
DE-601 |
| Number source |
z |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Pouly, Marc |
| Dates associated with a name |
1980- |
| 9 (RLIN) |
1621 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Generic inference |
| Remainder of title |
a unifying theory for automated reasoning |
| 260 3# - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Hoboken, New Jersey |
| Name of publisher, distributor, etc. |
Wiley |
| Date of publication, distribution, etc. |
2011 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xxxi, 452 p |
| Other physical details |
ill |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes bibliographical references and index |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
GENERIC INFERENCE: A Unifying Theory for Automated Reasoning; CONTENTS; List of Instances and Applications; List of Figures and Tables; Acknowledgments; Introduction; PART I LOCAL COMPUTATION; 1 Valuation Algebras; 1.1 Operations and Axioms; 1.2 First Examples; 1.3 Conclusion; Appendix: Generalizations of the Valuation Algebra Framework; A.1 Ordered Sets and Lattices; A.1.1 Partitions and Partition Lattices; A.2 Valuation Algebras on General Lattices; A.3 Valuation Algebras with Partial Projection; Problem Sets and Exercises; 2 Inference Problems; 2.1 Graphs, Trees and Hypergraphs. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
2.2 Knowledgebases and their Representation2.3 The Inference Problem; 2.4 Conclusion; Problem Sets and Exercises; 3 Computing Single Queries; 3.1 Valuation Algebras with Variable Elimination; 3.2 Fusion and Bucket Elimination; 3.2.1 The Fusion Algorithm; 3.2.2 Join Trees; 3.2.3 The Bucket Elimination Algorithm; 3.2.4 First Complexity Considerations; 3.2.5 Some Generalizing Complexity Comments; 3.2.6 Limitations of Fusion and Bucket Elimination; 3.3 Valuation Algebras with Neutral Elements; 3.3.1 Stable Valuation Algebras; 3.4 Valuation Algebras with Null Elements. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
3.5 Local Computation as Message-Passing Scheme3.5.1 The Complexity of Fusion as Message-Passing Scheme; 3.6 Covering Join Trees; 3.7 Join Tree Construction; 3.7.1 Join Tree Construction by Triangulation; 3.8 The Collect Algorithm; 3.8.1 The Complexity of the Collect Algorithm; 3.8.2 Limitations of the Collect Algorithm; 3.9 Adjoining an Identity Element; 3.10 The Generalized Collect Algorithm; 3.10.1 Discussion of the Generalized Collect Algorithm; 3.10.2 The Complexity of the Generalized Collect Algorithm; 3.11 An Application: The Fast Fourier Transform; 3.12 Conclusion. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Appendix : Proof of the Generalized Collect AlgorithmProblem Sets and Exercises; 4 Computing Multiple Queries; 4.1 The Shenoy-Shafer Architecture; 4.1.1 Collect & Distribute Phase; 4.1.2 The Binary Shenoy-Shafer Architecture; 4.1.3 Performance Gains due to the Identity Element; 4.1.4 Complexity of the Shenoy-Shafer Architecture; 4.1.5 Discussion of the Shenoy-Shafer Architecture; 4.1.6 The Super-Cluster Architecture; 4.2 Valuation Algebras with Inverse Elements; 4.2.1 Idempotent Valuation Algebras; 4.3 The Lauritzen-Spiegelhalter Architecture. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
4.3.1 Complexity of the Lauritzen-Spiegelhalter Architecture4.4 The HUGIN Architecture; 4.4.1 Complexity of the HUGIN Architecture; 4.5 The Idempotent Architecture; 4.5.1 Complexity of the Idempotent Architecture; 4.6 Answering Uncovered Queries; 4.6.1 The Complexity of Answering Uncovered Queries; 4.7 Scaling and Normalization; 4.8 Local Computation with Scaling; 4.8.1 The Scaled Shenoy-Shafer Architecture; 4.8.2 The Scaled Lauritzen-Spiegelhalter Architecture; 4.8.3 The Scaled HUGIN Architecture; 4.9 Conclusion; Appendix: Valuation Algebras with Division. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
D.1 Properties for the Introduction of Division. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"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"-- |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"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)"-- |
| 533 ## - REPRODUCTION NOTE |
|---|
| Type of reproduction |
Online-Ausg. |
| Place of reproduction |
Palo Alto, Calif |
| Agency responsible for reproduction |
ebrary |
| Date of reproduction |
2011 |
| Note about reproduction |
Electronic reproduction; Available via World Wide Web |
| Fixed-length data elements of reproduction |
|2011|||||||||| |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Valuation theory |
| 9 (RLIN) |
1622 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithms |
| 9 (RLIN) |
864 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra, Abstract |
| 9 (RLIN) |
1378 |
| 653 #0 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Algebra, Abstract |
| 653 #0 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Algorithms |
| 653 #0 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Valuation theory |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kohlas, Jürg |
| Dates associated with a name |
1939- |
| 9 (RLIN) |
1623 |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
ebrary, Inc |
| 9 (RLIN) |
4 |
| 776 1# - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| International Standard Book Number |
9781118010846 |
| 776 1# - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| International Standard Book Number |
9781118010860 |
| 776 1# - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| International Standard Book Number |
1118010876 |
| 776 1# - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| International Standard Book Number |
9781118010877 |
| 776 1# - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| International Standard Book Number |
1118010841 |
| 776 1# - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| International Standard Book Number |
9781118010846 |
| 787 08 - OTHER RELATIONSHIP ENTRY |
|---|
| Relationship information |
Print version: |
| Title |
Generic Inference : A Unifying Theory for Automated Reasoning |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Link text |
table of contents |
| Uniform Resource Identifier |
<a href="http://www.gbv.de/dms/bowker/toc/9780470527016.pdf">http://www.gbv.de/dms/bowker/toc/9780470527016.pdf</a> |
| 900 ## - EQUIVALENCE OR CROSS-REFERENCE-PERSONAL NAME [LOCAL, CANADA] |
|---|
| Numeration |
TUB Hamburg <830> |
| Date of a work |
Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots |
| 900 ## - EQUIVALENCE OR CROSS-REFERENCE-PERSONAL NAME [LOCAL, CANADA] |
|---|
| Numeration |
Ressortbibliotheken des BMEL |
| Dates associated with a name |
!Thünen-Institut! Online-Ressource |
| Date of a work |
Ebook noch nicht erworben! Nach dem Kauf: Vervielfältigungen (z. B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|