{"type":"ScholarlyArticle","title":"Relating Default Logic and Circumscription","authors":[{"name":"David W. Etherington","slug":"david-w-etherington","given":"David W.","family":"Etherington","affiliation":""}],"abstract":"Default logic and the various forms of circumscnptton were developed to deal with similar problems. In this paper. we consider what is known about the relationships between the two approaches and present several new results extending this knowledge. We show that there are interesting cases in which the two formalisms do not correspond. as well as cases where default logic subsumes circumscription. We also consider positive and negative results on translating between defaults and circumscription, and develop a context in which they can be evaluated .","doi":null,"url":"https://ijcai.org/proceedings/1987/96","pdf":"https://ijcai.org/proceedings/1987/0096.pdf","markdown":"https://ijcai.org/proceedings/1987/96.md","bibtex":"https://ijcai.org/proceedings/1987/bibtex/96","volume":{"slug":"1987","title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1987","url":"https://ijcai.org/proceedings/1987/","year":1987,"location":"Milan, Italy","dates":"","editors":"John McDermott","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":96,"pages":{"first":489,"last":493},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}