En este libro de 1991, el autor ofrece una amplia visión general de las diferentes áreas de investigación en el razonamiento no monotónico y presenta algunos resultados e ideas basadas en su investigación. Los principios rectores son: la clarificación de las diferentes actividades de investigación en el área, que a veces se han llevado a cabo de forma independiente entre sí, y la apreciación del hecho de que estas actividades de investigación representan a menudo diferentes medios para los mismos fines, a saber, fundamentos teóricos sólidos y computación eficiente. El libro comienza con una discusión de los diversos tipos de razonamiento no monótono, sus aplicaciones y sus lógicas. También se describen las técnicas de demostración de teoremas para estas lógicas. Luego siguen los capítulos que tratan de las formulaciones de la herencia no monótona y el razonamiento no monotónico basado en reglas no monótonas. El capítulo final discute los logros en el campo a la luz del famoso ejemplo de tiro de Yale. El libro será bien recibido por investigadores en ciencias de la computación teórica e inteligencia artificial. Idioma: Inglés