Computing extensions of terminological default theories

F. BaaderF. Baader, B. HollunderB. Hollunder

F. 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},
}