. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Non-monotonic logic"@en . .