The Use of an ATMS Inconsistency Checking of a Legal Expert System.

Olav Hødnebø Edvard Løkketangen

Published in: ICAIL (1993)

Keyphrases

integrity checking
integrity constraints
consistency checking
deductive databases
data sets
artificial intelligence
real world
information systems
image processing
multimedia
website
object recognition
hidden markov models
logic programming