added KR examples for event calculus and situation calculus