4.3. Non-monotonic reasoning Notes | Knowledge Engineering BCA-OLD | TU | TABFlux