1.  42
    Alexander Yip & Jim Cunningham (2002). Legal Event Reasoning for Software Agents. Artificial Intelligence and Law 10 (1-3):135-161.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  13
    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)  
     
    Export citation  
     
    My bibliography  
  3.  0
    Jeremy Pitt & Jim Cunningham (1996). Theorem Proving and Model Building with the Calculus KE. Logic Journal of the Igpl 4 (1):129-150.
    A Prolog implementation of a new theorem-prover for first-order classical logic is described. The prover is based on the calculus KE and the rules used for analysing quantifiers in free variable semantic tableaux. A formal specification of the rules used in the implementation is described, for which soundness and completeness is straightforwardly verified. The prover has been tested on the first 47 problems of the Pelletier set, and its performance compared with a state of the art semantic tableaux theorem-prover. It (...)
    Direct download  
     
    Export citation  
     
    My bibliography