KRIS: Knowledge Representation and Inference System

Cite this paper

@article{Baader1991KRISKR, title={KRIS: Knowledge Representation and Inference System}, author={Franz Baader and Bernhard Hollunder}, journal={SIGART Bulletin}, year={1991}, volume={2}, pages={8-14} }