Publication | Open Access
A logic programming framework for possibilistic argumentation: Formalization and logical properties
102
Citations
27
References
2008
Year
Applied LogicComputational LogicLogic Programming FrameworkEngineeringAutomated ReasoningPropositional LogicFormal MethodsDefeasible LogicPossibilistic ArgumentationComputer ScienceLogical PropertiesSemanticsFormal VerificationArgumentationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1