Abductive Logic
tags
Formal Logic
Notes that link to this note
Encoding Covid-19 rules using Basic Event Calculus in s(CASP)