TY - RPRT TI - Defeasible Reasoning via Datalog$^\neg$ AU - Michael J. Maher PY - 2021 UR - https://arxiv.org/abs/2106.10946 ID - 2106.10946 ER -