19-20 Jul 2015
Bloomington IN, U.S.A.
COCONAT 2015
Conference on Computing Natural Reasoning
July 19-20, 2015
Indiana University, Bloomington
http://www.indiana.edu/~iulg/wollic/coconat.htm
Held with WoLLIC'15
Logic was originally meant to systematize and analyze arguments in
natural language. But in the 20th century the main developments in
logic focused on mathematics and its foundations. Recently, a number
of researchers have focused on logical systems tuned to natural
language semantics to reconnect with the older tradition. The logical
and conceptual underpinnings of some of these systems remains unclear,
although some recent work has begun to address formal foundations.
The aim of this conference is to contribute to this direction in
semantics and to discuss logics, especially proof systems, well-suited
for natural language semantics and to explore comparisons between
these systems. We also welcome input from people invoved in
computational semantics, psychology of reasoning, and computer
implementations of natural reasoning systems.
Topics of interest include:
* fragments of first-order logic which are powerful enough to
represent interesting linguistic phenomena and yet small enough to
be computationally feasible;
* extended syllogistic logics;
* logics and algorithms for use in textual entailment;
* natural logic and computational semantics;
* proof theoretic semantics;
* reasoning as model search;
* natural reasoning and model checking;
* natural logic and the psychology of reasoning;
* formalizations of inference tasks centered on linguistic
expressions;
* applications of natural logic;
* formal models of reasoning in specific domains ('team' reasoning,
models of reasoning in games).
We solicit talks on relevant topics. There will also be poster
sessions, preceded by plenary 'flash' presentations of posters.
Invited Speakers:
Valeria de Paiva (Nuance Communications))
Nate Kushman (MIT)
Matthias Scheutz (Tufts University)
Neil Tennant (Ohio State University)
Submissions
We invite submissions of 5-10 pages abstracts. Papers must be
submitted electronically at the CoCoNat 2015 EasyChair website:
https://easychair.org/conferences/?conf=coconat15. The deadline for
submissions of papers is April 15, 2015, and we expect to notify
authors by May 6.