Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

&
Artificial Intelligence 9 (2):135-196 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(77)90029-7

Links

PhilArchive



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

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

Abe I son. H. Sussman, GJ with Sussman, J.(1985) Structure and Interpretation of Computer Programs, Cambridge MA. Austin, JL (1975) How to Do Things with Words, 2nd edn by JO Urmson and M. Sbisa, Cambridge MA. Babbage, HP (ed.)(1889) Babbage's Calculating Engines, London. [REVIEW]G. P. Baker, P. M. S. Hacker & P. Benner - 1987 - In Rainer P. Born (ed.), Artificial Intelligence: The Case Against. St Martin's Press. pp. 214.
Qualitative circuit models in failure analysis reasoning.M. H. Lee - 1999 - Artificial Intelligence 111 (1-2):239-276.
Artificial intelligence and pattern recognition in computer aided design.Robert Sproull - 1980 - Artificial Intelligence 15 (1-2):125-126.
Computer-aided proof of Erdős discrepancy properties.Boris Konev & Alexei Lisitsa - 2015 - Artificial Intelligence 224 (C):103-118.
Computer-aided proofs of Arrow's and other impossibility theorems.Pingzhong Tang & Fangzhen Lin - 2009 - Artificial Intelligence 173 (11):1041-1053.
A model-based method for computer-aided medical decision-making.Sholom M. Weiss, Casimir A. Kulikowski, Saul Amarel & Aran Safir - 1978 - Artificial Intelligence 11 (1-2):145-172.
Computer-aided thinking by mapping text-objects into metric spaces.Yasuyuki Sumi, Koichi Hori & Setsuo Ohsuga - 1997 - Artificial Intelligence 91 (1):71-84.
Review: Dov M. Gabbay, C. J. Hogger, J. A. Robinson, D. Nute, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain Reasoning. [REVIEW]G. Aldo Antonelli - 2000 - Bulletin of Symbolic Logic 6 (4):480-484.
General Patterns in Nonmonotonic Reasoning.David Makinson - 1994 - In Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii. Oxford: Clarendon Press. pp. 35-110.
Reasoning with uncertainty in computer chess.Helmut Horacek - 1990 - Artificial Intelligence 43 (1):37-56.

Analytics

Added to PP
2020-12-22

Downloads
20 (#792,293)

6 months
10 (#308,797)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
The psychology of knights and knaves.Lance J. Rips - 1989 - Cognition 31 (2):85-116.

View all 47 citations / Add more citations

References found in this work

Add more references