Publication | Closed Access

Stable models and their computation for logic programming with inheritance and true negation

Applied LogicNon-classical LogicComputational LogicFuzzy LogicEngineeringAutomated ReasoningNonmonotonic LogicFormal MethodsComputer ScienceTrue NegationFormal VerificationStable ModelsLogic Programming