To endow computers with common sense is one of the major goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. This book offers a reference on logic-based commonsense reasoning. It uses the event calculus, a highly pow[...]