Concepedia
Non-Monotonic Reasoning · 1984 · 46 citations · 0 references
ReasoningNon-classical LogicApplied LogicEngineeringAutomated ReasoningDefault LogicFormal MethodsComputer Science