Sets, Logic and Maths for Computing von Makinson, David

"Bridges from Classical to Nonmonotonic Logic" von David Makinson bietet eine umfassende Einführung in die Theorie der nichtmonotonen Logik, die sich von der klassischen Logik unterscheidet, indem sie Schlussfolgerungen zulässt, die...