Equivalent Sets of Formulas for Circumscriptions.

Yves Moinard Raymond Rolland

Published in: ECAI (2000)

Keyphrases

horn clauses
database
data sets
neural network
artificial intelligence
set theoretic
logical equivalence
data mining
optimal solution
model checking