Focusing the ATMS.

Kenneth D. Forbus Johan de Kleer

Published in: AAAI (1988)

Keyphrases

logic programming
neural network
inference engine
relational databases
pattern recognition
decision making
software engineering
image segmentation
expert systems
computational intelligence
sufficient conditions
data model
dynamic systems