ACL RD-TEC 1.0 Summarization of T75-2035

Paper Title:
FORMAL REASONING AND LANGUAGE UNDERSTANDING SYSTEM

Primarily assigned technology terms:

Other assigned terms:

  • approach
  • case
  • conceptual dependency
  • conceptual dependency theory
  • data structures
  • deduction
  • dependency theory
  • formal language
  • grammar
  • inferences
  • knowledge
  • knowledge structure
  • linguistics
  • logical formulae
  • logical representation
  • mapping
  • mappings
  • mechanisms
  • natural language
  • opinions
  • predicate calculus
  • priori
  • representations
  • semantic
  • semantic representation
  • semantic representations
  • surface form
  • theory
  • understanding
  • world knowledge

Extracted Section Types:


This page last edited on 10 May 2017.

*** ***