KRIS: Knowledge Representation and Inference System, System Description

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

Toggle side column

KRIS: Knowledge Representation and Inference System, System Description

Franz BaaderFranz Baader,  B. HollunderB. Hollunder
KRIS: Knowledge Representation and Inference System, System Description


Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
ACM SIGART Bulletin, 2:8-14, 1991
@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},
}