occupata del ragionamento non monotonico, specialmente nell'ambito delle ricerche di intelligenza artificiale, che hanno condotto allo sviluppo di