Complete Theories with Only Universal and Existential Axioms.

Alistair H. Lachlan

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

Keyphrases

knowledge base
real world
data mining
complete axiomatization