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

@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}
}
In a recent paper we have proposed terminological default logic as a formalism that combines means both for structured representation of classes and objects and for default inheritance of properties. The major drawback that terminological default logic inherits from general default logic is that it does not take precedence of more specific defaults over more general ones into account. This behavior has already been criticized in the general context of default logic, but it is all the more… CONTINUE READING
Highly Influential
This paper has highly influenced 27 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
100 Extracted Citations
18 Extracted References
Similar Papers

Similar Papers

Loading similar papers…