Post Completeness and Free Algebras.

Giovanni Sambin Silvio Valentini

Published in: Math. Log. Q. (1980)

Keyphrases

genetic algorithm
data sets
reinforcement learning
cooperative
probabilistic model
topological spaces
machine learning
information systems
knowledge base
feature extraction
object recognition
expert systems
management system
temporal reasoning
spatial reasoning
formal proofs