0 e This monograph gives the first comprehensive and rigorous
presentation of default logic and modal nonmonotonic logics, and
discusses their connections to each other and to logic programming.
Addressed to the Artificial Intelligence community, it sets new
standards of scholarship, elegance, and unity of perspective in the
field.