Ernest Davis:
Order of Magnitude Comparisons of Distance. 1-38
Tad Hogg:
Solving Highly Constrained Search Problems with Quantum Computers. 39-66
Thomas Lukasiewicz:
Probabilistic Deduction with Conditional Constraints over Basic Events. 199-241
Jussi Rintanen:
Constructing Conditional Plans by a Theorem-Prover. 323-352
Alexander Borgida:
Extensible Knowledge Representation: the Case of Description Reasoners. 399-434