Universality and Almost Decidability.

Cristian S. Calude Damien Desfontaines

Published in: CoRR (2015)

Keyphrases

cellular automata
description logics
decision procedures
query answering
type checking
multimedia
preprocessing
data sets
machine learning
multi agent systems
hidden markov models
knowledge representation
management system