• Accademica
• Informatica

(English) Default logic

Logica predefinita La logica predefinita è una logica non monotona proposta da Raymond Reiter per formalizzare il ragionamento con ipotesi…