Publication | Open Access

A mathematical treatment of defeasible reasoning and its implementation

EngineeringReasoning SystemAutomated ReasoningMathematical TreatmentFormal MethodsDefeasible LogicFormal Mathematical Reasoning