\chapter{Symbolic Knowledge Representation and Reasoning}