A correspondence between inheritance hierarchies and a logic of preferential entailment.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Conference paper (Refereed)
Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (ISMIS)
M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, and Z. W. Ras
University of North Carolina Press