Symbolic and Quantitative Approaches to Reasoning with Uncertainty [[electronic resource] ] : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings / / edited by Thomas D. Nielsen, Nevin L. Zhang

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
• Edizione: 1st ed. 2003.
• Descrizione fisica: 1 online resource (XII, 608 p.)
• Disciplina: 006.3
• Soggetto topico: Artificial intelligence; Computer science; Mathematical logic; Artificial Intelligence; Science, Humanities and Social Sciences, multidisciplinary; Computer Science, general; Mathematical Logic and Formal Languages
• Persona (resp. second.): NielsenThomas D; ZhangNevin L
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• ISBN: 3-540-45062-9
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466158803316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Artificial Intelligence ; ; 2711