Reflection Principles and Iterated Consistency Assertions.

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

Keyphrases

knowledge base
theoretical framework
global constraints
path consistency
neural network
website
relational databases
special case
building blocks
constraint networks