Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings

by Thomas D. Nielsen (Editor), Nevin L. Zhang (Editor)

Overview

The refereed proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2003, held in Aalborg, Denmark in July 2003.

The 47 revised full papers presented together with 2 invited survey articles were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on foundations of uncertainty concepts, Bayesian networks, algorithms for uncertainty inference, learning, decision graphs, belief functions, fuzzy sets, possibility theory, default reasoning, belief revision and inconsistency handling, logics, and tools.

Product Details

ISBN-13:	9783540404941
Publisher:	Springer Berlin Heidelberg
Publication date:	08/13/2003
Series:	Lecture Notes in Computer Science , #2711
Edition description:	2003
Pages:	608
Product dimensions:	6.10(w) x 9.17(h) x 0.05(d)

Table of Contents

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