A Terminological Knowledge Representation System with Complete Inference Algorithms

Sorry, there's nothing here.

1 Figure or Table

Statistics

0102030'94'97'00'03'06'09'12'15
Citations per Year

211 Citations

Semantic Scholar estimates that this publication has 211 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Baader1991ATK, title={A Terminological Knowledge Representation System with Complete Inference Algorithms}, author={Franz Baader and Bernhard Hollunder}, booktitle={PDK}, year={1991} }