Representing Knowledge with Theories about Theories.

Edward P. Stabler Jr.

Published in: J. Log. Program. (1990)

Keyphrases

representing knowledge
artificial intelligence
knowledge representation
causal theories
databases
data mining
first order logic
knowledge base
cooperative
logic programming
computational model
expressive power
relational data
inference rules