Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Record no. 34445)

000 -LEADER
fixed length control field 05416nam a22005055i 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783540450627
-- 978-3-540-45062-7
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
245 10 - TITLE STATEMENT
Title Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Sub Title 7th European Conference, ECSQARU 2003 Aalborg, Denmark, July 2-5, 2003 Proceedings /
Statement of responsibility, etc edited by Thomas Dyhre Nielsen, Nevin Lianwen Zhang.
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Berlin, Heidelberg :
Name of publisher Springer Berlin Heidelberg,
Year of publication 2003.
300 ## - PHYSICAL DESCRIPTION
Number of Pages XII, 608 p.
Other physical details online resource.
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited Papers -- Qualitative Decision Rules under Uncertainty -- Applications of Latent Class Analysis in Social Science Research -- Foundations of Uncertainty Concepts -- Transformations from Imprecise to Precise Probabilities -- A Representation Theorem and Applications -- On Modal Probability and Belief -- Bayesian Networks -- A Multi-layered Bayesian Network Model for Structured Document Retrieval -- Using Kappas as Indicators of Strength in Qualitative Probabilistic Networks -- Qualitative Bayesian Networks with Logical Constraints -- Introducing Situational Influences in QPNs -- Classification of Aerial Missions Using Hidden Markov Models -- Algorithms for Uncertainty Inference -- Dynamic Importance Sampling Computation in Bayesian Networks -- Morphing the Hugin and Shenoy–Shafer Architectures -- Learning -- Characterization of Inclusion Neighbourhood in Terms of the Essential Graph: Upper Neighbours -- Approximating Conditional MTE Distributions by Means of Mixed Trees -- Effective Dimensions of Partially Observed Polytrees -- Decision Graphs -- Applying Numerical Trees to Evaluate Asymmetric Decision Problems -- Mixed Influence Diagrams -- Decision Making Based on Sampled Disease Occurrence in Animal Herds -- Decision Network Semantics of Branching Constraint Satisfaction Problems -- Belief Functions -- Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography -- A Comparison of Methods for Transforming Belief Function Models to Probability Models -- Fuzzy Matching and Evidential Reasoning -- Modeling Positive and Negative Pieces of Evidence in Uncertainty -- Directed Evidential Networks with Conditional Belief Functions -- Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination -- Risk Assessment in Drinking Water Production Using Belief Functions -- Algebraic Structures Related to the Consensus Operator for Combining of Beliefs -- Fuzzy Sets -- Inclusion Measures in Intuitionistic Fuzzy Set Theory -- A Random Set Model for Fuzzy Labels -- On the Induction of Different Kinds of First-Order Fuzzy Rules -- Reasoning under Vagueness Expressed by Nuanced Statements -- Possibility Theory -- Partial Lattice-Valued Possibilistic Measures and Some Relations Induced by Them -- Coherent Conditional Probability as a Measure of Uncertainty of the Relevant Conditioning Events -- Decision Trees and Qualitative Possibilistic Inference: Application to the Intrusion Detection Problem -- Default Reasoning -- Multi-valued Conditional Events Avoid Lewis’ Triviality Result -- Solving Semantic Problems with Odd-Length Cycles in Argumentation -- On the Relation between Reiter’s Default Logic and Its (Major) Variants -- Belief Revision and Inconsistency Handling -- Probable Consistency Checking for Sets of Propositional Clauses -- On Iterated Revision in the AGM Framework -- Epistemic Logics for Information Fusion -- Logics -- Propositional Fusion Rules -- Preferential Logics for Reasoning with Graded Uncertainty -- Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories -- Modal (Logic) Paraconsistency -- A Formal Framework for Handling Conflicting Desires -- A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract) -- Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding -- Demo Papers -- ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning -- The Hugin Tool for Learning Bayesian Networks.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Artificial intelligence.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Artificial Intelligence (incl. Robotics).
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Science, general.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Mathematical Logic and Formal Languages.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Nielsen, Thomas Dyhre.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Zhang, Nevin Lianwen.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/b11792
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-BOOKS
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 2003.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
-- 0302-9743 ;
Holdings
Withdrawn status Lost status Damaged status Not for loan Current library Accession Number Uniform Resource Identifier Koha item type
        IMSc Library EBK5151 http://dx.doi.org/10.1007/b11792 E-BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha