SNARK: A Language to Represent Declarative Knowledge and an Inference Engine which Uses Heuristics.

Jean-Louis Laurière M. Vialatte

Published in: IFIP Congress (1986)

Keyphrases

declarative knowledge
procedural knowledge
knowledge acquisition
natural language
mental models
data mining
conceptual knowledge
human level
training data
bayesian networks
cognitive modeling