Bases for First-Order Theories and Subtheories.

Published in: J. Symb. Log. (1960)

Keyphrases

theory revision
first order logic
knowledge base
higher order
quantifier elimination
logical theories
propositional theories
concept learning
action theories
classical first order logic
data mining
domain knowledge
cognitive psychology
horn clauses
term rewriting
background knowledge
data model