Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings /
European Conference on Symbolic and Quantitative Approaches to Reasoning and UncertaintyCorporate Author
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty(7th :2003 :Alborg, Denmark)
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Nielsen, Thomas D.editor.
Zhang, Nevin L.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Artificial intelligence.
Computer science.
Mathematical logic.
Artificial Intelligence.
Science, Humanities and Social Sciences, multidisciplinary.
Computer Science, general.
Mathematical Logic and Formal Languages.