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
Report (Other academic)
Place of publ.:
Department of Computer and Information Science, Linköping University