Switch to: Citations

References in:

An order-sorted logic for knowledge representation systems

C. Beierle, U. Hedtstück, U. Pletat, P. H. Schmitt & J. Siekmann

Artificial Intelligence 55 (2-3):149-191 (1992)

Add references

You must login to add references.

Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.details Download Export citation Bookmark 16 citations
A theory of restricted quantification I.Theodore Hailperin - 1957 - Journal of Symbolic Logic 22 (1):19-35.details Download Export citation Bookmark 5 citations
(1 other version)An Overview of the KL-ONE Knowledge Representation System.J. Brachman Ronald & G. Schmolze James - 1985 - Cognitive Science 9 (2):171-216.details Download Export citation Bookmark 44 citations
(1 other version)An Overview of the KL‐ONE Knowledge Representation System.Ronald J. Brachman & James G. Schmolze - 1985 - Cognitive Science 9 (2):171-216.details Download Export citation Bookmark 67 citations
A mechanical solution of Schubert's Steamroller by many-sorted resolution.Christoph Walther - 1985 - Artificial Intelligence 26 (2):217-224.details Download Export citation Bookmark 8 citations

1