August 11, 1993

Multimedia In Ethics and Aesthetics: New projects from Carnegie Mellon’s Center for the Advancement of Applied Ethics (CAAE)
The Issue of Abortion in America
Art or Obscenity? The Case of Robert Mapplethorpe
Fight or Flight? Conflict Resolution Skills
Interactive Multimedia in Professional Ethics
Presented by Robert Cavalier, Lisa Leizman, Martha Harty, and Robert Mertzman

August 12, 1993

Keynote Address

Of Balloons & Bicycles, Multimedia and Ethics
Preston Covey
Department of Philosophy, Director, CAAE, CMU

Electronic Communications

Chair: Jim Scow, Dept. of Humanities, Stevens Institute of Technology

The Structure of Electronic Space in Bulletin Board Systems
George Teschner, Christopher Newport University Frank McCluskey, Mercy College

The Future of the APA’s Electronic Bulletin Board
Saul Traiger and Jan Panero, Occidental College

Computer Ethics

Responsibility Issues Surrounding Computer Decision Systems
Deborah G. Johnson, Dept. of Civil Engineering and Operations Research, Princeton University

Desktop Logic Programs

Chair: Peter Barnett, Associate Professor of Philosophy, John Jay College, CUNY

The LogiCoach Program
Nelson Pole, CSU, Ohio

SM-TUTOR: A Proof editor and tutor program for SMULLYAN’S first order logic
Walter Hoering, Philosophisches Seminar, Universitat Tuebingen

Results of a Two Year Study of Some Behavioral and Attitudinal Effects of Using CAI to Teach Logic
Marvin J. Croy, Dept. of Philosophy, University of North Carolina at Charlotte
James Cook, Dept. of Psychology, UNC/Charlotte
Michael Green, Curriculum and Instruction, UNC/Charlotte

Creative Problem-Solving and Metaphors

Chair: Nicholas Browniow, Philosophy, Carnegie Mellon

The Formal Implications of a Dual-Space Theory of Insight
David F. Wolf, II, Philosophy Dept. SUNY Binghampton

Erik Steinhart, Dept. of Philosophy, SUNY at Stony Brook
NETMET: A Program For Generating Metaphors

August 13, 1993

Keynote Address

From Philosophy to Artificial Intelligence
Clark Glymour, Department of Philosophy, CMU

Philosophy of Science and AI

Chair: John H. Akerson, Dept. of Philosophy/Religion, Appalachian State University, Boone, NC

Naturalism in Philosophy of Science, Complex Adaptive Systems, and the Problem of Induction
Larry Crockett, Dept. of Computer Science, Augsburg College, Minneapolis

Reliable Testing of Intractable Empirical Theories
Kevin Kelly and Oliver Schulte, Dept. of Philosophy, Carnegie Mellon University

The Nature of Computation

Notions of Computation
Valerie Gray Hardcastle, Dept. of Philosophy, Virginia Polytechnic Institute Computationalism and Functionalism in Artificial Intelligence
Wilfried Sieg and John Byrnes, Dept. of Philosophy, Carnegie Mellon University

Automated Theorem Proving and Intelligent CAI

Chair: Fred Portoraro, Philosophy, University of Toronto

The ETPS Educational Theorem Proving System
Matthew Bishop and Hongwei Xi, Department of Mathematics, CMU

Automated Proof Search in Predicate Logic
Wilfried Sieg and Richard Schemes, Dept. of Philosophy, CMU

August 14, 1993

Electronic Texts

The Santayana Edition: Computers, Texts, and Editorial Scholarship
Herman J. Saatkamp, Jr., Dept. of Philosophy and Humanities, Texas A&M University

Dialogue and Democracy: Philosophical Perspectives on Hypertext
Dr. Charles Ess, Drury College
Dr. David Koib, Bates College

Computational Linguistics

Discovering the Structure of Domains via NLP: Notes from the CLARIT Project
David A. Evans, Departments of Philosophy and Computer Science, CMU

Using NLP to Discover Relations Among Concepts: Notes from the SEXTANT Project
Gregory Grefenstette, Laboratory for Computational Linguistics, Department of Philosophy, CMU

NLP-Based Foreign Language Instruction: Notes from the ALICE Project
Lori S. Levin, Center for Machine Translation, School of Computer Science, CMU