Intelligent program analysis

Artificial Intelligence 7 (1):65-85 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(76)90022-9

Other Versions

No versions found

Links

PhilArchive



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

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

Unsupervised human activity analysis for intelligent mobile robots.Paul Duckworth, David C. Hogg & Anthony G. Cohn - 2019 - Artificial Intelligence 270 (C):67-92.
Intelligent analysis and pattern recognition in cardiotocographic signals using a tightly coupled hybrid system.Bertha Guijarro-Berdiñas, Amparo Alonso-Betanzos & Oscar Fontenla-Romero - 2002 - Artificial Intelligence 136 (1):1-27.
Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation.Elisha P. Sacks - 1991 - Artificial Intelligence 48 (1):27-56.
When Should Co-Authorship Be Given to AI?G. P. Transformer Jr, End X. Note, M. S. Spellchecker & Roman Yampolskiy - manuscript
Investigation into Ethical Issues of Intelligent Systems.Marziyah Davoodabadi & Zahra Khazaei - 2008 - Journal of Philosophical Theological Research 10 (37):95-120.
"Every man in his notions" or alchemists' discussion on artificial intelligence.Mariusz Flasiński - 1997 - Foundations of Science 2 (1):107-121.
Intelligent control.Barbara Hayes-Roth - 1993 - Artificial Intelligence 59 (1-2):213-220.
Intelligent tutoring systems.Donna Auguste - 1985 - Artificial Intelligence 26 (2):233-238.
A Framework for Exploring Intelligent Artificial Personhood.Thomas Kane - 2017 - In Vincent C. Müller, Philosophy and theory of artificial intelligence 2017. Berlin: Springer.
Simply Logical: Intelligent Reasoning by Example.Peter Flach - 1994 - Wiley.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,613,850)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intelligent program analysis.Gregory R. Ruth - 1976 - Artificial Intelligence 7 (1):65-85.
LAURA, a system to debug student programs.Anne Adam & Jean-Pierre Laurent - 1980 - Artificial Intelligence 15 (1-2):75-122.
Concept teaching.John A. Self - 1977 - Artificial Intelligence 9 (2):197-221.

Add more citations

References found in this work

Intelligent program analysis.Gregory R. Ruth - 1976 - Artificial Intelligence 7 (1):65-85.

Add more references