The ACM Computing Classification System (1998)
I.2.4 Knowledge Representation Formalisms and Methods
- Frames and scripts
- Modal logic
- Predicate logic
- Relation systems
- Representation languages
- Representations (procedural and rule-based)
- Semantic networks
- Temporal logic