Wednesday 6th
Thursday 7th
Friday 8th
from 8.00
8.45 - 9.00
9.00 - 10.00
Invited I
Serafín Moral
Invited II
Jérôme Lang
Invited III
Rudolf Kruse
10.10 - 11.00
Networks I
Systems I
Belief Functions
11.00 - 11.25
Coffee Break
Coffee Break
Coffee Break
11.25 - 13.05
Networks II
Systems II
Special Session
Industrial Applications
Belief merging
13.05 - 14.30


14.30 - 14.45
Causality and
Logics I
14.45 - 15.45
Fuzzy Models
Bayesian Networks
Decision and
15.55 - 16.50
Belief Revision
Logics II

16.50 - 17.10
Coffee Break
Coffee Break
17.10 - 18.50

Many valued

Graphical Models

19.00 - 20.00
Welcome Reception
21.00 - 23.00
Conference Dinner

Wednesday, July 6th

Session W0 (09.00 - 10.00): Invited talk

Imprecise Probability in Graphical Models: Achievements and Challenges
S. Moral

Session W1A (10.10 - 11.00): Bayesian Networks I

Alert Systems for production Plants: A Methodology Based on Conflict Analysis
T. Nielsen, F. Jensen

Hydrologic Models for Emergency Decision Support Using Bayesian Networks
M. Molina, R. Fuentetaja, L. Garrote

Session W1B (10.10 - 11.00): Argumentation Systems I

Argument-based Expansion Operators in Possibilistic Defeasible Logic Programming
C. Chesñevar, G. Simari, L. Godo, T. Alsinet

On the acceptability of arguments in bipolar argumentation frameworks
M. Lagasquie-Schiex, C. Cayrol

Session W2A (11.25 - 13.05): Bayesian Networks II

Nonlinear Deterministic Relationships in Bayesian Networks
B. Cobb, P. Shenoy

Penniless propagation with Mixtures of Truncated Exponentials
R. Rumi, A. Salmerón

Approximate factorisation of probability trees
I. Martínez, S. Moral, C. Rodríguez, A. Salmerón

Abductive inference in Bayesian networks: finding a partition of the explanation space
J. Flores, J. Gamez, S. Moral

Session W2B (11.25 - 13.05): Argumentation Systems II

Symmetric Argumentation Frameworks
S. Coste-Marquis, C. Devred, P. Marquis

Evaluating argumentation semantics with respect to skepticism adequacy
M. Giacomin, P. Baroni

Logic of Dementia Guidelines in a Probabilistic Argumentation Framework
H. Lindgren, P. Eklund

Gradual valuation for bipolar argumentation frameworks
M. Lagasquie-Schiex, C. Cayrol

Session W3A (14.45 - 16.50): Fuzzy Models

Bilattice-Based Squares and Triangles
O. Arieli, C. Cornelis, G. Deschrijver, E. Kerre

A new algorithm to compute low T-Transitive approximation of a fuzzy relation preserving symmetry.
L. Garmendia, A. Salvador

Computing a transitive opening of a reflexive and symmetric fuzzy relation
L. Garmendia, A. Salvador

Generating fuzzy models from deep knowledge:robustness and interpretability issues
L. Ironi, R. Guglielmann

Analysis of the TaSe-II TSK-type Fuzzy System for function approximation
Luis Javier Herrera Maldonado, Héctor Pomares, Ignacio Rojas, Alberto Guillén-Perales, Mohammed Awad

Session W3B (14.45 - 16.50): Inconsistency Handling

Measuring Inconsistency in Requirements Specifications
K. Mu, Z. Jin, R. Lu, W. Liu

A modal logic for reasoning with contradictory beliefs which takes into account the Number and the Reliability of Sources
L. Cholvy

A possibilistic inconsistency handling in Answer Set Programming
P. Nicolas, L. Garcia, I. Stephan

Remedying Inconsistent Sets of Premises
P. Besnard

Measuring the quality of uncertain information using possibilistic logic
A. Hunter, W. Liu

Session W4A (17.10 - 18.50): Probabilistic Classifiers

Hybrid Bayesian Estimation Trees Based on Label Semantics
Z. Qin, J. Lawry

Selective Gaussian Naive Bayes Model for Diffuse Large-B-Cell Lymphoma Classification
A. Masegosa, A. Cano, J. Castellano, S. Moral

Towards a Definition of Evaluation Criteria for Probabilistic Classifiers
S. Benferhat, N. Ben Amor, z. Eouedi

Methods to Determine the Branching Attribute in Bayesian Multinets Classifiers
A. Cano, J. Castellano, A. Masegosa, S. Moral

Session W4B (17.10 - 18.50): Many valued logics

Non-deterministic Semantics for Paraconsistent C-systems
A. Avron

Brun Normal Forms for Co-Atomic Lukasiewicz Logics
S. Aguzzoli, O. D'Antona, V. Marra

Poset Representation for Godel and Nilpotent Minimum Logics
S. Aguzzoli, B. Gerla, C. Manara

Multi-valued Model Checking in Dense-Time
A. Fernández Vilas, J. Pazos Arias, A. Barragáns Martínez, M. López Nores, R. Díaz Redondo, A. Gil Solla, J. García Duque, M. Ramos Cabrer

Thursday, July 7th

Session T0 (09.00 - 10.00): Invited talk

Some representation and computational issues in social choice
J. Lang

Session T1A (10.10 - 11.00): Belief Functions

Probabilistic Transformations of Belief Functions
M. Daniel

Contextual discounting of belief functions
M. David, Q. Benjamin, T. Denoeux

Session T1B (10.10 - 11.00): Clustering

Default clustering from sparse data sets
J. Velcin, J. Ganascia

New Clustering Technique for Inicialization of Centres in TSK Clustering-Based Fuzzy Systems
L. Herrera Maldonado, H. Pomares, I. Rojas, A. Guillén-Perales

Session T2A (11.25 - 13.05): Uncertainty measures

A Notion of Comparative Probabilistic Entropy based on the Possibilistic Specificity Ordering
E. Huellermeier, D. Dubois

Comparative conditional possibilities
B. Vantaggi, G. Coletti

Consonant random sets: structure and properties
E. Miranda

Second-Level Possibilistic Measures Induced by Random Variables
I. Kramosil

Session T2B (11.25 - 13.05): Probabilistic Reasoning

Coherent Restrictions of Vague Conditional Lower-Upper Probability Extensions
A. Capotorti, M. Zagoraiou

Type Uncertainty in Ontologically-Grounded Qualitative Probabilistic Matching
D. Poole, C. Smyth

Some theoretical properties of conditional probability assessments
A. Gilio, V. Biazzo

Unifying Logical and Probabilistic Reasoning
R. Haenni

Session T3A (14.30 - 15.45): Causality and Independence

Racing for Conditional Independence Inference
R. Bouckaert, M. Studeny

Causality, Simpson's Paradox, and Context-Specific Independence
M. Sanscartier, E. Neufeld

A Qualitative Characterisation of Causal Independence Models using Boolean Polynomials
M. van Gerven, P. Lucas, T. van der Weide

Session T3B (14.30 - 15.45): Uncertainty logics I

Possibilistic inductive logic programming
M. Serrurier, H. Prade

Query Answering in Normal Logic Programs under Uncertainty
U. Straccia

Probabilistic Description Logic Programs
T. Lukasiewicz

Session T4A (15.55 - 17.10): Belief Revision

Revising geoinformation : the results of REV!GIS
S. Benferhat, J. Bennaim, R. Jeansoulin, M. Khelfallah, S. Lagrue, O. Papini, N. Wilson, E. Würbel

Multiple Semi-Revision in Possibilistic Logic
G. Qi, W. Liu, D. Bell

Mediation using m-states
T. Meyer, P. Pozos Parra, L. Perrussel

Session T4B (15.55 - 17.10): Uncertainty logics II

A logical treatment of possibilistic conditioning
E. Marchioni

A zero-layer based fuzzy probabilistic logic for conditional probability
T. Flaminio

A logic with coherent conditional probabilities
N. Ikodinovic, Z. Ognjanovic

Friday, July 8th

Session F0 (09.00 - 10.00): Invited talk

Knowledge-Based Operations for Graphical Models in Planning
R. Kruse

Session F1A (10.10 - 11.00): Planning

Optimal Threshold Policies for Operation of a Dedicated-Platform with Imperfect State Information - A POMDP Framework
A. Farrokh, V. Krishnamurthy

APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability
S. Majercik

Session F1B (10.10 - 11.00): Classification

Qualitative inference in possibilistic option decision trees
I. Jenhani, Z. Elouedi, N. Ben amor, K. Mellouli

Partially supervised learning by a credal EM approach
P. Vannoorenberghe, P. Smets

Session F2A (11.25 - 13.05): Industrial Applications (Invited session organized by R. Kruse)

Knowledge-Based Operations for Graphical Models in Planning (II)
J. Gebhardt, R. Kruse

Molecular Fragment Mining for Drug Discovery
C. Borgelt , M. R. Berthold, D. E. Patterson

Learning Methods for Air Traffic Management
F. Rehm, F. Klawonn

Automatic Selection of Data Analysis Methods
D. D. Nauck, M. Spott, B. Azvine

Session F2B (11.25 - 13.05): Belief Merging

Combining multiple knowledge bases by negotiation: A possibilistic approach
G. Qi, W. Liu, D. Bell

A Local Fusion Method of Temporal Information
M. Khelfallah, B. Benhamou

Conciliation and consensus in iterated belief merging
O. Gauwin, S. Konieczny, P. Marquis

An Argumentation Framework for Merging Conflicting Knowledge Bases: The Prioritized Case
L. Amgoud, S. Kaci

Session F3A (14.45 - 16.50): Learning Bayesian Networks

Foundation for the New Algorithm Learning Pseudo-independent Models
J. Lee

Scalable, Efficient and Correct Learning of Markov Boundaries under the Faithfulness Assumption
J. Pena, J. Bjorkegren, J. Tegner

Discriminative Learning of Bayesian Network Classifiers via the TM Algorithm
G. Santafé, J. Lozano, P. Larrañaga

Constrained Score+(local)Search Methods for Learning Bayesian Networks
J. Gamez, J. Puerta

On the use of restrictions for learning Bayesian networks
L. De Campos, J. Castellano

Session F3B (14.45 - 16.50): Decision and Preferences

Expressing Preferences From Generic Rules and Examples
D. Dubois, S. Kaci, H. Prade

Multicriteria decision making via fuzzy revealed preferences
I. Georgescu

An argumentation-based approach to multiple criteria decision
L. Amgoud, J. Bonnefon, H. Prade

Algorithms for a Nonmonotonic Logic of Preferences
S. Kaci, L. van der Torre

On the qualitative comparison of sets of positive and negative affects
D. Dubois, H. Fargier

Session F4A (17.10 - 18.50): Graphical Models

A Decision-Based Approach for Recommending in Hierarchical Domains
J. Huete, L. De Campos, J. Fernandez-Luna, M. Gomez

Probabilistic Graphical Models for the Diagnosis of Analog Electrical Circuits
C. Borgelt, R. Kruse

Qualified Probabilistic Predictions using Graphical Models
Z. Luo

Session F4B (17.10 - 18.50): Uncertainty Reasoning

About the processing of possibilistic and probabilistic queries
O. Pivert, P. Bosc

Possibility theory for reasoning about uncertain soft constraints
M. Pini, F. Rossi, B. Venable

Conditional Deduction Under Uncertainty
A. Josang, S. Pope, M. Daniel