Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic

Franz Baader, Bernhard Hollunder. Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. Journal of Automated Reasoning, 15(1):41-68, 1995.

Abstract

Abstract is missing.