Universality and Almost Decidability.

Cristian S. Calude Damien Desfontaines

Published in: Fundam. Informaticae (2015)

Keyphrases

description logics
cellular automata
query answering
type checking
cooperative
artificial intelligence
decision procedures
databases
knowledge base
database systems
probability distribution
knowledge representation
query containment