Workshop: CRNL 2015
Computational Reasoning in Natural Language
Workshop on the occasion of Assaf Toledo’s PhD defense
Utrecht University, Utrecht Institute of Linguistics OTS
Monday, 26 October 2015
In recent years there has been a growing interest in computational methods that combine logical analysis, statistical modelling and linguistic principles for addressing reasoning in natural language. This workshop presents a number of computational approaches within artificial intelligence that deal with this long-lasting problem. In addition to four presentations of recent theoretical work in this area, the workshop will include short demonstrations of new systems that deal with various aspects of computational reasoning.
Session 1 – Kromme Nieuwegracht 80, 3512 HM Utrecht, room 1.06
09:00-09:10 | Opening (Yoad Winter) |
09:10-10:00 | Dan Roth (University of Illinois at Urbana-Champaign): Common Sense Reasoning for Natural Language Understanding |
10:00-10:50 | Reinhard Muskens (Tilburg University): Searching for Models with Natural Logic |
10:50-11:00 | Coffee/Tea |
11:00-11:50 | Assaf Toledo (Utrecht University/Bar Ilan University): Semantic Modeling of Textual Entailment |
Defense –Academiegebouw, Senaatszaal
12:45-13:45 | Defense of Assaf Toledo’s thesis: “Semantic Modeling of Textual Entailment: Proof-Based Annotation in a Compositional Framework” |
Session 2 – Kromme Nieuwegracht 80, 3512 HM Utrecht, room 1.06
16:00-16:50 | Johan Bos (University of Groningen): Semantic Parsing with Boxer |
16:50-17:30 | System demos: Johan Bos, Dan Roth and Assaf Toledo |
Participation in the workshop is free. Please register by Wednesday, 21 October, to help us estimate the number of participants.
Please select a valid form.