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: 91,202

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

The fixity of reasons.Andre Norman Gallois - 2008 - Philosophical Studies 146 (2):233 - 248.
DeRose on the conditionals of deliberation.Daniel Dohrn - manuscript
Backtracking Influence.Douglas Kutach - 2011 - International Studies in the Philosophy of Science 25 (1):55-71.
Computer‐aided system for health economic evaluation.Wen-Chou Lin, Amy Ming-Fang Yen, Chi-Ming Chang, Chih-Hsung Chao & Tony Hsiu-Hsi Chen - 2009 - Journal of Evaluation in Clinical Practice 15 (5):797-803.
A New Memristor-Based 5D Chaotic System and Circuit Implementation.Rui Wang, Mingjin Li, Zhaoling Gao & Hui Sun - 2018 - Complexity 2018:1-12.
Editorial: Towards Computer Aided Mathematics.Christoph Benzmüller - 2006 - Journal of Applied Logic 4 (4):359-365.
Computer Aided Logical Design with Emphasis on VLSI.Frederick J. Hill & Gerald R. Peterson - 1993 - Wiley.
Argument Schemes in Computer System Safety Engineering.Tangming Yuan & Tim Kelly - 2011 - Informal Logic 31 (2):89-109.
Computer‐aided disease prediction system: development of application software with SAS component language.Chi-Ming Chang, Hsu-Sung Kuo, Shu-Hui Chang, Hong-Jen Chang, Der-Ming Liou, Tabar Laszlo & Tony Hsiu-Hsi Chen - 2005 - Journal of Evaluation in Clinical Practice 11 (2):139-159.
Hiddleston’s Causal Modeling Semantics and the Distinction between Forward-Tracking and Backtracking Counterfactuals.Kok Yong Lee - 2017 - Studies in Logic 10 (1):79-94.
``On a system of computer-aided instruction of logic''.Andrzej Trybulec - 1983 - Bulletin of the Section of Logic 12 (4):214-218.
Strategies in the interfield discovery of the mechanism of protein synthesis.Lindley Darden & Carl Craver - 2002 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 33 (1):1-28.
Estimation and prediction system for multi‐state disease process: application to analysis of organized screening regime.Chi-Ming Chang, Wen-Chou Lin, Hsu-Sung Kuo, Ming-Fang Yen & Tony Hsiu-Hsi Chen - 2007 - Journal of Evaluation in Clinical Practice 13 (6):867-881.
Beyond team-directed reasoning: participatory intentions contribute to a theory of collective agency.Duijf Hein - 2017 - Logique Et Analyse.
An Algorithmic Logic Approach to Formalizing Database Update Semantics.James Brawner & James Vorbach - 1998 - Journal of Applied Non-Classical Logics 8 (3):199-220.

Analytics

Added to PP
2020-12-22

Downloads
17 (#815,534)

6 months
8 (#283,518)

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