RT @ryu_saitakun: Almost forgot to mention this. The paper "Non-labelled Sequent Calculi of Public Announcement Expansions of K45 and S5" b…
222 followers
9 followers
Almost forgot to mention this. The paper "Non-labelled Sequent Calculi of Public Announcement Expansions of K45 and S5" by Dr.Sano and I has been published in the proceddings of LORI 2023. Need to commemorate this since its my first official published work
477 followers
This fascinating and short paper by A. Bochman introduces "a general formalism [, based on a profound rationality principle,] of causal reasoning that encompasses both Pearl’s approach ... and a number of key systems of nonmonotonic reasoning in AI." https