Erratum to: Localizing the axioms.

Athanassios Tzouvaras

Published in: Arch. Math. Log. (2011)

Keyphrases

knowledge base
data sets
first order logic
database
genetic algorithm
artificial intelligence
search engine
database systems
training data
search space
image analysis
email
action theories
axiomatic characterization