A New Technique for Verifying and Correcting Logic Programs Ricardo CaferraNicolas Peltier OriginalPaper Pages: 277 - 318
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem Alan BundyFausto GiunchigliaToby Walsh OriginalPaper Pages: 319 - 346
Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference David SturgillAlberto Maria Segre OriginalPaper Pages: 347 - 376