Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "automated reasoning"

Now showing items 1-5 of 5

  • Grammar Rewriting 

    Unknown author (1991-12-01)
    We present a term rewriting procedure based on congruence closure that can be used with arbitrary equational theories. This procedure is motivated by the pragmatic need to prove equations in equational theories where ...

  • Lifting Transformations 

    Unknown author (1991-12-01)
    Lifting is a well known technique in resolution theorem proving, logic programming, and term rewriting. In this paper we formulate lifting as an efficiency-motivated program transformation applicable to a wide variety ...

  • Observations on Cognitive Judgments 

    Unknown author (1991-12-01)
    It is obvious to anyone familiar with the rules of the game of chess that a king on an empty board can reach every square. It is true, but not obvious, that a knight can reach every square. Why is the first fact obvious ...

  • The Programmer's Apprentice Project: A Research Overview 

    Unknown author (1987-11-01)
    The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial ...

  • Tractable Inference Relations 

    Unknown author (1991-12-01)
    We consider the concept of local sets of inference rules. Locality is a syntactic condition on rule sets which guarantees that the inference relation defined by those rules is polynomial time decidable. Unfortunately, ...