This document outlines various methods used in artificial intelligence and complex systems modeling including formal methods like model checking and verification, nature-inspired techniques from gene regulatory networks and swarm insects, reasoning approaches such as strategic reasoning, AI planning and compositional reasoning, decision making tools from game theory and economics, modeling styles like dynamical, multi-scale and agent-based modeling, simulation and analysis techniques including numerical simulation and high-performance computing, data-focused areas such as large data analysis, machine learning and social computing, and optimization techniques.

1. METHODS
FORMAL METHODS
Model
Checking and
Verification Program
Analysis
NATURE-INSPIRED
Gene Regulatory
Networks
Swarm insects
Evolutionary
algorithms
REASONING
Strategic
Reasoning
AI planning
Compositional
Reasoning
DECISION MAKING
Game Theory New
Institutional
Economics
Incentive Schemes
MODELLING
Dynamical
Modelling
Multi-scale
modelling
Agent Based
Modelling
Complex
Systems
Methods
SIMULATION&ANALYSIS
Numerical
Simluation
Runtime
monitoring
High-performance
computing
Spatial
Computation
DATA
Large Scale Data
AnalysisData-mining
Machine Learning
SOCIAL ASPECTS
Social Computing
Human Systems
OPTIMISATION
Optimisation
Techniques