Program verification, defeasible reasoning, and two views of computer science Timothy R. Colburn General Article Pages: 97 - 116
The hierarchies of knowledge and the mathematics of discovery Clark Glymour General Article Pages: 75 - 95
Other bodies, other minds: A machine incarnation of an old philosophical problem Stevan Harnad General Article Pages: 43 - 54
Form, interpretation, and the uniqueness of content: Response to Morris Robert Cummins Critical Exchange Pages: 31 - 42
