Discrete Event Calculus Reasoner Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism.
Price: $GPL, Rating: 8, Downloads: 735
Download 