Publication | Closed Access

An alternative approach to the semantics of disjunctive logic programs and deductive databases

Applied LogicEngineeringDeductive DatabaseAutomated ReasoningPropositional LogicFormal MethodsDefeasible LogicDeductive DatabasesSemanticsDisjunctive Logic ProgramsFormal VerificationAlternative ApproachLogic Programming