Compiling A Default Reasoning System into

@inproceedings{Poole1991CompilingAD,
  title={Compiling A Default Reasoning System into},
  author={David Poole},
  year={1991}
}
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