Turing-Complete Subclasses of CHR.

Published in: ICLP (2008)

Keyphrases

constraint handling rules
machine intelligence
knowledge base
cooperative
neural network
artificial intelligence
clustering algorithm
three dimensional
multi agent
computer science
preprocessing
lower bound