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

Free Registration

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 1Kromme 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.

CRNL 2015 Free Registration

CRNL 2015 Free Registration