Automated program recognition

Artificial Intelligence 45 (1-2):113-171 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(90)90039-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

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

Representation Reducing Heuristics for Semi-Automated Scientific Discovery.Joseph Perry Phillips - 2000 - Dissertation, University of Michigan
Automated facial expression measurement : Recent applications to basic research in human behavior, learning, and education.Marian Stewart Bartlett & Jacob Whitehill - 2011 - In Andy Calder, Gillian Rhodes, Mark Johnson & Jim Haxby (eds.), Oxford Handbook of Face Perception. Oxford University Press.
Distributivity in Lℵ0 and Other Sentential Logics.Kenneth Harris & Branden Fitelson - unknown
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
Finding missing proofs with automated reasoning.Branden Fitelson & Larry Wos - 2001 - Studia Logica 68 (3):329-356.
Recognition and Power: Axel Honneth and the Tradition of Critical Social Theory.Bert van den Brink & David Owen (eds.) - 2007 - New York: Cambridge University Press.
Negative recognition: Master and slave in the workplace.Thomas Klikauer - 2016 - Thesis Eleven 132 (1):39-49.
A rhythm recognition computer program to advocate interactivist perception.Jean-Christophe Buisson - 2004 - Cognitive Science 28 (1):75-88.
Automated remote sensing with near infrared reflectance spectra: Carbonate recognition.Clark Glymour - manuscript
An automated modal logic for elementary changes.L. Fariñas Del Cerro & Andreas Herzig - 1988 - In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press.
SiMOR: Single Moving Object Recognition.V. N. Manjunath Aradhya, D. R. Ramesh Babu, M. Ravishankar & M. T. Gopala Krishna - 2011 - Journal of Intelligent Systems 20 (1):33-45.
Middle-Out Reasoning for Logic Program Synthesis.Ina Kraan, David A. Basin & Alan Bundy - 1993 - Department of Artificial Intelligence, University of Edinburgh.
Automated Remote Sensing with Near Infrared Reflectance Spectra: Carbonate Recognition.Joseph Ramsey, Peter Spirtes & Clark Glymour - unknown
Towards the use of automated reasoning in discourse disambiguation.Claire Gardent & Bonnie Webber - 2001 - Journal of Logic, Language and Information 10 (4):487-509.
Should autonomous robots be pacifists?Ryan Tonkens - 2013 - Ethics and Information Technology 15 (2):109-123.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,803,862)

6 months
1 (#1,469,946)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Automated program recognition.Linda Mary Wills - 1990 - Artificial Intelligence 45 (1-2):113-171.

Add more citations

References found in this work

LAURA, a system to debug student programs.Anne Adam & Jean-Pierre Laurent - 1980 - Artificial Intelligence 15 (1-2):75-122.
Automated program recognition.Linda Mary Wills - 1990 - Artificial Intelligence 45 (1-2):113-171.

Add more references