A Complete, Decidable Theory with Two Decidable Models.

Terrence Millar

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

Keyphrases

experimental data
neural network
mathematical models
probabilistic model
datalog programs
computational models
first order logic
computational model
artificial neural networks
database
special case
theoretical framework
complex systems
knowledge base
information retrieval
data mining
databases