An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

Hubie Chen Moritz Müller

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

relational learning
inductive logic programming
categorical data
interactive theorem proving
information retrieval
artificial intelligence
numerical data
von neumann
real world
social networks
information systems
data structure
domain knowledge
digital objects
numerical values
digital topology