Logic, Knowledge Representation and Reasoning

Brings together logic, knowledge representation and reasoning: propositional and predicate logic, description logics, inference rules, theorem proving and semantic representation systems. Excludes the symbolic school as a paradigm, which belongs to 3.1, knowledge graphs and engineered ontologies, which belong to 6.2, and inference-time reasoning, which belongs to 4.12.

• 3.1 Symbolic AI
• 4.12 Inference-Time Reasoning
• 6.2 Knowledge Graphs and Ontologies

• 2.1 Mathematics and Statistics
• 2.2 Computational Learning Theory
• 2.3 Optimization and Algorithms
• 2.4 Information and Complexity
• 2.6 Decision and Game Theory
• 2.7 Computational Linguistics
• 2.8 Cognition and Computational Neuroscience
• 2.9 Human–Computer Interaction
• 2.10 Philosophy of AI