Algebraic Theories with Definable Skolem Functions.

Lou van den Dries

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

Keyphrases

first order logic
artificial neural networks
knowledge base
theoretical framework
action theories
knowledge representation
legal knowledge