Forgetting and Unfolding for Existential Rules.

Zhe Wang Kewen Wang Xiaowang Zhang

Published in: AAAI (2018)

Keyphrases

query answering
existentially quantified
active databases
incremental learning
decision rules
background knowledge
classification rules
inference engine
knowledge base
logical rules
database
petri net
human experts
image sequences
website
rule induction
rule learning
rule generation
quantitative measures