Program
from 8.00 |
Registration |
|||||
8.45 - 9.00 |
Opening |
|||||
9.00 - 10.00 |
Invited
I Serafín Moral |
Invited
II Jérôme Lang |
Invited
III Rudolf Kruse |
|||
10.10 - 11.00 |
||||||
11.00 - 11.25 |
Coffee
Break |
Coffee
Break |
Coffee
Break |
|||
11.25 - 13.05 |
||||||
13.05 - 14.30 |
Lunch |
Lunch |
Lunch |
|||
14.30 - 14.45 |
||||||
14.45 - 15.45 |
||||||
15.55 - 16.50 |
||||||
16.50 - 17.10 |
Coffee
Break |
Coffee
Break |
||||
17.10 - 18.50 |
||||||
19.00 - 20.00 |
Welcome
Reception |
|||||
21.00 - 23.00 |
Conference
Dinner |
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
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
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