[ home | schedule | assignments | projects | resources | handouts | overview | links ]

15-815 Automated Theorem Proving


Lecture 24: Parameter Variables

In this lecture we examine the role of parameters in the inverse method, which requires another extension of unification than for backwards reasoning. We also discuss factoring, which is necessary to obtain a complete system for the inverse method in the presence of variables.

Reading

Key Concepts

Links

[ home | schedule | assignments | projects | resources | handouts | overview | links ]


Frank Pfenning
fp@cs