Section: New Results
The main recent contributions of LED can be organised into two categories. On the one hand a number of tools, resources and programs directly associated with natural language processing have been developed, and on the other hand, certain theoretical and computational results concerning inference in the family of languages known as hybrid logics have been obtained (hybrid logics are languages with weaker expressive power than first-order logic, and related to the description logics used in Artificial Intelligence, that LED members want to apply to problems in natural language semantics).
Given the diversity of these topics, we think it would be misleading to point to just one achievement by LED in 2006. Rather, the interdisciplinary nature of the work conducted in LED is better illustrated by drawing draw special attention to two of the topics discussed below. First, on the linguistic side, we note the work (led by Claire Gardent) on the conversion of Maurice Gross's LADL tables (which give information about the morphosyntactic and semantic properties of French verb) into a computational format  ,  . This is a significant addition to the computational resources available to the francophone computational linguistics community. Second, on the inferential side, we draw attention to the work (led by Carlos Areces and Patrick Blackburn) that has been conducted on inference in hybrid logic. In 2006, a number of outstanding issues concerning inference for hybrid logic were resolved: general results on axiomatics (and the limits of axiomatics) for hybrid logic were published  ,  , termination results for a number of hybrid languages of varying strength were obtained (this work has been submitted for journal publication), and the resolution method for hybrid logic was further refined  .
Moreover, we would also like to mention that two research themes are emerging which should draw further together the linguistic- and logic-based work at LED, namely work on textual entailment  and dialogue  . Two PhD students (Paul Bedaride and Luciana Benotti) whose work bears on these topics began working at LED towards the end of 2006, so the following years should see advances in these areas.