Following a brief introduction to the concepts of predicate logic that are needed in the subsequent chapters, this text presents an in-depth treatment of default logic. Other subjects covered include the major approaches of autoepistemic logic and circumscription and semantics of logic programs.