LATPub30

PublikationenPublications

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

Toggle side column

KRIS: Knowledge Representation and Inference System, System Description

Franz BaaderFranz Baader,  B. HollunderB. Hollunder

Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
ACM SIGART Bulletin, 2:8-14, 1991

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@article{ BaaderHollunder-SIGART-91,
  author = {F. {Baader} and B. {Hollunder}},
  journal = {{ACM} {SIGART} Bulletin},
  pages = {8--14},
  title = {{KRIS}: Knowledge Representation and Inference System, System Description},
  volume = {2},
  year = {1991},
}