The ACM Computing Classification System (1991)

I.2.4 Knowledge Representation Formalisms and Methods

• Frames and scripts
• Predicate logic
• Relation systems
• Representation languages
• Representations (procedural and rule-based)
• Semantic networks