How to Prefer More Specific Defaults in Terminological Default Logic

Franz BaaderFranz Baader, B. HollunderB. Hollunder

Franz Baader, B. Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-58, 1992. {DFKI} Research Report

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ DFKI-RR-92-58,
  author = {F. {Baader} and B. {Hollunder}},
  institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
  number = {{RR}-92-58},
  title = {How to Prefer More Specific Defaults in Terminological Default Logic},
  type = {{DFKI} Research Report},
  year = {1992},
}