Program

(Please note that some of the talk announcements link to presentation slides or papers.)

Thursday, 15 December
09:55 Welcome
10:00 Ulrike Hahn — Rational argument – A Bayesian Perspective
11:00 coffee break
11:30 Richard Moot and Christian Retore — Second order lambda calculus for meaning assembly: on the logical syntax of plurals
12:15 Marion Haemmerli — A formal account of space considered from different points of view
13:00 lunch break
14:30 Bartosz Wieckowski — Subatomic Denial
15:15 Alain Lecomte — Natural Reasoning as a Dialogical Activity
16:00 tea break
16:30 Robin Cooper and Ellen Breitholtz — Enthymematic Resources and Associative Reasoning in Dialogue
20:00 Conference dinner in Klein Tilburg
 
Friday, 16 December
10:00 Nissim Francez — A Proof-theoretic Reconstruction of Generalized Quantifiers
11:00 coffee break
11:30 Norbert E. Fuchs — Reasoning in Attempto Controlled English
12:15 Marcos Cramer — Higher-Order Dynamic Predicate Logic
13:00 lunch break
14:30 Bert Baumgaertner — Predicates and their Interpretations in Natural Reasoning
15:15 Ian Pratt-Hartmann — Some natural extensions of the classical syllogistic
Advertisements