Introduction.- Knowledge Representation Using Formal Logic.- Quantifying and Managing Uncertainty.- Representing Temporal Knowledge.- Temporal Reasoning.- Representing and Reasoning On Spatial Knowledge.- Representing and Reasoning on Contextual Knowledge.- Causal Reasoning.- Extracting Logical Knowledge from Raw Data.- Scalable Spatiotemporal Logical Knowledge Storage.- Mining Patterns from Large Spatiotemporal Logical Knowledge Stores.- Probabilistic...