Finding Hypothetical Answers with a Resolution Theorem Prover

Debra T. Burhans

Stuart C. Shapiro

State University of New York at Buffalo

Department of Computer Science and Engineering

Center for Cognitive Science

Next slide

Back to first slide

View graphic version