Publication | Closed Access

An argumentation-theoretic foundation for logic programming

Computational LogicEngineeringAutomated ReasoningPropositional LogicFormal MethodsArgumentation-theoretic FoundationComputer ScienceLogic Programming