Decidability results for sets with atoms.

Agostino Dovier Andrea Formisano Eugenio G. Omodeo

Published in: ACM Trans. Comput. Log. (2006)

Keyphrases

description logics
logic programs
linear combination
data sets
multiresolution
neural network
learning algorithm
computer vision
three dimensional
answer sets
decision procedures