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...

Larry Wos' Home Page
MCS Home Page