Return to Article Details Incremental Event Calculus for Run-Time Reasoning Download Download PDF