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
ACM SIGART Bulletin, 2:8-14, 1991
- Forschungsgruppe:Research Group: Automatentheorie
@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}, }