1 Hit in 3.4 sec

Reasoning about recurrence

Johannes A. G. M. Koomen
1991 International Journal of Intelligent Systems  
Functions and axioms analogous to the ones defined in this section could easily be defined to account for motion in the reverse direction.  ...  HOLDS(i,x) {:=::} TT(i,x) 1\ PROPERTY(X) Vi,X.OCCURS(i,x) {:=::} TT(i,x) 1\ EVENT(x) 6We reverse the order of the time and property/event entities in Allen's presentation for the sake of consistency in  ...  for representing knowledge in the form of frames.  ... 
doi:10.1002/int.4550060503 fatcat:6k4zhvw5tjb5jk7iq3g7y3rvvi