• Publications
  • Influence
Natural Language Inference in Coq
TLDR
In this paper we propose a way to deal with natural language inference (NLI) by implementing Modern Type Theoretical Semantics in the proof assistant Coq. Expand
  • 39
  • 5
  • PDF
Shami: A Corpus of Levantine Arabic Dialects
TLDR
In this paper, we construct the first Levantine Dialect Corpus (SDC) covering data from the four dialects spoken in Palestine, Jordan, Lebanon and Syria. Expand
  • 22
  • 3
  • PDF
Language as Mechanisms for Interaction
TLDR
We argue that the modelling of a psychologically-realistic grammar necessitates recasting the notion of natural language in terms of our ability for interaction with others and the environment, abandoning the competence-performance dichotomy. Expand
  • 56
  • 2
  • PDF
Adjectival and Adverbial Modification: The View from Modern Type Theories
TLDR
We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. Expand
  • 15
  • 2
  • PDF
An Account of Natural Language Coordination in Type Theory with Coercive Subtyping
TLDR
We discuss the semantics of NL coordination in modern type theories MTTs with coercive subtyping, arguing that the semantic infelicity of some cases of quantifier coordination is due to the incompatible semantics of the relevant quantifiers. Expand
  • 27
  • 1
  • PDF
On the Interpretation of Common Nouns: Types Versus Predicates
TLDR
A theory for predicational forms of judgemental interpretations is introduced and is shown to be able to deal with some of the negated sentences and conditionals appropriately. Expand
  • 15
  • 1
  • PDF
Modern Perspectives in Type-Theoretical Semantics
TLDR
This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics. Expand
  • 11
  • 1
A Compositional Bayesian Semantics for Natural Language
TLDR
We propose a compositional Bayesian semantics that interprets declarative sentences in a natural language by assigning them probability conditions. Expand
  • 9
  • 1
  • PDF
An overview of Natural Language Inference Data Collection: The way forward?
Understanding a Natural Language (NL) sentence amounts to understanding its consequences as well as the sentences that it is a consequence of. As Cooper et al. (1996) aptly put it ‘inferentialExpand
  • 10
  • 1
  • PDF
Can Modern Standard Arabic Approaches be used for Arabic Dialects? Sentiment Analysis as a Case Study
We present the Shami-Senti corpus, the first Levantine corpus for Sentiment Analysis (SA), and investigate the usage of off-the-shelf models that have been built for Modern Standard Arabic (MSA) onExpand
  • 5
  • 1
  • PDF
...
1
2
3
4
5
...