Publication | Closed Access

On the computational cost of disjunctive logic programming: Propositional case

Applied LogicComputational LogicEngineeringAutomated ReasoningPropositional LogicFormal MethodsComputer ScienceDisjunctive ProgrammingInductive Logic ProgrammingLogic ProgrammingComputational Cost