Ecsqaru99





The Fifth European Conference on Symbolic and Quantitative Approaches

to Reasoning with Uncertainty




Conference Programme



Monday 5 July


09.30: Registration

09.30: Workshop on Logical and Uncertainty Models for Information Systems

14.00: Tutorial on Belief Functions

17.00: End of tutorial

18.00: End of workshop



Tuesday 6 July


09.00: Registration

09.30: Workshop on Decision-theoretic and Game-theoretic Agents

14.00: Tutorial on Bayesian Networks

14.00: Workshop on the ESPRIT Fusion Project

18.00: End of tutorial and workshops



Wednesday 7 July


09.00: Registration

09.30: Key note talk: Inferring causal explanations
Philippe Besnard

10.30: Coffee break

11.00: Gradient descent training of Bayesian networks
Finn Jensen

11.30: Optimized algorithm for learning Bayesian network from data
Fedia Khalfallah and Khaled Mellouli

12.00: Lazy propagation and independence of causal influence
Anders Madsen and Bruce D'Ambrosio

12.30: Updating directed belief networks
Boutheina Ben Yaghlane and Khaled Mellouli

13.00: Buffet lunch in the Ibis Hotel

14.30: A Monte Carlo algorithm for combining Dempster-Shafer belief based on approximate pre-computation
Serafin Moral and Antonio Salmeron

15.00: Handling different forms of uncertainty in regression analysis: a fuzzy belief structure approach
Simon Petit-Renaud and Thierry Denoeux

15.30: Information fusion in the context of stock index prediction
Stefan Siekmann, Jorg Gebhardt and Rudolf Kruse

16.00: Coffee break

16.30: Merging with integrity constraints
Sebastien Konieczny and Ramon Pino Perez

17.00: Avoiding non-ground variables
Stefan Bruning and Torsten Schaub

17.30: Non-monotonic and paraconsistent reasoning: From basic entailments to plausible relations
Ofer Arieli and Arnon Avron

18.00: A comparison of systematic and local search algorithms for regular CNF formulas
Ramon Bejar and Felip Manya

19.00: Drinks Reception in the Ibis Hotel



Thursday 8 July


09.30: Keynote talk:Robot navigation and map building with the event calculus
Murray Shanahan

10.30: Coffee break

11.00: A critique of inductive causation
Christian Borgelt and Rudolf Kruse

11.30: Anchoring symbols to vision data by fuzzy logic
Silvia Coradeschi and Alessandro Saffiotti

12.00: Filtering vs revision and update: let us debate!
Corine Cossart and Catherine Tessier

12.30: Assessing the value of a candidate: a qualitative possibilistic approach
Didier Dubois, Michel Grabisch and Henri Prade

13.00: Lunch

14.30: On bottom-up pre-processing techniques for automated default reasoning
Thomas Linke and Torsten Schaub

15.00: Probabilisitc logic programming using maximum entropy
Thomas Lukasiewicz and Gabriele Kern-Isberner

15.30: Open default theories over closed domains: An extended abstract
Michael Kaminski

16.00: Coffee break

16.30: Irrelevance and independence axioms in quasi-Bayesian theory
Fabio Cozman

17.00: Rough knowledge discovery and applications
J Guan and D Bell

17.30: Boolean-like interpretation of Sugeno integral
Ivan Kramosil

18.00: An extension of a linguistic negation model allowing us to deny nuanced property combinations
Daniel Pacholczyk

20.00: Conference Dinner



Friday 9 July


09.30: Keynote talk:Knowledge representation for inductive learning
Peter Flach

10.30: Coffee break

11.00: On the dynamics of default reasoning
Grigoris Antoniou

11.30: Learning default theories
Beatrice Duval and Pascal Nicolas

12.00: Connecting lexicographic with maximum entropy entailment
Rachel Bourne and Simon Parsons

12.30: Query-answering in prioritized default logic
Farid Benhammadi, Pascal Nicolas and Torsten Schaub

13.00: Lunch

14.30: Handling inconsistency efficiently in the incremental construction of stratified belief bases
Eric Gregoire

15.00: State recognition in discrete dynamical systems using Petri nets and evidence theory
Michele Rombaut, Iman Jarkass and Thierry Denoeux

15.30: An alternative to outward propagation for Dempster-Shafer Belief functions
Norbert Lehmann and Rolf Haenni

16.00: Coffee break

16.30: Argumentation and qualitative decision making
Simon Parsons and Shaw Green

17.00: Defeasible goals
Leendert van der Torre

17.30: Logical deduction using the local computation framework
Nic Wilson and Jerome Mengin

18.00: End of Conference



Return to the ecsqaru99 conference homepage