Symbolic assume-guarantee reasoning through BDD learning.

Fei He Bow-Yaw Wang Liangze Yin Lei Zhu

Published in: ICSE (2014)

Keyphrases

learning algorithm
learning process
reinforcement learning
connectionist networks
artificial intelligence
feature selection
active learning
multi agent
prior knowledge
logic programs
mobile learning
learning tasks
learning analytics
reasoning process
reasoning systems