LATPub57

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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