A Resolution-based Procedure for Default Theories with Extensions

@inproceedings{Barback1994ARP,
  title={A Resolution-based Procedure for Default Theories with Extensions},
  author={Monica D. Barback and Jorge Lobo},
  booktitle={NMELP},
  year={1994}
}
Default logic, introduced by Reiter, is an effective nonmonotonic reasoning system. In addition to being a stand alone paradigm for nonmonotonic reasoning, default logic has also been used to represent other nonmonotonic reasoning systems such as the stable model semantics and the well-founded semantics of logic programs. This paper complements these results by describing a sound and complete resolution based proof procedure for a large class of default theories. 

Citations

Publications citing this paper.