A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains

, , , &
Artificial Intelligence 22 (3):303-356 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(84)90054-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.L. Wos, S. Winker, R. Veroff, B. Smith & L. Henschen - 1983 - Notre Dame Journal of Formal Logic 24 (2):205-223.
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.Larry Wos, Dolph Ulrich & Branden Fitelson - unknown
An empirical study of automated dictionary construction for information extraction in three domains.E. Riloff - 1996 - Artificial Intelligence 84 (1-2):356.
An empirical study of automated dictionary construction for information extraction in three domains.Ellen Riloff - 1996 - Artificial Intelligence 85 (1-2):101-134.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
Finding missing proofs with automated reasoning.Branden Fitelson & Larry Wos - 2001 - Studia Logica 68 (3):329-356.
Democracia, participación Y representación: Presentación.Pedro Mercado Pacheco - 2012 - Anales de la Cátedra Francisco Suárez 46:7-10.
Automated reasoning about machines.Andrew Gelsey - 1995 - Artificial Intelligence 74 (1):1-53.
Automated composition of Web services via planning in asynchronous domains.Piergiorgio Bertoli, Marco Pistore & Paolo Traverso - 2010 - Artificial Intelligence 174 (3-4):316-361.
The scope and limits of simulation in automated reasoning.Ernest Davis & Gary Marcus - 2016 - Artificial Intelligence 233 (C):60-72.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,727,655)

6 months
1 (#1,515,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logic and artificial intelligence.Nils J. Nilsson - 1991 - Artificial Intelligence 47 (1-3):31-56.

Add more citations

References found in this work

Notes on the axiomatics of the propositional calculus.C. A. Meredith & A. N. Prior - 1963 - Notre Dame Journal of Formal Logic 4 (3):171-187.
Shortest single axioms for the classical equivalential calculus.Jeremy George Peterson - 1976 - Notre Dame Journal of Formal Logic 17 (2):267-271.
A shortest single axiom for the classical equivalential calculus.John A. Kalman - 1978 - Notre Dame Journal of Formal Logic 19 (1):141-144.
An automatic theorem prover for substitution and detachment systems.Jeremy George Peterson - 1978 - Notre Dame Journal of Formal Logic 19 (1):119-122.

Add more references