Logic driven traffic big data analytics: An introduction -- Statistical models and methods -- Spatial-temporal distribution model for travel origin-destination based on multi-source data -- Analyzing spatiotemporal congestion pattern on urban roads based on taxi GPS data -- A ride-sourcing group...