The use of design descriptions in automated diagnosis

Artificial Intelligence 24 (1-3):411-436 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(84)90043-2

Links

PhilArchive



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

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

Review: Michael R. Genesereth, Nils J. Nilsson, Logical Foundations of Artificial Intelligence. [REVIEW]Joao P. Martins - 1990 - Journal of Symbolic Logic 55 (3):1304-1307.
Michael R. Genesereth and Nils J. Nilsson. Logical foundations of artificial intelligence. Morgan Kaufmann Publishers, Los Altos, Calif., 1987, xviii + 405 pp. [REVIEW]João P. Martins - 1990 - Journal of Symbolic Logic 55 (3):1304-1307.
Automated design of specialized representations.Jeffrey Van Baalen - 1992 - Artificial Intelligence 54 (1-2):121-198.
Design by derivational analogy:Issues in the automated replay of design plans.Jack Mostow - 1989 - Artificial Intelligence 40 (1-3):119-184.
Mechanism design for automated negotiation, and its application to task oriented domains.Gilad Zlotkin & Jeffrey S. Rosenschein - 1996 - Artificial Intelligence 86 (2):195-244.
On the design of coordination diagnosis algorithms for teams of situated agents.Meir Kalech & Gal A. Kaminka - 2007 - Artificial Intelligence 171 (8-9):491-513.
A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains.L. Wos, S. Winker, B. Smith, R. Veroff & L. Henschen - 1984 - Artificial Intelligence 22 (3):303-356.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings.Jacques Calmet, International Conference on Artificial Intelligence and Symbolic Mathematical Computation & Calculemus - 2002 - Springer Verlag.
Automated program recognition.Linda Mary Wills - 1990 - Artificial Intelligence 45 (1-2):113-171.
Automated space planning.Charles M. Eastman - 1973 - Artificial Intelligence 4 (1):41-64.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,485,580)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
Diagnosing multiple faults.Johan de Kleer & Brian C. Williams - 1987 - Artificial Intelligence 32 (1):97-130.
Counterfactuals.Matthew L. Ginsberg - 1986 - Artificial Intelligence 30 (1):35-79.
Heuristic classification.William J. Clancey - 1985 - Artificial Intelligence 27 (3):289-350.
Abduction as belief revision.Craig Boutilier & Veronica Beche - 1995 - Artificial Intelligence 77 (1):43-94.

View all 25 citations / Add more citations

References found in this work

Planning with constraints.Mark Stefik - 1981 - Artificial Intelligence 16 (2):111-139.

Add more references