Checking regulation consistency by using SOL-resolution.

Laurence Cholvy

Published in: ICAIL (1999)

Keyphrases

consistency checking
high resolution
low resolution
neural network
consequence finding
conflict detection
database
databases
data mining
machine learning
search engine
temporal resolution
maintaining consistency