On the Definition of Specialization Hierarchies for Procedures
Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Nowledge Representation. Pages 254-255.
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 .
Alexander Borgida. 1981. On the Definition of Specialization Hierarchies for Procedures. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 254–255. https://ijcai.org/proceedings/1981/52
Borgida, A. (1981). On the Definition of Specialization Hierarchies for Procedures. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81 (pp. 254–255). IJCAI. https://ijcai.org/proceedings/1981/52
@inproceedings{ijcai1981p52,
title = {On the Definition of Specialization Hierarchies for Procedures},
author = {Borgida, Alexander},
booktitle = {Proceedings of the Seventh International Joint Conference on
Artificial Intelligence, {IJCAI-81}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Roger C. Schank},
pages = {254--255},
year = {1981},
month = {8},
note = {Nowledge Representation},
url = {https://ijcai.org/proceedings/1981/52},
}
TY - CPAPER TI - On the Definition of Specialization Hierarchies for Procedures AU - Borgida, Alexander T2 - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81 PB - International Joint Conferences on Artificial Intelligence PY - 1981 SP - 254 EP - 255 UR - https://ijcai.org/proceedings/1981/52 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
