Manfred Schmidt-Schauss (schmidtschauss)

Contributions to Philosophie.ch

Bibliography

Schmidt-Schauss, Manfred. 1989. “Subsumption in KL-ONE is Undecidable.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 421–431. San Francisco, California: Morgan Kaufmann Publishers.
Schmidt-Schauss, Manfred and Smolka, Gert. 1991. “Attributive Concept Descriptions with Complements.” Artificial Intelligence 48(1): 1–26.