|
Formal tools coming from logic and category theory are
important in both natural language semantics and in
computational semantics. Moreover, work on these tools
borrows heavily from all areas of theoretical computer
science. In the other direction, applications having
to do with natural language has inspired developments
on the formal side. The workshop invites papers on
both topics. Specific topics includes, but are not
limited to:
- logic for semantics of lexical items, sentences,
discourse and dialog
- continuations in natural language semantics
- formal tools in textual inference, such as logics
for natural language inference
- applications of category theory in semantics
- linear logic in semantics
- formal approaches to unifying data-driven and
declarative approaches to semantics
Program
9.00-10.00: Invited Speaker 1, Rafaella Bernardi
Grounding language into vision incrementally and without forgetting
10:00-10:30 Coffee
10:30-11:15 Andy Lücking, Robin Cooper, Staffan Larsson and Jonathan Ginzburg
Distribution is not enough: going Firther
11:15 - 12:00
Gene Louis Kim, Lane Lawley and Lenhart Schubert
Towards Natural Language Story Understanding with Rich Logical Schemas
12:00-13:30 Lunch
13:30 - 14:30 Invited Speaker 2, Krasimir Angelov
WordNet as an Interlingual Translation Lexicon
14:30 - 15:15 Kazuki Watanabe, Koji Mineshima and Daisuke Bekki
Questions in Dependent Type Semantics
15:30-16:00 Coffee
16:00 - 16:45 Luke Burke
Monads for hyperintensionality? A situation semantics for hyperintensional side effects
Program Committee
- Robin Cooper, University of Gothenburg
- Valeria de Paiva, Nuance
- Dag Haug, University of Oslo
- Aurelie Herbelot, University of Trento
- Makoto Kanazawa, Hosei University
- Larry Moss, Indiana University, Bloomington
- Gerald Penn, University of Toronto
- Kyle Richardson, Allen Institute for Artificial Intelligence
The details of NLCS'18
can be found here.
The details of NLCS'16
can be found here.
The program of NLCS'15
can be found here.
The program of NLCS'14
can be found here.
The program of NLCS'13
can be found here.
|
