Reasoning about programs

&
Artificial Intelligence 5 (3):235-316 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(74)90015-0

Links

PhilArchive



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

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

Logic Programming: Proceedings of the 1991 International Symposium.Vijay Saraswat, Kazunori Ueda & Association for Logic Programming - 1991 - MIT Press.
Logic Programming: Proceedings of the Twelfth International Conference on Logic Programming.Leon Sterling - 1995 - MIT Press.
Temporal and Dynamic Logic.Frank Wolter & Michael Wooldridge - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Reasoning about agent programs using ATL-Like logics.Nitin Yadav & Sebastian Sardina - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 437--449.
Gunderson and Searle: A common error about artificial intelligence.Glenn C. Joy - 1989 - Southwest Philosophical Studies 28:28-34.
Computing and Programming in Context—Introduction.Tomas Petricek - 2020 - Philosophy and Technology 34 (1):7-11.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Theorizing Practical Intelligence: Essay Review of R. J. Sternberg and R. K. Wagner, Eds., Practical Intelligence.Brian D. Haig - 1990 - Educational Philosophy and Theory 22 (1):40-44.
Human reasoning about artificial intelligence.Patrick J. Hayes, Kenneth M. Ford & J. R. Adams-Webber - 1994 - Journal of Experimental and Theoretical Artificial Intelligence 4:247-63.
Iterates of the Core Model.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (1):241 - 251.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,818,315)

6 months
1 (#1,516,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
Meta-rules: Reasoning about control.Randall Davis - 1980 - Artificial Intelligence 15 (3):179-222.
LAURA, a system to debug student programs.Anne Adam & Jean-Pierre Laurent - 1980 - Artificial Intelligence 15 (1-2):75-122.
Synthetic programming.Nachum Dershowitz - 1985 - Artificial Intelligence 25 (3):323-373.

Add more citations

References found in this work

No references found.

Add more references