1 paper · 2 filters
Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
The KLM approach to defeasible reasoning introduces a weakened form of implication into classical logic. This allows one to incorporate exceptions to general rules into a logical s…