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


Take me back...


wos@mcs.anl.gov