The problem of definition expansion and contraction

  • Larry Wos
  • Published 1987 in Journal of Automated Reasoning

Abstract

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions… (More)
DOI: 10.1007/BF00247438

Topics

  • Presentations referencing similar topics