Computational semantics

Known as: Semantic computation 
Computational semantics is the study of how to automate the process of constructing and reasoning with meaning representations of natural language… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
This chapter argues, briefly, that much work in formal Computational Semantics (alias CompSem) is not computational at all, and… (More)
Is this relevant?
2009
2009
Almost forty years ago Richard Montague proposed to analyse natural language with the same tools as formal languages. In… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Determining the polarity of a sentimentbearing expression requires more than a simple bag-of-words approach. In particular, words… (More)
  • table 1
  • table 2
  • figure 1
  • figure 2
  • table 3
Is this relevant?
2006
2006
In quantum computational logic meanings of sentences are identified with quantum information quantities: systems of qubits or… (More)
  • figure 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about… (More)
  • table 1
Is this relevant?
2001
2001
Inference tasks in computational semantics have mostly been tackled by means of first-order theorem proving tools. While this is… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
Is this relevant?
1999
1999
In this paper, an application of automated theorem proving techniques to computational semantics is considered. In order to… (More)
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
1993
1993
This thesis presents an approach to the description of natural language semantic the¬ ories within a situation theoretic… (More)
Is this relevant?
1985
1985
In the new Head-driven Phrase Structure Grammar (HPSG) language processing system that is currently under development at Hewlett… (More)
Is this relevant?
1982
1982
We argue that because the very concept of computation rests on notions of interpretation, the semantics of natural languages and… (More)
Is this relevant?