Login / Signup
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