Canonical Ground Horn Theories.

Maria Paola Bonacina Nachum Dershowitz

Published in: Programming Logics (2013)

Keyphrases

horn theories
canonical representation
functional dependencies
logical formulas
database
definite clause
canonical form
neural network
data mining
real time
multiscale
expert systems
relational databases
mobile robot
user defined
integrity constraints