Checking a Knowledge-Based System for Consistency and Completeness.

Tin A. Nguyen Walton A. Perkins Thomas J. Laffey Deanne Pecora

Published in: AI Mag. (1987)

Keyphrases

consistency checking
distributed databases
maintaining consistency
databases
real world
learning algorithm
website
probabilistic model
query answering
constraint networks
path consistency
temporal consistency