Mike Stacey Fri, 12 May 2006 18:35:42 -0700 Hi, I'm about to implement the Event Calculus in Jess. I need to express the predicates and axioms of this formal logic. Any hints before I start so that I don't waste too much time exploring dead-ends would be greatly appreciated.
The question above was asked more than two years ago...does anyone know of an encoding of event calculus using Jess? (I have contacted Mike separately.)
