The qualitative process engine: A study in assumption-based truth maintenance (1987)

Cached

Download Links

by Kenneth D Forbus
Venue:In Qualitative Reasoning Workshop Abstracts. Qualitative Reasoning Group, University of Illinois at Urbana-Champaign
Citations:4 - 0 self

Active Bibliography

24 REASONING WITH WORLDS AND TRUTH MAINTENANCE IN A KNOWLEDGE-BASED PROGRAMMING ENVIRONMENT – Robert E. Filman - 1988
10 The Logic of Occurrence – Kenneth D. Forbus - 1987
Library of Congress Cataloging-in-Publication Data – Harold Abelson, Gerald Jay Sussman, Julie Sussman, Foreword Alan J. Perlis, London England, Mcgraw-hill Book Company
1 An Algebraic Foundation for Truth Maintenance – Allen L. Brown, Dale E. Gaucas, Dan Benanav
14 Massively parallel assumption-based truth maintenance – Michael Dixon, Johan Kleer - 1988
8 A Multi-Agent Planner for Modelling Dialogue – A. Taylor - 1994
2 Intelligent Computer-Aided Engineering – Kenneth D. Forbus - 1988
Reflexive Interpreters – Jon Doyle, Lord Tennyson, Robert Burns, A Bard's Epitath, Joseph Addison Cato - 1978
56 Introspective Multistrategy Learning: Constructing a Learnung Strategy under Reasoning Failure – Michael Thomas Cox, Kurt Eiselt, Janet Kolodner, Nancy Nersessian, Margaret Recker, Tony Simon - 1996
42 A model for deliberation, action, and introspection – Jon Doyle - 1980
6 FORLOG: A Logic-based Architecture for Design – Thomas G. Dietterich, David G. Ullman - 1987
1 Feedback Directed Optimization – Chun Wai Liew, Dissertation Director, Prof Louis, Prof Louis, I. Steinberg, I. Steinberg - 1994
1 Abstracting irrelevant distinctions in qualitative simulation – Pierre Fouche, Benjamin Kuipers - 1991
An Application of Constraint Propagation to Data-Flow Analysis – Roberto Bagnara Roberto, Roberto Giacobazzi, Giorgio Levi - 1993
7 Static Analysis of CLP Programs over Numeric Domains – Roberto Bagnara , Roberto Giacobazzi, Giorgio Levi - 1992
11 An Application of Constraint Propagation to Data-Flow Analysis – Roberto Bagnara , Roberto Giacobazzi, Giorgio Levi - 1993
4 Abstract Labeled graph notations for graphical models Extended Report – Eric Mjolsness - 2004
Labeled graph notations for graphical models – Eric Mjolsness - 2004
14 Causal Reasoning about Quantities – Kenneth D. Forbus, Dedre Gentner - 1990