% % Discrete Event Calculus (DEC) % % @article{Mueller:2004a, % author = "Erik T. Mueller", % year = "2004", % title = "Event calculus reasoning through satisfiability", % journal = "Journal of Logic and Computation", % volume = "14", % number = "5", % pages = "703--730", % } % % (DEC1) stopped_in(T1,F,T2) :- timepoint(T), timepoint(T1), timepoint(T2), fluent(F), event(E), happens(E,T), T1