Sign in

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

Renyan FengErman AcarStefan SchlobachYisong WangWanwei 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