Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Front Matter....Pages -
A Formal Concept View of Abstract Argumentation....Pages 1-12
Approximating Credal Network Inferences by Linear Programming....Pages 13-24
A Comparative Study of Compilation-Based Inference Methods for Min-Based Possibilistic Networks....Pages 25-36
Qualitative Combination of Independence Models....Pages 37-48
A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery....Pages 49-60
Causal Belief Networks: Handling Uncertain Interventions....Pages 61-72
On Semantics of Inference in Bayesian Networks....Pages 73-84
Evaluating Asymmetric Decision Problems with Binary Constraint Trees....Pages 85-96
On the Equivalence between Logic Programming Semantics and Argumentation Semantics....Pages 97-108
A Fuzzy-Rough Data Pre-processing Approach for the Dendritic Cell Classifier....Pages 109-120
Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams....Pages 121-132
Independence in Possibility Theory under Different Triangular Norms....Pages 133-144
Probabilistic Satisfiability and Coherence Checking through Integer Programming....Pages 145-156
Extreme Lower Previsions and Minkowski Indecomposability....Pages 157-168
Qualitative Capacities as Imprecise Possibilities....Pages 169-180
Conditional Preference Nets and Possibilistic Logic....Pages 181-193
Many-Valued Modal Logic and Regular Equivalences in Weighted Social Networks....Pages 194-205
Zero-Probability and Coherent Betting: A Logical Point of View....Pages 206-217
Conditional Random Quantities and Iterated Conditioning in the Setting of Coherence....Pages 218-229
Distance-Based Measures of Inconsistency....Pages 230-241
Safe Probability: Restricted Conditioning and Extended Marginalization....Pages 242-253
Maximin Safety: When Failing to Lose Is Preferable to Trying to Win....Pages 254-265
Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty....Pages 266-277
Structural Properties for Deductive Argument Systems....Pages 278-289
Measuring Inconsistency through Minimal Proofs....Pages 290-301
Representing Synergy among Arguments with Choquet Integral....Pages 302-314
A Reasoning Platform Based on the MI Shapley Inconsistency Value....Pages 315-327
Most Inforbable Explanations: Finding Explanations in Bayesian Networks That Are Both Probable and Informative....Pages 328-339
Structure Approximation of Most Probable Explanations in Bayesian Networks....Pages 340-351
Argumentation Based Dynamic Multiple Criteria Decision Making....Pages 352-363
Conditional Beliefs in a Bipolar Framework....Pages 364-375
Detecting Marginal and Conditional Independencies between Events and Learning Their Causal Structure....Pages 376-387
Measuring Incompleteness under Multi-valued Semantics by Partial MaxSAT Solvers....Pages 388-399
On the Tree Structure Used by Lazy Propagation for Inference in Bayesian Networks....Pages 400-411
Hierarchical Model for Rank Discrimination Measures....Pages 412-423
Extreme Points of the Credal Sets Generated by Elementary Comparative Probabilities....Pages 424-435
MCMC Estimation of Conditional Probabilities in Probabilistic Programming Languages....Pages 436-448
Sorted-Pareto Dominance and Qualitative Notions of Optimality....Pages 449-460
A First-Order Dynamic Probability Logic....Pages 461-472
Selecting Source Behavior in Information Fusion on the Basis of Consistency and Specificity....Pages 473-484
On the Problem of Reversing Relational Inductive Knowledge Representation....Pages 485-496
Analogical Proportions and Multiple-Valued Logics....Pages 497-509
Chain Graph Interpretations and Their Relations....Pages 510-521
On the Plausibility of Abstract Arguments....Pages 522-533
Back Matter....Pages -