Hereditary Undecidability of Some Theories of Finite Structures.

Published in: J. Symb. Log. (1994)

Keyphrases

artificial intelligence
neural network
search algorithm
description logics
theoretical framework
finite number
data mining
social networks
decision making
website
query answering
image structure
probability theory
equational theories