Logic and Engineering of Natural Language Semantics 13 (LENLS 13)

Aim and Topics

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the 8th JSAI International Symposia on AI (isAI2016) sponsored by the Japan Society for Artificial Intelligence (JSAI).

The first day of LENLS will include an Unshared Task on Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites, for which there are more specific submission details at http://www.compling.jp/fracas_task/index.html.

We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following:

• Formal syntax, semantics and pragmatics of natural language
• Model-theoretic and/or proof-theoretic semantics of natural language
• Computational Semantics
• Game-theoretic/Bayesian approaches to pragmatics
• Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics)
• Formal Philosophy of language
• Scientific methodology and/or experimental design for linguistics

Selected Papers

We also plan to publish a selection of the accepted/invited papers as a portion of a volume "JSAI-isAI selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag).

1st Day: November 13 (Sun), 2016. Unshared Task Workshop@NINJAL

• Alastair Butler
"Unshared Task at LENLS13 -- Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites --"

• Robin Cooper (joint work with Stergios Chatzikyriakidis and Simon Dobnik)
"Testing the FraCaS test suite"

• Daisuke Bekki
"FraCaS, JSeM and the 'Inferences as Tests' paradigm"
• Alastair Butler, Ai Kubota, Shota Hiyama and Kei Yoshimoto
"Treebank annotation of FraCaS and JSeM"
• Oleg Kiselyov
"Transformational Semantics on a tree bank"

• Tim O'Gorman
"Improving AMR performance on FraCaS"

• Ran Tian and Kentaro Inui
"Unshared Task of Natural Language Inference"
• Koji Mineshima
"How ccg2lambda solves FraCaS/JSeM"
• Yusuke Kubota
"FraCaS meets transformational grammar"

• Masaaki Nagata
"Can semantics contribute to neural machine translation?"

2nd Day: November 14 (Mon), 2016. LENLS13@Keio University

• Hsiang-Yun Chen
"Solving the Proportion Problem"
• Naoya Fujikawa
"Coordination and Anaphora in Attitude Contexts"

• Lukas Rieser
"Truth-conditionals and Use-conditionals: and expressive modal analysis"
• Eric Mccready and Gr\'egoire Winterstein
"Negotiating Epistemic Authority"

• Bruno Mery
"Lessons from a Prototype Implementation of Montagovian Lexical Semantics"
• Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
"On the interpretation of dependent plural anaphora in a dependently-typed setting"
• Eriko Kinoshita, Koji Mineshima and Daisuke Bekki
"An Analysis of Selectional Restrictions with Dependent Type Semantics"

• Youichi Matsusaka
"Reference and Pattern Recognition: A Metasemantic Study"

3rd Day: November 15 (Tue), 2016. LENLS13@Keio University

• Tomohide Kinuhata
"Interpretation of Wh-words in Aza-Irabu Miyakoan"
• Osamu Sawada
"Interpretations of embedded expressives: A view from the Japanese comparative expressive motto"

• Oleg Kiselyov and Leo Tingchen Hsu
"Non-canonical Coordination in the Transformational Approach"
• Alastair Butler
"From meaning representations to syntactic trees"
• Philippe de Groote
"Lambek Categorial Grammars as Abstract Categorial Grammars"

• Kristina Liefke and Mark Bowker
"Rich situated propositions: the 'right' objects for the content of propositional attitudes"
• Shuhei Shimamura
"A Nonmonotonic Sequent Calculus with Downward Conditional"
• Matthias Hofer
"Game Semantics and Vagueness in Natural Language"

• Robin Cooper
"Proper names in interaction"

Alternates

• Yasuo Nakayama
"Conversation as a Game"

Sponsor

LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration".