Tutorial on Connectionism
Mark St. John
The Structure of Extensions
Christopher Thornton
Some Problems in the Computational Representation of Inference
Tryg Ager
Philosophical Challanges in Distributed Computing
Peter Barnett
Should Computer Programs Be Ownable?
David Carey
Moral Responsibility and Programming
Robert Zerwekh
Computer System Design as Social Experimentation
Jo Ann Oravec and Larry Travis
Representational Genera
John Haugeland
Introduction: Leslie Burkholder
More Than the Sum of Its Predicates
Gregory Tropea
Designing and Implementing Finite Structures in SYMLOG
Fred Portoraro
A Graphic Mouse-driven Interface for Proof Construction
Marvin Croy
THE LOGIC STUDENT’S TOOLKIT
William Hanson
Computer-assisted instruction for Socratic dialogue
Don Barker and Stephen Scott
PROOF DESIGNER: A PROGRAMMABLE PROVER’S WORK-BENCH
Mark Bedau and Jim Moor
A non-deductive spatial model of ethical decision making
Pieter Mostert et al
Selecting a Contradiction in Natural Deduction Theorem Proving
Andrew McCafferty
How to Direct the Search for Proofs (in Sentential Logic)
Wilfried Sieg, Jonathan Pressler and Richard Schemes
Automated Translation from Logical Notation into English
Herbert Hendry and Joe Hanna
Advanced Educational Computing; The NeXT Machine
Demonstrator: Robert Cavalier
The Secret Operations of the Mind
Saul Traiger
Why Thinking Isn’t Computing
Daryl Close
Computationalism, The Frame Problem, and The Modularity Thesis
Eric Dietrich and Chris Fields
The Computer as a Laboratory for Epistemology
Herbert Simon
Introduction: Richard Schemes
Preparing the Electronic Document
Allen Renear
PDP and Genetic Algorithms
Ken Aizawa
A Distributed Connectionist Framework for Language Processing
J. L. McLelland
Computational Approaches to Inductive Inference
Kevin Kelly