Recursive Rules with Aggregation: A Simple Unified Semantics.

Yanhong A. Liu Scott D. Stoller

Published in: LFCS (2022)

Keyphrases

transformation rules
data sets
learning algorithm
attribute values
formal semantics
active rules
deduction rules
database
neural network
knowledge base
natural language
programming language
logic programming
unified model
operational semantics
logical rules