{"type":"ScholarlyArticle","title":"Inverse Circumscription","authors":[{"name":"Hubie Chen","slug":"hubie-chen","given":"Hubie","family":"Chen","affiliation":""}],"abstract":"Inverse (or identification) problems involve deciding whether or not an explicitly given set of data points have an implicit description, for instance, in the form of a constraint network. Such problems provide insight into the relationships among various representations of knowledge, which may have differing computational properties. This paper formalizes and studies the inverse circumscription problem, which (roughly speaking) is to decide, given a set of models, if there exists a formula whose circumscription describes the input set.","doi":null,"url":"https://ijcai.org/proceedings/2003/67","pdf":"https://ijcai.org/proceedings/2003/0067.pdf","markdown":"https://ijcai.org/proceedings/2003/67.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/67","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":67,"pages":{"first":449,"last":453},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}