; ; Copyright (c) 2005 IBM Corporation and others. ; All rights reserved. This program and the accompanying materials ; are made available under the terms of the Common Public License v1.0 ; which accompanies this distribution, and is available at ; http://www.eclipse.org/legal/cpl-v10.html ; ; Contributors: ; IBM - Initial implementation ; ; @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", ; } ; predicate Clipped(time,fluent,time) predicate Declipped(time,fluent,time) predicate Trajectory(fluent,time,fluent,offset) predicate AntiTrajectory(fluent,time,fluent,offset) [event,fluent,fluent2,offset,time] Happens(event,time) & Initiates(event,fluent,time) & 0 < offset & Trajectory(fluent,time,fluent2,offset) & !Clipped(time,fluent,time+offset) -> HoldsAt(fluent2,time+offset). [event,fluent,fluent2,offset,time] Happens(event,time) & Terminates(event,fluent,time) & 0 < offset & AntiTrajectory(fluent,time,fluent2,offset) & !Declipped(time,fluent,time+offset) -> HoldsAt(fluent2,time+offset). ; End of file.