• Default logic as a formalism for understanding commonsense reasoning 

      Amati, Gianni; Carlucci Aiello, Luigia; Pirri, Fiora (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
      Article
      Accés obert
      Commonsense reasoning is the reasoning of agents interacting with the real world. Non monotonic reasoning is a well developed research area gathering the logical formalisms that treat commonsense reasoning. One of the best ...