Order-Sorted Generalization.

María Alpuente Santiago Escobar José Meseguer Pedro Ojeda

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

order sorted
predicate logic
data sets
domain specific
machine learning
search engine
e learning
autonomous agents