NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq
Jean-Philippe Bernardy
|
Stergios Chatzikyriakidis
|
Paper Details:
Year: 2017
Venue:
IWCS |
WS |
SIG: SIGSEM
Citations
URL
No Citations Yet
http://github.com/GU-CLASP/FraCoq
http://www.cogsci.ed.ac.uk/
http://compcert.inria.fr/man/manual.pdf
Field Of Study
Linguistic Trends
Discourse
Formal Semantics
Syntax
Task
Textual Entailment
Language
English
Similar Papers
Anaphora and Discourse Structure
Bonnie Webber
|
Matthew Stone
|
Aravind Joshi
|
Alistair Knott
|
The OTIM Formal Annotation Model: A Preliminary Step before Annotation Scheme
Philippe Blache
|
Roxane Bertrand
|
Mathilde Guardiola
|
Marie-Laure Guénot
|
Christine Meunier
|
Irina Nesterenko
|
Berthille Pallaud
|
Laurent Prévot
|
Béatrice Priego-Valverde
|
Stéphane Rauzy
|
THE INTONATIONAL STRUCTURING OF DISCOURSE
Julia Hirschberg
|
Janet Pierrehumbert
|
Coordination and context-dependence in the generation of embodied conversation
Justine Cassell
|
Matthew Stone
|
Hao Yan
|
Gesture Theory is Linguistics: On Modelling Multimodality as Prosody
Dafydd Gibbon
|