PPTL specification mining based on LNFG.

Xinya Ning Nan Zhang Zhenhua Duan Cong Tian

Published in: Theor. Comput. Sci. (2022)

Keyphrases

knowledge discovery
data mining
data mining techniques
association rule mining
mining algorithm
web mining
text mining
high level
search engine
data mining methods
provably correct
object oriented
databases
user defined
conceptual model
pattern mining
artificial intelligence
data mining tasks
formal verification