• Académique
• L'informatique

Logique par défaut

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