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,

  • Analysing Differentiable Fuzzy Implications, Emile van Krieken, Erman Acar, Frank van Harmelen

  • 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