Meyer, Thomas, 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