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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,836

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 Twelfth International Conference on Logic Programming.Leon Sterling - 1995 - MIT Press.
Logic Programming: Proceedings of the 1991 International Symposium.Vijay Saraswat, Kazunori Ueda & Association for Logic Programming - 1991 - 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, Logics in Artificial Intelligence. Springer. pp. 437--449.
Computing and Programming in Context—Introduction.Tomas Petricek - 2020 - Philosophy and Technology 34 (1):7-11.
Gunderson and Searle: A common error about artificial intelligence.Glenn C. Joy - 1989 - Southwest Philosophical Studies 28:28-34.
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.
Iterates of the Core Model.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (1):241 - 251.
BOYCE J. K. and EVENSON R. E. Agricultural Research and Extension Programs. [REVIEW]E. Galante - 1977 - Scientia 71 (12):220.

Analytics

Added to PP
2020-12-22

Downloads
12 (#1,439,133)

6 months
7 (#573,527)

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