Publication | Closed Access
Argumentation-Based Defeasible Reasoning For Existential Rules
11
Citations
8
References
2017
Year
Applied LogicNon-classical LogicMonotonic LogicsNon-monotonic LogicEngineeringArgumentation-based Defeasible ReasoningAutomated ReasoningPhilosophy Of LogicFormal MethodsDefeasible LogicLogical AnalysisComputer ScienceDerivation LossSemanticsDefeasible ReasoningArgumentation FrameworkLogic Programming
Logic based argumentation allows for defeasible reasoning over monotonic logics. In this paper, we introduce DEFT, a tool implementing argumentative defeasible reasoning over existential rules. We explain how DEFT overcomes derivation loss and discuss DEFT's empirical behavior.
| Year | Citations | |
|---|---|---|
Page 1
Page 1