Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae.
Weilin LuoPingjia LiangJianfeng DuHai WanBo PengDelong ZhangPublished in: AAAI (2022)
Keyphrases
- efficient learning
- learning algorithm
- learning process
- supervised learning
- inference process
- decision theoretic
- structured prediction
- dynamic bayesian networks
- active learning
- probabilistic inference
- neural network
- learning systems
- boltzmann machine
- inference mechanism
- markov logic networks
- parameter learning
- inference engine
- hidden variables
- learning problems
- online learning
- information technology