Problem solving with the ATMS

Artificial Intelligence 28 (2):197-224 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

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

Similar books and articles

Extending the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):163-196.
Problem-solving with diagrammatic representations.Brian V. Funt - 1980 - Artificial Intelligence 13 (3):201-230.
Modelling student's problem solving.D. H. Sleeman & M. J. Smith - 1981 - Artificial Intelligence 16 (2):171-187.
Search and Reasoning in problem solving.Herbert A. Simon - 1983 - Artificial Intelligence 21 (1-2):7-29.
A logical theory of robot problem solving.Olga Štěpánková & Ivan M. Havel - 1976 - Artificial Intelligence 7 (2):129-161.
Rule-oriented methods in problem solving.Masamichi Shimura & Frank H. George - 1973 - Artificial Intelligence 4 (3-4):203-223.
A statistical approach to adaptive problem solving.Jonathan Gratch & Gerald DeJong - 1996 - Artificial Intelligence 88 (1-2):101-142.
M. Shanahan, Solving the Frame Problem.Murray Shanahan - 2000 - Artificial Intelligence 123 (1-2):275.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,344,496)

6 months
6 (#587,779)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
Diagnosing multiple faults.Johan de Kleer & Brian C. Williams - 1987 - Artificial Intelligence 32 (1):97-130.
A model for belief revision.João P. Martins & Stuart C. Shapiro - 1988 - Artificial Intelligence 35 (1):25-79.
Extending the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):163-196.

View all 12 citations / Add more citations

References found in this work

A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
A qualitative physics based on confluences.Johan De Kleer & John Seely Brown - 1984 - Artificial Intelligence 24 (1-3):7-83.
Counterfactuals.Matthew L. Ginsberg - 1986 - Artificial Intelligence 30 (1):35-79.

View all 7 references / Add more references