Event Calculus

Notes that link to this note

Encoding Covid-19 rules using Basic Event Calculus in s(CASP)
Reflections on the design and application of eFLINT

Will O'PediaWill O'Hanley's notes

home posts gitlab github twitter are.na goodreads