In dit boek uit 1991 geeft de auteur een breed overzicht van verschillende onderzoeksgebieden op het gebied van niet-monotoon redeneren en presenteert hij enkele resultaten en ideeën op basis van zijn onderzoek. De leidende beginselen zijn: verduidelijking van de verschillende onderzoekactiviteiten op het gebied, die soms onafhankelijk van elkaar zijn ondernomen, en waardering voor het feit dat deze onderzoekactiviteiten vaak verschillende middelen vertegenwoordigen om hetzelfde doel te bereiken, namelijk een deugdelijke theoretische basis en efficiënte berekeningen. Het boek begint met een bespreking van de verschillende soorten niet-monotoon redeneren, hun toepassingen en hun logica. Technieken voor het bewijzen van stellingen voor deze logica's worden ook beschreven. Daarna volgen hoofdstukken over formuleringen van niet-monotone overerving en niet-monotoon redeneren op basis van niet-monotone regels. Het laatste hoofdstuk bespreekt de prestaties in het veld in het licht van het beroemde Yale-schietvoorbeeld. Het boek zal worden verwelkomd door onderzoekers in de theoretische informatica en kunstmatige intelligentie. Taal: Engels