• Computer Science
• Published in NMELP 1994
• DOI:10.1007/BFb0030662

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}
}

• Monica D. Barback, Jorge Lobo

View via Publisher

Save to Library

Create Alert

Cite

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.