KRIS: Knowledge Representation and Inference System, System Description
Aus International Center for Computational Logic
KRIS: Knowledge Representation and Inference System, System Description
Franz BaaderFranz Baader, B. HollunderB. Hollunder
![KRIS: Knowledge Representation and Inference System, System Description KRIS: Knowledge Representation and Inference System, System Description](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
ACM SIGART Bulletin, 2:8-14, 1991
KRIS: Knowledge Representation and Inference System, System Description
ACM SIGART Bulletin, 2:8-14, 1991
- 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},
}