15-819K Logic Programming
Lecture 22: Hyperresolution

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Parametric assumptions
  • Generalization
  • Subsumption
  • Hyperresolution
  • Splitting
• Previous lecture: Forward Chaining
• Next lecture: Linear Monadic Logic Programming

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning