{"type":"ScholarlyArticle","title":"Circumscription and Definability","authors":[{"name":"Yves Moinard","slug":"yves-moinard","given":"Yves","family":"Moinard","affiliation":""},{"name":"Raymond Rolland","slug":"raymond-rolland","given":"Raymond","family":"Rolland","affiliation":""}],"abstract":"Thanks to two stronger versions of predicate circumscription (one of the best known non-monotonic reasoning methods), we give a definitive answer to two old open problems. The first one is the problem of expressing domain circumscription in terms of predicate circumscription. The second one is the problem of definability of the circumscribed predicates, asked by Doyle in 1985, and never answered since. These two results, and the way used to obtain them, could help an \"automatic circumscriptor\".","doi":null,"url":"https://ijcai.org/proceedings/1991/65","pdf":"https://ijcai.org/proceedings/1991/0065.pdf","markdown":"https://ijcai.org/proceedings/1991/65.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/65","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":65,"pages":{"first":432,"last":436},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}