Wednesday, October 31, 2007

(22 talks)

Thursday, November 1, 2007

(24 talks)

Friday, November 2, 2007

(29 talks)

From 8:00

Registration

8:45-9:00

Opening

9:00-10:00

Invited talk I - Thierry Denoeux          Room: L’olivier

Chair: Khaled Mellouli

Invited talk II - Salem Benferhat       Room: L’olivier

Chair: Didier Dubois

Invited talk III - Anthony Hunter                Room: L’olivier

Chair: Leon van der Torre

10:10-11:00

W1.1 Room: Le figuier

2 talks (25 mn)  - (50 mn)

Causal Networks

Chair:  Rolf  Haenni

W1.2 Room: Le jasmin

2 talks (25 mn)  - (50 mn)

Belief revision & inconsistency handling I

Chair: Guillermo Simari

T1.1 Room: Le figuier

2 talks (25 mn) -(50 mn)

Bayesian networks I

Chair: Luis M. de Campos

T1.2 Room: Le jasmin

2 talks (25 mn) - (50 mn)

Belief Functions II

Chair: Claudio Sossai

F1.1 Room: Le figuier

2 talks (25 mn)  - (50 mn)

Game Theory

Chair: Foued Ben Abdelaziz

F1.2: Room: Le jasmin

2 talks (25 mn)  - (50 mn)

Belief Functions: Applications

Chair: Weiru Liu

11:00-11:20

Coffee Break (20 mn)

Coffee Break (20 mn)

Coffee Break (20 mn)

11:20-13:00

W2.1 Room: Le figuier

4 talks (25 mn) -

 (1h 40mn)

Logics under uncertainty I

Chair: Romano Scozzafava

W2.2 Room: Le jasmin

4 talks (25 mn) - (1h 40mn)

Argumentation Systems I

Chair: Andreas Herzig

T2.1 Room: Le figuier

5 talks (25 mn) - (2h 5mn)

Learning and Classification I

Chair: Sandra Sandri

T2.2 Room: Le jasmin

5 talks (25 mn) - (2h 5mn)

Reasoning about Preferences

Chair: Laurence Cholvy

F2.1 Room: Le figuier

4 talks (25 mn) - (1h 40mn)

Fuzzy Sets and fuzzy logic

Chair: Lluis Godo

F2.2 Room: Le jasmin

4 talks (25 mn) - (1h 40mn)

Learning and Classification II

Chair: Philippe Leray

13:00-13:25

Lunch (1h 30 mn)

Lunch (1h 30 mn)

13:25-14:30

Lunch (1h 30 mn)

14:30-14:55

W3.1 Room: Le figuier

5 talks (25 mn) - (2h 5mn)

Belief Functions I

Chair: Thierry Denoeux

W3.2 Room: Le jasmin

5 talks (25 mn) - (2h 5mn)

Reasoning and DM under uncertainty

Chair: Hélène Fargier

F3.1 Room: Le figuier

4 talks (25 mn) - (1h 40mn)

Logics under uncertainty II

Chair: Jeff Paris

F3.2 Room: Le jasmin

4 talks (25 mn) - (1h 40mn)

Possibility Theory

Chair: Giulianella Coletti

14:55-16:10

T3.1 Room: Le figuier

5 talks (25 mn) - (2h 5mn)

Bayesian networks II

Chair: Salem Benferhat

T3.2 Room: Le jasmin

5 talks (25 mn) - (2h 5mn)

Argumentation Systems II

Chair: Anthony Hunter

16:10-16:30

Coffee Break (20 mn)

16:30-16:35

F4.1 Room: Le figuier

5 talks (25 mn) - (2h 5mn)

Belief revision & inconsistency handling II

Chair: Torsten Schaub

F4.2 Room: Le jasmin

4 talks (25 mn) - (1h 40mn)

Applications

Chair: Odile Papini

16:35-17:00

17:00-18:00

Welcome Reception (1h)

18:00-18:10

Projection

Tunisia Odyssee

3000 years of  history

18:10-18:20

18h20-18:35

Departure for conference dinner

18:35

Breaking up

21:00-23:00

Conference dinner

Wednesday, 31

From 8:00

Registration

8:45-9:00

Opening

9:00-10:00

Invited talk

Information fusion using belief functions: new combination rules

Thierry Denoeux   -  Chair: Khaled Mellouli

10:10-11:00

W1.1 - Causal Networks

Chair:  Rolf  Haenni

- Causal Graphical Models with Latent Variables: Learning and Inference, Stijn Meganck, Philippe Leray, Bernard Manderick

-  Learning Causal Bayesian Networks from Incomplete Observational Data and Interventions, Hanen Borchani, Maher Chaouachi, Ben Amor Nahla

W1.2 - Belief revision & inconsistency handling I

Chair: Guillermo Simari

-  Measuring Inconsistency for Description Logics Based on Paraconsistent Semantic, Yue Ma, Guilin Qi,  Pascal Hitzler,  Zuoquan Lin

-  How Dirty is Your Relational Database? An Axiomatic Approach, Maria Vanina Martinez,  Andrea Pugliese,  Gerardo Simari,  V.S. Subrahmanian,  Henri Prade

11:00-11:20

Coffee Break (20 mn)

11:20-13:00

W2.1 - Logics under uncertainty I

Chair: Romano Scozzafava

-  A Top-Down Query Answering Procedure for Normal Logic Programs under the Any-World Assumption, Umberto Straccia

-  Measure Logic, Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic,  Zoran Ognjanovic

-  Weak implication in terms of conditional uncertainty measures,Giulianella Coletti,  Romano Scozzafava,  Barbara Vantaggi

-   Language Invariance and Spectrum Exchangeability, Juergen Landes, Jeff Paris,  Alena Vencovska

W2.2 - Argumentation Systems I

Chair: Andreas Herzig

-  On the Acceptability of Incompatible Arguments, Souhila Kaci,  Leendert van der Torre, Emil Weydert

-  Comparing argumentation semantics with respect to scepticism,Pietro Baroni,  Massimiliano Giacomin

-  An Algorithm for Computing Semi-Stable Semantics, Martin Caminada

-  The logical handling of threats, rewards, tips, and warnings, Leila Amgoud,  Jean-François Bonnefon,  Henri Prade

13:00-14:30

Lunch (1h 30 mn)

14:30-16:35

W3.1 - Belief Functions I

Chair: Thierry Denoeux

-  Binary Decision Diagrams for Dempster-Shafer Theory, Norbert Lehmann

-  Cautious merging of belief functions, Sebastien Destercke, Didier Dubois,  Eric Chojnacki

-  Consonant Belief Function induced by a Confidence Set of Pignistic Probabilities, Astride Aregui,  Thierry Denoeux

-  On the orthogonal projection of a belief function, Fabio Cuzzolin

-  On Latent Belief Structures, Frédéric Pichon, Thierry Denoeux

W3.2 - Reasoning and DM under uncertainty

Chair: Hélène Fargier

-  Conceptual Uncertainty and Reasoning Tools, Bertil Rolf

-  Reasoning with an  incomplete information exchange policy, Laurence Cholvy, Stéphanie Roussel

-  Qualitative constraint enforcement in advanced policy specification, Alessandra Mileo, Torsten Schaub

-  Hidden Markov Models for Qualitative , Spatio-temporal Reasoning, Zina Ibrahim,  Ahmed Tawfik,  Alioune Ngom

-  A Multiobjective Resource-Constrained Project-Scheduling Problem, Ben Abdelaziz Fouad, Krichen Saoussen,  Dridi Olfa

16:35-17:00

17:00-18:00

Welcome Reception (1h)

18:00-19:00

Projection on the history of Tunisia

Thursday, 1

9:00-10:00

Invited talk

Causality and Dynamics of Beliefs in Qualitative Uncertainty Frameworks

Salem Benferhat   - Chair: Didier Dubois

10:10-11:00

T1.1 - Bayesian networks I

Chair: Luis M. de Campos

-  Logical Compilation of Bayesian Networks, Michael Wachter,  Rolf Haenni

-  Local Monotonicity in Probabilistic Networks, Johan Kwisthout, Hans Bodlaender,  Gerard Tel

T1.2 - Belief Functions II

Chair: Claudio Sossai

-  The DSm Approach as a Special Case of Dempster-Shafer Theory, Milan Daniel

-  Interpreting Belief Functions as Dirichlet Distributions, Audun Jøsang,  Zied Elouedi

11:00-11:20

Coffee Break (20 mn)

11:20-13:25

T2.1 - Learning and Classification I

Chair: Sandra Sandri

-  Measures of Ruleset Quality Capable to Represent Uncertain Validity, Martin Holena

-  A Discriminative Learning Method of TAN Classifier, Qi Feng,  Fengzhan Tian,  Houkuan Huang

-  Discriminative  vs. Generative Learning of Bayesian Network Classifiers, Guzman Santafe,  Jose Antonio Lozano,  Pedro Larrañaga

-  PADUA Protocol: Strategies and Tactics, Maya Wardeh,  Trevor Bench-Capon,  Frans Coenen

A Semi-Naive Bayes Classifier with Grouping of Cases, Andrés R, Masegosa,  Joaquín Abellán,  Andrés Cano,  Serafín Moral

T2.2 - Reasoning about Preferences

Chair: Laurence Cholvy

-  Lexicographic refinements of Sugeno Integrals, Didier Dubois, Helene Fargier

-  Algebraic Structures for Bipolar Constraint-based Reasoning, Helene Fargier,  Nic Wilson

-  A Revised Qualitative Choice Logic for Handling Prioritized Preferences, Salem Benferhat,  Karima Sedki

-  An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preference, Sanjay Modgil

-  Relaxing Ceteris Paribus Preferences with Partially Ordered Priorities, Souhila Kaci,  Henri Prade

13:25-14:55

Lunch (1h 30 mn)

14:55-17:00

T3.1 - Bayesian networks II

Chair: Salem Benferhat

-  Independence Decomposition in Dynamic Bayesian Networks, Ildiko Flesch,  Peter Lucas

-  Average and Majority Gates: Combining Information by means of Bayesian Networks,L.M. de Campos,  J.M. Fernandez-Luna,  J.F. Huete,  M.A. Rueda

-  A Fast Hill-Climbing Algorithm for Bayesian Networks Structure Learning, José A. Gámez,  Juan L. Mateo,  José M. Puerta

-  On Directed and Undirected Propagation Algorithms for Bayesian Networks,Christophe Gonzales, Khaled Mellouli, Olfa Mourali

Using RFIDs and Collaborative Filtering for Targeted Advertising, Esma Nur Cinicioglu,  Prakash P. Shenoy,  Canan Kocabasoglu

T3.2 -Argumentation Systems II

Chair: Anthony Hunter

-  Dialectical Proof Theories for the Credulous Prudent Preferred Semantics of Argumentation, Caroline Devred,  Sylvie Doutre

-  Towards an Extensible Argumentation System, Adam Wyner,  Trevor Bench-Capon

-  Dialectical Explanations in Defeasible Argumentation, Alejandro García,  Nicolás Rotstein,  Guillermo Simari

-  Handling ignorance in argumentation: semantics of partial argumentation frameworks, Claudette Cayrol,  Caroline Devred,  Marie-Christine Lagasquie-Schiex

-  Arguing over Actions that Involve Multiple Criteria: A Critical Review, Wassila Ouerdane,  Nicolas Maudet,  Alexis Tsoukias

17:00-18:20

18h20

Departure for conference dinner

21:00-23:00

Conference dinner

Friday, 2

9:00-10:00

Invited talk

Elements of Argumentation

Anthony Hunter   - Chair: Leon van der Torre

10:10-11:00

F1.1 - Game Theory

Chair: Foued Ben Abdelaziz

-  Extending Classical Planning to the Multi-Agent Case: A Game-Theoretic Approach, Ramzi Ben Larbi, Sébastien Konieczny,  Pierre Marquis

-  Dependencies between players in Boolean games, Elise Bonzon,  Marie-Christine Lagasquie, Jérôme Lang

F1.2 - Belief Functions: Applications

Chair: Weiru Liu

-  Forward-Backward-Viterbi procedures in the Transferable Belief Model for state sequence analysis using belief functions, Emmanuel Ramasso, Michèle Rombaut,  Denis Pellerin

-  Uncertainty in Semantic Ontology Mapping : An Evidential Approach, Najoua Laamari, Boutheina Ben Yaghlane

11:00-11:20

Coffee Break (20 mn)

11:20-13:00

F2.1 - Fuzzy Sets and fuzzy logic

Chair: Lluis Godo

-  The Use of Fuzzy t-conorm Integral for Combining Classifiers, David Stefka,  Martin Holena

-  Integrated Query Answering with Weighted Fuzzy Rules,Alexandros Chortaras,  Giorgos Stamou,  Andreas Stafylopatis

-  On Decision Support under Risk by the WOWA Optimization, Wlodzimierz Ogryczak, Tomasz Sliwinski

-  Transposing the socialogy of organized action into a fuzzy environment, Sandra Sandri,  Christophe Sibertin-Blanc

F2.2 - Learning and Classification II

Chair: Philippe Leray

-  Split Criterions for Variable Selection using Decision Trees, Joaquín Abellán,  Andrés R. Masegosa

-  Inference and Learning in Multi-dimensional Bayesian Network Classifiers, Linda C. van der Gaag,  Peter R. de Waal

-  Combining decision trees based on imprecise probabilities and uncertainty measures, Joaquín Abellán,  Andrés R. Masegosa

-  Belief Classification  Approach Based on Generalized Credal EM, Imene Jraidi,  Zied Elouedi

13:00-14:30

Lunch (1h 30 mn)

14:30-16:10

F3.1 - Logics under uncertainty II

Chair: Jeff Paris

-  Best approximation of Ruspini partitions in Goedel logic, Pietro Codara,  Ottavio D'Antona,  Vincenzo Marra

-  A logical Approach to Qualitative and Quantitative Reasoning, Emad Saad

-  Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness, Thomas Lukasiewicz, Umberto Straccia

-  From DEL to EDL: exploring the power of converse events, Guillaume Aucher,  Andreas Herzig

F3.2 - Possibility Theory

Chair: Giulianella Coletti

-  An axiomatization of conditional possibilistic preference functionals, Didier Dubois,  Hélène Fargier,  Barbara Vantaggi

-  Conflict Analysis and Merging Operators Selection in Possibility Theory, Weiru Liu

-  A Possibilistic Extension of Description, Logics,Guilin Qi, Jeff Pan, Qiu Ji

-  Information Affinity: a new similarity measure for possibilistic uncertain information, Ilyes Jenhani,  Nahla Ben Amor,  Zied Elouedi, Salem Benferhat,  Khaled Mellouli

16:10-16:30

Coffee Break (20 mn)

16:30-18:10

F4.1-Belief revision & inconsistency handling II

Chair: Torsten Schaub

-  Approaches to Constructing a Stratified Merged Knowledge Base, Anbu Yue, Weiru Liu, Anthony Hunter

-  Syntactic propositional belief bases fusion with removed sets, Julien Hue,  Odile Papini, Eric Wurbel

-  COBA 2.0: A Consistency-Based Belief Change System, James Delgrande,  Daphne Liu,  Torsten Schaub,  Sven Thiele

-  An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics ,Yue Ma,  Guilin Qi,  Pascal Hitzler,  Zuoquan Lin

-  On the Dynamics of Total Preorders: Revising Abstract Interval Order, Richard Booth, Thomas Meyer

F4.2 – Applications

Chair: Odile Papini

-  Measuring  the quality of health-care services: a likelihood-based fuzzy modeling approach, Giulianella Coletti,  Luca Paulon,  Romano Scozzafava,  Barbara Vantaggi

-  Automatic Indexing from a Thesaurus using Bayesian Networks: Application to the Classification of Parliamentary Initiatives, de Campos Luis,  Huete Juan,  Fernandez-Luna Juan,  Romero Alfonso

-  A Genetic Programming Classifier Design Approach for Cell Images, Aydin Akyol,  Yusuf Yaslan,  Osman K. Erol

-  Development of an intelligent assessment system for solo taxonomies using fuzzy logic, John Vrettaros,  George Vouros,  Athanasios Drigas

18:10-18:35

18:35

Breaking up