{"type":"ScholarlyArticle","title":"On the Definition of Specialization Hierarchies for Procedures","authors":[{"name":"Alexander Borgida","slug":"alexander-borgida","given":"Alexander","family":"Borgida","affiliation":""}],"abstract":"We highlight the growing body of systems in AI and outside where IS-A hierarchies of procedures co -occur with more traditional ones of objects, and we c lassify the various types of specializations. We then give formal definitions which approximate their intended meanings and, finally, examine their utility using as a criterion the way in which they aid program verification .","doi":null,"url":"https://ijcai.org/proceedings/1981/52","pdf":"https://ijcai.org/proceedings/1981/0052.pdf","markdown":"https://ijcai.org/proceedings/1981/52.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/52","volume":{"slug":"1981","title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1981","url":"https://ijcai.org/proceedings/1981/","year":1981,"location":"Vancouver, British Columbia, Canada","dates":"24-28 August 1981","editors":"Roger C. Schank","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Nowledge Representation","track":"Nowledge Representation","number":52,"pages":{"first":254,"last":255},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}