|
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
|
|
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
|
|
7
|
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
|
|
38
|
A model for deliberation, action, and introspection
– Jon Doyle
- 1980
|
|
48
|
Introspective Multistrategy Learning: Constructing a Learnung Strategy under Reasoning Failure
– Michael Thomas Cox, Kurt Eiselt, Janet Kolodner, Nancy Nersessian, Margaret Recker, Tony Simon
- 1996
|
|
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
|
|
15
|
Accelerating Partial Order Planners by Improving Plan and Goal Choices
– Lenhart Schubert, Alfonso Gerevini
- 1995
|
|
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
|
|
64
|
Scheme: An interpreter for extended lambda calculus
– Gerald Jay Sussman, Guy L Steele Jr.
- 1975
|
|
49
|
Alma-0: An Imperative Language that Supports Declarative Programming
– Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf
- 1998
|
