1 |
Underspecification and interpretive parallelism in Dependent Type Semantics
|
|
|
|
In: https://www.aclweb.org/anthology/W19-1001 (2019)
|
|
BASE
|
|
Show details
|
|
2 |
Coercion as Proof Search in Dependent Type Semantics
|
|
|
|
In: Oslo Studies in Language, Vol 10, Iss 2 (2018) (2018)
|
|
BASE
|
|
Show details
|
|
3 |
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types
|
|
|
|
In: 11th International Workshop on Logic and Engineering of Natural Language Semantics @ JSAI International Symposia on AI (isAI2017) - Revised Selected Papers ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal.inria.fr/hal-01098748 ; LENLS: Logic and Engineering of Natural Language Semantics, JSAI / isAI, Nov 2014, Kanagawa, Japan. pp.144-159, ⟨10.1007/978-3-662-48119-6_11⟩ ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls11/index.html (2014)
|
|
BASE
|
|
Show details
|
|
4 |
On the cognitive efficacy of euler diagrams in syllogistic reasoning: A relational perspective
|
|
|
|
In: http://ceur-ws.org/Vol-854/paper2.pdf (2012)
|
|
BASE
|
|
Show details
|
|
5 |
Conservativity for a hierarchy of Euler and Venn reasoning systems
|
|
|
|
In: http://ceur-ws.org/Vol-510/paper3.pdf (2009)
|
|
BASE
|
|
Show details
|
|
6 |
A Diagrammatic Inference System with Euler Circles
|
|
|
|
In: http://abelard.flet.keio.ac.jp/person/takemura/paper/146-rev-eul-j-comp.pdf (2009)
|
|
BASE
|
|
Show details
|
|
7 |
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design
|
|
|
|
In: http://abelard.flet.keio.ac.jp/person/takemura/paper/95-eul-j-comp.pdf (2008)
|
|
BASE
|
|
Show details
|
|
8 |
Higher-order logical inference with compositional semantics
|
|
|
|
In: http://aclweb.org/anthology/D/D15/D15-1244.pdf
|
|
BASE
|
|
Show details
|
|
9 |
Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations
|
|
|
|
In: http://csjarchive.cogsci.rpi.edu/Proceedings/2011/papers/0508/paper0508.pdf
|
|
BASE
|
|
Show details
|
|
10 |
Development of a General-Purpose Categorial Grammar Treebank
|
|
|
|
BASE
|
|
Show details
|
|
|
|