Subsumption in KL-ONE is Undecidable

Sorry, there's nothing here.

Statistics

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

245 Citations

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

See our FAQ for additional information.

Cite this paper

@inproceedings{SchmidtSchau1989SubsumptionIK, title={Subsumption in KL-ONE is Undecidable}, author={Manfred Schmidt-Schau\ss}, booktitle={KR}, year={1989} }