International Journal of Approximate Reasoning · 2018 · 20 citations · 8 references
ComputingComputer ScienceMathematicsFormal MethodsKnowledge RepresentationLogicArgumentationAutomated ReasoningDeductive ReasoningInductive ReasoningPredicate LogicProof ComplexityAbductive InferenceInductive InferenceInference From FactsKnowledge-based InferenceLogical Inference
8