| by admin | No comments

3 Papers accepted in KRR 2020 for oral presentation.

Three papers has been accepted in KRR 2020 for oral presentation. All three are in distinct topics: from neuro-symbolic AI, and temporal logic to probabilistic logic/decision theory. Respectively,

  • On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach , Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
  • Reasoning with Contextual Knowledge and Influence Diagrams Erman Acar, Rafael Penaloza