% % Event Calculus (EC) % % @incollection{MillerShanahan:2002, % author = "Rob Miller and Murray Shanahan", % year = "2002", % title = "Some alternative formulations of the event calculus", % editor = "Antonis C. Kakas and Fariba Sadri", % booktitle = "Computational Logic: Logic Programming and Beyond: Essays in Honour of \uppercase{R}obert \uppercase{A}. \uppercase{K}owalski, Part \uppercase{II}", % series = "Lecture Notes in Computer Science", % volume = "2408", % pages = "452--490", % address = "Berlin", % publisher = "Springer", % } % % (EC1) clipped(T1,F,T2) :- timepoint(T), timepoint(T1), timepoint(T2), fluent(F), event(E), happens(E,T), T1<=T, T