ACL RD-TEC 1.0 Summarization of P92-1010

Paper Title:
REASONING WITH DESCRIPTIONS OF TREES

Authors: James Rogers and K. Vijay-Shanker

Primarily assigned technology terms:

Other assigned terms:

  • binary relations
  • case
  • control strategy
  • d-theory
  • fact
  • finite set
  • formalization
  • inference rule
  • inference rules
  • inferences
  • lemma
  • logic
  • names
  • negation
  • predicates
  • proposition
  • quasi-tree
  • relation
  • root node
  • semantic
  • semantic tableau
  • sub-tree
  • subsumption
  • tags
  • term
  • terms
  • theory
  • transitive closure
  • tree
  • trees

Extracted Section Types:


This page last edited on 10 May 2017.

*** ***