Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus Alan Bundy OriginalPaper Pages: 109 - 126
Automated analysis of operators on state tables: A technique for intelligent search Thomas Kramer OriginalPaper Pages: 127 - 153
Negation as Failure. Completeness of the Query Evaluation Process for horn clause programs with recursive definitions C. AquilanoR. BarbutiM. Martelli OriginalPaper Pages: 155 - 170
A decision procedure for combinations of propositional temporal logic and other specialized theories David A. Plaisted OriginalPaper Pages: 171 - 190
Seventy-five problems for testing automatic theorem provers Francis Jeffry Pelletier Problem Corner Pages: 191 - 216