Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings

Front Matter....Pages I-XXII
Front Matter....Pages 1-1
Analogical Inequalities....Pages 3-9
Boolean Analogical Proportions - Axiomatics and Algorithmic Complexity Issues....Pages 10-21
Front Matter....Pages 23-23
Evaluation of Arguments in Weighted Bipolar Graphs....Pages 25-35
Debate-Based Learning Game for Constructing Mathematical Proofs....Pages 36-45
Updating Probabilistic Epistemic States in Persuasion Dialogues....Pages 46-56
From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning....Pages 57-68
On Relating Abstract and Structured Probabilistic Argumentation: A Case Study....Pages 69-79
Front Matter....Pages 81-81
Structure-Based Categorisation of Bayesian Network Parameters....Pages 83-92
The Descriptive Complexity of Bayesian Network Specifications....Pages 93-103
Exploiting Stability for Compact Representation of Independency Models....Pages 104-114
Parameter Learning Algorithms for Continuous Model Improvement Using Operational Data....Pages 115-124
Monotonicity in Bayesian Networks for Computerized Adaptive Testing....Pages 125-134
Expert Opinion Extraction from a Biomedical Database....Pages 135-145
Solving Trajectory Optimization Problems by Influence Diagrams....Pages 146-155
Front Matter....Pages 157-157
Iterative Aggregation of Crowdsourced Tasks Within the Belief Function Theory....Pages 159-168
A Clustering Approach for Collaborative Filtering Under the Belief Function Framework....Pages 169-178
A Generic Framework to Include Belief Functions in Preference Handling for Multi-criteria Decision....Pages 179-189
A Recourse Approach for the Capacitated Vehicle Routing Problem with Evidential Demands....Pages 190-200
Evidential k-NN for Link Prediction....Pages 201-211
Ensemble Enhanced Evidential k-NN Classifier Through Random Subspaces....Pages 212-221
Front Matter....Pages 223-223
Comparison of Inference Relations Defined over Different Sets of Ranking Functions....Pages 225-235
A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases....Pages 236-245
On Boolean Algebras of Conditionals and Their Logical Counterpart....Pages 246-256
A Semantics for Conditionals with Default Negation....Pages 257-267
Front Matter....Pages 269-269
Incoherence Correction and Decision Making Based on Generalized Credal Sets....Pages 271-281
Reliable Knowledge-Based Adaptive Tests by Credal Networks....Pages 282-291
Front Matter....Pages 293-293
Algorithms for Multi-criteria Optimization in Possibilistic Decision Trees....Pages 295-305
Efficient Policies for Stationary Possibilistic Markov Decision Processes....Pages 306-317
An Angel-Daemon Approach to Assess the Uncertainty in the Power of a Collectivity to Act....Pages 318-328
Decision Theory Meets Linear Optimization Beyond Computation....Pages 329-339
Axiomatization of an Importance Index for Generalized Additive Independence Models....Pages 340-350
Front Matter....Pages 351-351
Fuzzy Weighted Attribute Combinations Based Similarity Measures....Pages 353-363
Online Fuzzy Temporal Operators for Complex System Monitoring....Pages 364-374
Front Matter....Pages 375-384
Complexity of Model Checking for Cardinality-Based Belief Revision Operators....Pages 385-385
A Two-Tiered Propositional Framework for Handling Multisource Inconsistent Information....Pages 387-397
Reasoning in Description Logics with Typicalities and Probabilities of Exceptions....Pages 398-408
Front Matter....Pages 409-420
Measuring Uncertainty in Orthopairs....Pages 421-421
Front Matter....Pages 423-432
Possibilistic MDL: A New Possibilistic Likelihood Based Score Function for Imprecise Data....Pages 433-433
Front Matter....Pages 435-445
The Complexity of Inferences and Explanations in Probabilistic Logic Programming....Pages 447-447
Front Matter....Pages 449-458
Count Queries in Probabilistic Spatio-Temporal Knowledge Bases with Capacity Constraints....Pages 447-447
RankPL: A Qualitative Probabilistic Programming Language....Pages 459-469
Generalized Probabilistic Modus Ponens....Pages 470-479
A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities....Pages 480-490
Back Matter....Pages 491-500
....Pages 501-502