A comparative study of several proof procedures

Artificial Intelligence 18 (3):269-293 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(82)90024-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

Dialectic proof procedures for assumption-based, admissible argumentation.P. M. Dung, R. A. Kowalski & F. Toni - 2006 - Artificial Intelligence 170 (2):114-159.
A comparative study of open default theories.Michael Kaminski - 1995 - Artificial Intelligence 77 (2):285-319.
Multiple instance classification: Review, taxonomy and comparative study.Jaume Amores - 2013 - Artificial Intelligence 201:81-105.
Goethe Und Die Bibel.Hermann Henkel - 1890 - F. W. V. Biedermann.
D. Neil MacCormick and Robert S. Summers (eds.) Interpreting precedents: A comparative study. [REVIEW]Michael Aikenhead - 2000 - Artificial Intelligence and Law 8 (2-3):283-288.
Connectionist learning procedures.Geoffrey E. Hinton - 1989 - Artificial Intelligence 40 (1-3):185-234.
On Mathematical Proving.Ioannis M. Vandoulakis & Petros Stefaneas - 2015 - Journal of Artificial General Intelligence 6 (1):130–149.
Proof by consistency.Deepak Kapur & David R. Musser - 1987 - Artificial Intelligence 31 (2):125-157.
Proof-number search.L. Victor Allis, Maarten van der Meulen & H. Jaap van den Herik - 1994 - Artificial Intelligence 66 (1):91-124.
Introduction: On proof. [REVIEW]Antonio A. Martino - 2001 - Artificial Intelligence and Law 9 (2-3):95-98.

Analytics

Added to PP
2020-12-22

Downloads
1 (#1,918,470)

6 months
1 (#1,721,226)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Refutation graphs.Robert E. Shostak - 1976 - Artificial Intelligence 7 (1):51-64.

Add more references