Admissible Ordinals and Intrinsic Consistency.

Michael Machtey

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

Keyphrases

state space
constraint networks
artificial intelligence
multiscale
temporal consistency
consistency checking
path consistency
knuth bendix
real world
maintaining consistency
update operations
global constraints
logic programming
user interface
digital libraries
wide range
case study