## Recent Papers by L. Wos

These papers can be downloaded in postscript form by clicking on the appropriate tag.

For examples of significant challenges (on a Ph.D. level) remaining in the area of
automated reasoning, see the following.

P335.ps.Z "The
Problem of Automated Theorem Finding,"

P336.ps.Z
"The Problem of Selecting an Approach Based on Prior Success,"

P337.ps.Z
"The Problem of Reasoning by Analogy,"

P365.ps.Z
"The Problem of Naming and Function Replacement,"

P366.ps.Z
"The Problem of Reasoning by Case Analysis,"

P367.ps.Z
"The Problem of Induction,"

P427.ps.Z
"The Problem of Strategy and Hyperresolution,"

P428.ps.Z
"The Problem of Hyperparamodulation,"

P461.ps.Z
"The Problem of Hyperparamodulation and Nuclei."

## Other Recent Papers

- P387.ps.Z
"The Resonance Strategy,"
*Computers Math. Applic.* **29**:2, pp.
133-178, 1995. Also Preprint MCS-P487-1093.
- P430.ps.Z
"The Field of Automated Reasoning,"
*Computers Math. Applic.* **29**:2,
pp. xi-xiv, 1995. Also Preprint MCS-P430-0494.
- P479.ps.Z
"Searching for Circles of Pure Proofs,"
*The Journal of Automated Reasoning*
**15**, pp. 279-315, 1995. Also Preprint MCS-P479-1094.
- P522.ps.Z
"The Power of Combining Resonance with Heat," Journal of Automated Reasoning 17 (1996) 23-81.
Also Preprint MCS-P522-0695.
- P540.ps.Z
"OTTER and the Moufang Axiom Problem," Preprint MCS-P540-0895.

Take me back...

*wos@mcs.anl.gov
**
*