Compiling A Default Reasoning System into

  title={Compiling A Default Reasoning System into},
  author={David Poole},
Arti cial intelligence researchers have been designing representa tion systems for default and abductive reasoning Logic Programming researchers have been working on techniques to improve the e ciency of Horn Clause deduction systems This paper describes how one such default and abductive reasoning system namely Theorist can be translated into Horn clauses… CONTINUE READING