CSR axioms CSR001 0.ax Standard discrete event calculus axioms ∀time1 , fluent, time2 : (stoppedIn(time1 , fluent, time2 ) ⇐⇒ ∃event, time: (happens(event, time) and less(time1 , time) and less( ∀time1 , time2 - Standard time - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2017-03-18 22:04:00		CSR axioms CSR001+0.ax Standard discrete event calculus axioms ∀time1 , fluent, time2 : (stoppedIn(time1 , fluent, time2 ) ⇐⇒ ∃event, time: (happens(event, time) and less(time1 , time) and less( ∀time1 , time2 Add to Reading List Source URL: math.chapman.edu Download Document from Source Website File Size: 397,46 KB Share Document on Facebook