Computing extensions of terminological default theories

Franz BaaderFranz Baader, B. HollunderB. Hollunder

Franz Baader, B. Hollunder
Computing extensions of terminological default theories
In G. Lakemeyer, eds., Foundations of Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Artificial Intelligence. Springer, 1994

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@incollection{ BaaderHollunder-LNAI-93,
  author = {F. {Baader} and B. {Hollunder}},
  booktitle = {Foundations of Knowledge Representation and Reasoning},
  editor = {G. {Lakemeyer}},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Computing extensions of terminological default theories},
  volume = {810},
  year = {1994},
}