Recursive rules with aggregation: a simple unified semantics.

Yanhong A Liu Scott D. Stoller

Published in: J. Log. Comput. (2022)

Keyphrases

deduction rules
rule engine
data sets
neural network
data mining
association rules
background knowledge
formal semantics