Computing extensions of terminological default theories

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Computing extensions of terminological default theories

Franz BaaderFranz Baader,  B. HollunderB. Hollunder
Computing extensions of terminological default theories


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