Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic

Cite this paper

@article{Baader1995PrioritiesOD, title={Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic}, author={Franz Baader and Bernhard Hollunder}, journal={Journal of Automated Reasoning}, year={1995}, volume={15}, pages={41-68} }