LEO-II and Satallax on the Sledgehammer test bench

, &
Journal of Applied Logic 11 (1):91-102 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2012.12.002

Links

PhilArchive



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

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

Human dignity on the test bench.Anotj Kapust - 2007 - Philosophische Rundschau 54 (4):279 - 307.
Aberrations of a sledgehammer: Reply to Devitt.Michael Luntley - 1991 - Philosophical Studies 62 (3):315 - 323.
On the locus of medical discovery.Brandon P. Reines - 1991 - Journal of Medicine and Philosophy 16 (2):183-209.
System description: The tableaux work bench.Rajeev Gore - manuscript
US Women Federal Court Judges Appointed by President Carter.Elaine Martin - 2009 - Feminist Legal Studies 17 (1):43-59.
Effect test spaces and effect algebras.Stanley Gudder - 1997 - Foundations of Physics 27 (2):287-304.
Turing test, easy to pass; human mind, hard to understand.Cristi Stoica - unknown
The cartesian test for automatism.Gerald J. Erion - 2001 - Minds and Machines 11 (1):29-39.
Taken by surprise: The paradox of the surprise test revisited. [REVIEW]Joseph Y. Halpern & Yoram Moses - 1986 - Journal of Philosophical Logic 15 (3):281 - 304.
The Turing test.B. Jack Copeland - 2000 - Minds and Machines 10 (4):519-539.
To test or not to test: A clinical dilemma.David B. Resnik - 1995 - Theoretical Medicine and Bioethics 16 (2).
Newell's list.Joseph Agassi - 2003 - Behavioral and Brain Sciences 26 (5):601-602.
Creativity, the Turing test, and the (better) Lovelace test.Selmer Bringsjord, P. Bello & David A. Ferrucci - 2001 - Minds and Machines 11 (1):3-27.
Turing's two tests for intelligence.Susan G. Sterrett - 1999 - Minds and Machines 10 (4):541-559.
Discipline, subjectivity and personality: an analysis of the manuals of four psychological tests.Maarten Derksen - 2001 - History of the Human Sciences 14 (1):25-47.

Analytics

Added to PP
2016-06-30

Downloads
14 (#961,492)

6 months
6 (#522,885)

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

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.

Add more references