1. Alexander Yip & Jim Cunningham (2002). Legal Event Reasoning for Software Agents. Artificial Intelligence and Law 10 (1-3):135-161.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Miguel Leith & Jim Cunningham (2001). Aspect and Interval Tense Logic. Linguistics and Philosophy 24 (3):331-381.
    Linguistic phenomena of tense and aspect have been investigated in a great deal of theoretical work in linguistics, philosophy and computer science. Modern tense logics, established by Prior, are part of this effort. Point tense logics offer an intuitive representation of tense but lack the expressiveness to represent many aspectual structures. Interval tense logics offer more expressiveness but in the general case can be computationally intractable. From a linguistic perspective there is the problem of precisely how to formalise the aspectual (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation