Publication | Open Access

Ultimate approximation and its application in nonmonotonic knowledge representation systems

Knowledge BaseKnowledge RepresentationEngineeringAutomated ReasoningNonmonotonic LogicUltimate ApproximationComputational ComplexityComputer ScienceKnowledge-based ReasoningKnowledge CompilationApproximation Theory