- Automated theorem proving
- Boolean satisfiability problem
- Constraint logic programming
- Control theory
- Datalog
- Fril
- Functional programming
- Fuzzy logic
- Inductive logic programming
- Linear logic
- Logic in computer science (includes Formal methods)
- Logic programming languages
- Programmable logic controller
- R++
- Reasoning system
- Rule-based machine learning
- Satisfiability
- Syntax and semantics of logic programming
- Combinatorial optimization
- Concurrent constraint logic programming
- Constraint logic programming
- Heuristic algorithms
- List of constraint programming languages
- Mathematical optimization
- Nurse scheduling problem
- Regular constraint
- Satisfiability modulo theories
- Traveling tournament problem
- Curry–Howard correspondence
- Symbolic computation
- Ramanujan machine
- Computer-aided proof
- Formal verification
- Logic programming
- Proof checking
- Model checking
- Proof complexity
- Computer algebra system
- Program analysis (computer science)
- General Problem Solver
- Metamath language for formalized mathematics
- De Bruijn factor
- Artificial intelligence
- Automated planning and scheduling
- Automated theorem proving
- Belief revision
- Case-based reasoning
- Cognitive architecture
- Cognitive science
- Connectionism
- Constraint programming
- Deep learning
- First-order logic
- GOFAI
- History of artificial intelligence
- Inductive logic programming
- Knowledge-based systems
- Knowledge representation and reasoning
- Logic programming
- Machine learning
- Model checking
- Model-based reasoning
- Multi-agent system
- Natural language processing
- Neuro-symbolic AI
- Ontology
- Philosophy of artificial intelligence
- Physical symbol systems hypothesis
- Semantic Web
- Sequential pattern mining
- Statistical relational learning
- Symbolic mathematics
- YAGO ontology
- WordNet
- Action description language – Robot programming language
- Artificial intelligence in video games – AI used for video games, usually non-player characters
- Cognitive robotics – robot with processing architecture that will allow it to learn
- Expert system – Computer system emulating the decision-making ability of a human expert
- Inference engine – Component of artificial intelligence systems
- Intelligent agent – Software agent which acts autonomously
- OPS5 – rule-based or production system computer language
- Production system – computer program typically used to provide some form of artificial intelligence
- Reinforcement learning – Field of machine learning
- Rete algorithm – Pattern matching algorithm
- Utility system – modeling approach for video games
- Type inference
- Type introspection
- typeof
- Reflection (computer science)
- Template (C++)
- Commonsense reasoning
- Formal concept analysis
- Inductive reasoning
- Inductive programming
- Inductive probability
- Statistical relational learning
- Version space learning
- Learning classifier system
- Association rule learning
- Associative classifier
- Artificial immune system
- Expert system
- Decision rule
- Rule induction
- Inductive logic programming
- Rule-based machine translation
- Genetic algorithm
- Rule-based system
- Rule-based programming
- RuleML
- Production rule system
- Business rule engine
- Business rule management system
- Geometric and Topological Inference
- Action selection
- Backward chaining
- Expert system
- Forward chaining
- Inductive inference
Classes of automata