EasyChair Smart Slide
A Probabilistic Extension of Action Language BC+
A Probabilistic Extension of Action Language BC+