Computably Enumerable Algebras, Their Expansions, and Isomorphisms.

Bakhadyr Khoussainov Steffen Lempp Theodore A. Slaman

Published in: Int. J. Algebra Comput. (2005)

Keyphrases

inductive inference
spatial reasoning
distributive lattices
clifford algebra
subgraph isomorphism
topological spaces
decision making
multiscale
temporal reasoning
hypothesis space
machine learning
bayesian networks
interval algebra