Computer science

This section is about logical and symbolic methods in AI. For statistical methods in AI, aka machine learning, see the Stats/ML section.

• Knowledge representation
  • Time and provenance in KR
  • Uncertainty in KR
  • KR and program analysis
• Planning and scheduling
• Qualitative spatial reasoning

• Combinatorial species
• Trees

Graphs, theory and practice:

• Graph theory
  • Algebraic graph theory
  • Directed graphs
• Graph algorithms, drawing, and software
• Graph databases and triple stores

Graph-like structures beyond graphs:

• Hypergraphs
• Petri nets
• Stock and flow diagrams
• Bigraphs

For combinatorial representations of embedded graphs, see the geometry section.

• Information retrieval
• Relational databases