Transforming Gringo Rules into Formulas in a Natural Way.

Vladimir Lifschitz

Published in: JELIA (2021)

Keyphrases

horn clauses
real world
association rules
rule extraction
association rule mining
data mining
genetic algorithm
inference engine
man made
rule generation
knowledge base
database systems
first order logic
rule sets
logical formulas