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

Front Matter....Pages -
Qualitative Decision Rules under Uncertainty....Pages 1-21
Applications of Latent Class Analysis in Social Science Research....Pages 22-36
Transformations from Imprecise to Precise Probabilities....Pages 37-49
A Representation Theorem and Applications....Pages 50-61
On Modal Probability and Belief....Pages 62-73
A Multi-layered Bayesian Network Model for Structured Document Retrieval....Pages 74-86
Using Kappas as Indicators of Strength in Qualitative Probabilistic Networks....Pages 87-99
Qualitative Bayesian Networks with Logical Constraints....Pages 100-112
Introducing Situational Influences in QPNs....Pages 113-124
Classification of Aerial Missions Using Hidden Markov Models....Pages 125-136
Dynamic Importance Sampling Computation in Bayesian Networks....Pages 137-148
Morphing the Hugin and Shenoy–Shafer Architectures....Pages 149-160
Characterization of Inclusion Neighbourhood in Terms of the Essential Graph: Upper Neighbours....Pages 161-172
Approximating Conditional MTE Distributions by Means of Mixed Trees....Pages 173-183
Effective Dimensions of Partially Observed Polytrees....Pages 184-195
Applying Numerical Trees to Evaluate Asymmetric Decision Problems....Pages 196-207
Mixed Influence Diagrams....Pages 208-219
Decision Making Based on Sampled Disease Occurrence in Animal Herds....Pages 220-229
Decision Network Semantics of Branching Constraint Satisfaction Problems....Pages 230-242
Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography....Pages 243-254
A Comparison of Methods for Transforming Belief Function Models to Probability Models....Pages 255-266
Fuzzy Matching and Evidential Reasoning....Pages 267-278
Modeling Positive and Negative Pieces of Evidence in Uncertainty....Pages 279-290
Directed Evidential Networks with Conditional Belief Functions....Pages 291-305
Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination....Pages 306-318
Risk Assessment in Drinking Water Production Using Belief Functions....Pages 319-331
Algebraic Structures Related to the Consensus Operator for Combining of Beliefs....Pages 332-344
Inclusion Measures in Intuitionistic Fuzzy Set Theory....Pages 345-356
A Random Set Model for Fuzzy Labels....Pages 357-369
On the Induction of Different Kinds of First-Order Fuzzy Rules....Pages 370-381
Reasoning under Vagueness Expressed by Nuanced Statements....Pages 382-394
Partial Lattice-Valued Possibilistic Measures and Some Relations Induced by Them....Pages 395-406
Coherent Conditional Probability as a Measure of Uncertainty of the Relevant Conditioning Events....Pages 407-418
Decision Trees and Qualitative Possibilistic Inference: Application to the Intrusion Detection Problem....Pages 419-431
Multi-valued Conditional Events Avoid Lewis’ Triviality Result....Pages 432-439
Solving Semantic Problems with Odd-Length Cycles in Argumentation....Pages 440-451
On the Relation between Reiter’s Default Logic and Its (Major) Variants....Pages 452-463
Probable Consistency Checking for Sets of Propositional Clauses....Pages 464-476
On Iterated Revision in the AGM Framework....Pages 477-488
Epistemic Logics for Information Fusion....Pages 489-501
Propositional Fusion Rules....Pages 502-514
Preferential Logics for Reasoning with Graded Uncertainty....Pages 515-527
Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories....Pages 528-539
Modal (Logic) Paraconsistency....Pages 540-551
A Formal Framework for Handling Conflicting Desires....Pages 552-563
A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract)....Pages 564-575
Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding....Pages 576-587
ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning....Pages 588-593
The Hugin Tool for Learning Bayesian Networks....Pages 594-605
Back Matter....Pages -