On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach.

Renyan Feng Erman Acar Stefan Schlobach Yisong Wang Wanwei Liu

Published in: KR (2020)

Keyphrases

sufficient conditions
temporal logic
real time
databases
information retrieval
decision trees
multiscale
cooperative
relational databases
belief revision
incremental learning