{"type":"ScholarlyArticle","title":"Computing Circumscription","authors":[{"name":"Vladimir Lifschitz","slug":"vladimir-lifschitz","given":"Vladimir","family":"Lifschitz","affiliation":""}],"abstract":"Circumscription is a transformation of predicate formulas proposed by John McCarthy for the purpose of formalizing non-monotonic aspects of commonsense reasoning. Circumscription is difficult to implement because its definition involves a second-o rder quantifier. This paper presents metama.thernatical results that allow us in some cases to replace circumscription by an equivalent first-order formula.","doi":null,"url":"https://ijcai.org/proceedings/1985/22","pdf":"https://ijcai.org/proceedings/1985/0022.pdf","markdown":"https://ijcai.org/proceedings/1985/22.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/22","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":22,"pages":{"first":121,"last":126},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}