- Sejarah kecerdasan buatan
- Logical Framework Approach
- Logical framework
- Zachman Framework
- Sherwood Applied Business Security Architecture
- Results-based management
- Inference
- European Qualifications Framework
- Formal semantics (natural language)
- Probabilistic logic
- Mathematical logic
