Morris, Matthew, University of Cape Town, Centre for Artificial Intelligence Research, South Africa
-
South African Computer Journal Vol. 32 No. 2 (2020) - Research Papers (general)
Algorithmic definitions for KLM-style defeasible disjunctive Datalog
Abstract PDF