ACL RD-TEC 1.0 Summarization of W91-0104

Paper Title:
INHERENTLY REVERSIBLE GRAMMARS, LOGIC PROGRAMMING AND COMPUTABILITY

Other assigned terms:

  • approach
  • axioms
  • binary relation
  • case
  • categorial grammars
  • composition
  • compositionality
  • computational linguist
  • concept
  • concepts
  • decidability
  • denotation
  • derivation
  • device
  • exponential time
  • fact
  • finite set
  • first-order logic
  • formalism
  • formalisms
  • generation
  • grammar
  • grammar formalism
  • grammars
  • hypotheses
  • implementation
  • inference rules
  • interpreter
  • knowledge
  • left-recursion
  • linguist
  • linguistic
  • linguistic description
  • linguistic knowledge
  • linguistic structures
  • logic
  • mapping
  • meaning
  • natural language
  • opinion
  • parse
  • parsing problem
  • polynomial time
  • predicates
  • priori
  • process
  • queries
  • query
  • relation
  • reordering
  • reversibility problem
  • reversible grammar
  • semantic
  • semantic compositionality
  • semantic content
  • semantic rules
  • subsumption
  • symbols
  • syntactic compositionality
  • syntax
  • technique
  • term
  • terms
  • text
  • theorem
  • transformation
  • tree
  • unification grammar
  • unification grammars
  • words

Extracted Section Types:


This page last edited on 10 May 2017.

*** ***