formulas.

Andrés Cordón-Franco Alejandro Fernández-Margarit Francisco Félix Lara Martín

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

Keyphrases

information retrieval
artificial intelligence
social networks
multi agent systems
predicate calculus
data sets
neural network
decision trees
similarity measure
data structure
mobile robot
probabilistic model
horn formulas
complete axiomatization