Prolegomena to a theory of mechanized formal reasoning

Artificial Intelligence 13 (1-2):133-170 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(80)90015-6

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

A metatheory of a mechanized object theory.Fausto Giunchiglia & Paolo Traverso - 1996 - Artificial Intelligence 80 (2):197-241.
Motivated action theory: a formal theory of causal reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.
Logic and artificial intelligence.Richmond H. Thomason - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
Problems in formal temporal reasoning.Yoav Shoham & Drew McDermott - 1988 - Artificial Intelligence 36 (1):49-61.
Introduction: Progress in formal commonsense reasoning.Ernest Davis & Leora Morgenstern - 2004 - Artificial Intelligence 153 (1-2):1-12.
Book review: Bram Roth, case-based reasoning in the law: A formal theory of reasoning by case comparison. Ph. D. thesis, the university of maastricht, 2003. 181 pp. [REVIEW]Trevor Bench-Capon - 2004 - Artificial Intelligence and Law 12 (3):227-229.
On the applicability of nonmonotonic logic to formal reasoning in continuous time.Manny Rayner - 1991 - Artificial Intelligence 49 (1-3):345-360.
Formal Methods in Artificial Intelligence.Allan Ramsay - 1988 - CUP Archive.
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings.Jacques Calmet - 1998 - Boom Koninklijke Uitgevers.
From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence.André Thayse & Paul Gochet - 1988

Analytics

Added to PP
2020-12-22

Downloads
22 (#969,010)

6 months
10 (#399,629)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Languages with self-reference I: Foundations.Donald Perlis - 1985 - Artificial Intelligence 25 (3):301-322.
A blackboard architecture for control.Barbara Hayes-Roth - 1985 - Artificial Intelligence 26 (3):251-321.
A theory of abstraction.Fausto Giunchiglia & Toby Walsh - 1992 - Artificial Intelligence 57 (2-3):323-389.
Logic and artificial intelligence.Nils J. Nilsson - 1991 - Artificial Intelligence 47 (1-3):31-56.

View all 23 citations / Add more citations

References found in this work

Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.

Add more references