DE eng

Search in the Catalogues and Directories

Hits 1 – 10 of 10

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
Yusuke Kubota; Koji Mineshima; Noritsugu Hayashi. - : European Language Resources Association (ELRA)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
10
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern