Symbolic and Quantitative Approaches to Reasoning with Uncertainty

1. Front Matter

   Pages I-XXII

   PDF

2. Analogical Reasoning

   1. Front Matter

      Pages 1-1

      PDF

   2. Analogical Inequalities

      • Henri Prade, Gilles Richard

      Pages 3-9

   3. Boolean Analogical Proportions - Axiomatics and Algorithmic Complexity Issues

      • Henri Prade, Gilles Richard

      Pages 10-21

3. Argumentation

   1. Front Matter

      Pages 23-23

      PDF

   2. Evaluation of Arguments in Weighted Bipolar Graphs

      • Leila Amgoud, Jonathan Ben-Naim

      Pages 25-35

   3. Debate-Based Learning Game for Constructing Mathematical Proofs

      • Nadira Boudjani, Abdelkader Gouaich, Souhila Kaci

      Pages 36-45

   4. Updating Probabilistic Epistemic States in Persuasion Dialogues

      • Anthony Hunter, Nico Potyka

      Pages 46-56

   5. From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning

      • Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo

      Pages 57-68

   6. On Relating Abstract and Structured Probabilistic Argumentation: A Case Study

      • Henry Prakken

      Pages 69-79

4. Bayesian Networks

   1. Front Matter

      Pages 81-81

      PDF

   2. Structure-Based Categorisation of Bayesian Network Parameters

      • Janneke H. Bolt, Silja Renooij

      Pages 83-92

   3. The Descriptive Complexity of Bayesian Network Specifications

      • Fabio G. Cozman, Denis D. Mauá

      Pages 93-103

   4. Exploiting Stability for Compact Representation of Independency Models

      • Linda C. van der Gaag, Stavros Lopatatzidis

      Pages 104-114

   5. Parameter Learning Algorithms for Continuous Model Improvement Using Operational Data

      • Anders L. Madsen, Nicolaj Søndberg Jeppesen, Frank Jensen, Mohamed S. Sayed, Ulrich Moser, Luis Neto et al.

      Pages 115-124

   6. Monotonicity in Bayesian Networks for Computerized Adaptive Testing

      • Martin Plajner, Jiří Vomlel

      Pages 125-134

   7. Expert Opinion Extraction from a Biomedical Database

      • Ahmed Samet, Thomas Guyet, Benjamin Negrevergne, Tien-Tuan Dao, Tuan Nha Hoang, Marie Christine Ho Ba Tho

      Pages 135-145

   8. Solving Trajectory Optimization Problems by Influence Diagrams

      • Jiří Vomlel, Václav Kratochvíl

      Pages 146-155

5. Belief Functions

   1. Front Matter

      Pages 157-157

      PDF

   2. Iterative Aggregation of Crowdsourced Tasks Within the Belief Function Theory

      • Lina Abassi, Imen Boukhris

      Pages 159-168

This book constitutes the refereed proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, held in Lugano, Switzerland, in July 2017. The 44 revised full papers presented together with 5 abstracts of invited talks were carefully reviewed and selected from 63 submissions and cover topics on analogical reasoning; argumentation; Bayesian networks; belief functions; conditionals; credal sets, credal networks; decision theory, decision making and reasoning under uncertainty; fuzzy sets, fuzzy logic; logics; orthopairs; possibilistic networks; and probabilistic logics, probabilistic reasoning.

• Analogical Reasoning
• Argumentation
• Bayesian Networks
• Belief Functions
• Conditionals
• Credal Sets
• Credal Networks
• Decision Theory
• Decision Making under Uncertainty
• Fuzzy Sets
• Fuzzy Logic
• Possibilistic Networks
• Probabilistic Logic
• Probabilistic Reasoning
• Artificial Intelligence
• Probability
• Programming Languages
• Logic Programming
• Knowledge Based Systems
• Learning Systems

• IDSIA, Lugano, Switzerland

  Alessandro Antonucci

• ONERA, Toulouse, France

  Laurence Cholvy

• Aix-Marseille University, Marseille, France

  Odile Papini

Policies and ethics