Review: James R. Slagle, Experiments with a Deductive Question-Answering Program [Book Review]

Journal of Symbolic Logic 35 (4):596-596 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: James R. Slagle, Philip Bursky, Experiments with a Multipurpose, Theorem-Proving Heuristic Program. [REVIEW]David C. Cooper - 1970 - Journal of Symbolic Logic 35 (4):596-596.
Intuitions for inferences.Sinan Dogramaci - 2012 - Philosophical Studies 165 (2):371-399.
.[author unknown] - unknown
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Review: James R. Slagle, Automatic Theorem Proving with Renamable and Semantic Resolution. [REVIEW]Lawrence T. Wos - 1970 - Journal of Symbolic Logic 35 (4):595-596.
Do Thought Experiments Have a Life of Their Own? Comments on James Brown, Nancy Nersessian and David Gooding.Ian Hacking - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:302 - 308.
Proof and implication in mill's philosophy of logic.Geoffrey Scarre - 1984 - History and Philosophy of Logic 5 (1):19-37.
Meaning, truth and interpretation.Kirk Ludwig - manuscript
The epistemology of thought experiments: A non-eliminativist, non-platonic account.Hayley Clatterbuck - 2013 - European Journal for Philosophy of Science 3 (3):309-329.
The difference between answering a 'why' - question and answering a 'how much' - question.Marcel J. Boumans - unknown
Evaluating a legal argument program: The BankXX experiments. [REVIEW]Edwina L. Rissland, David B. Skalak & M. Timur Friedman - 1997 - Artificial Intelligence and Law 5 (1-2):1-74.
Philosophical problems, cluster concepts, and the many lives of Molyneux’s question.Brian R. Glenney - 2013 - Biology and Philosophy 28 (3):541-558.
Deductive and inductive conditional inferences: Two modes of reasoning.Henrik Singmann & Karl Christoph Klauer - 2011 - Thinking and Reasoning 17 (3):247-281.
Answering the Charge of Fascism.James R. Thompson - 1999 - The Chesterton Review 25 (1/2):251-255.

Analytics

Added to PP
2013-11-22

Downloads
4 (#1,563,644)

6 months
1 (#1,478,435)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references