Knowledge forgetting in propositional μ-calculus.

Renyan Feng Yisong Wang Ren Qian Lei Yang Panfeng Chen

Published in: Ann. Math. Artif. Intell. (2023)

Keyphrases

propositional calculus
knowledge base
domain knowledge
knowledge representation
databases
decision trees
image sequences
domain experts
database
real world
learning algorithm
evolutionary algorithm
background knowledge
conceptual model
raw data