AMORD explicit control of reasoning.

Johan de Kleer Jon Doyle Guy L. Steele Jr.Gerald Jay Sussman

Published in: Artificial Intelligence and Programming Languages (1977)

Keyphrases

control system
control theory
website
qualitative reasoning
process control
control strategy
computational properties
real time
automated reasoning
meta level
default reasoning
control method
data acquisition
dynamic environments
domain knowledge
expert systems
data mining
data sets