Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Artificial Intelligence - Special issue on knowledge representation
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Artificial Intelligence
Abstract argumentation systems
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Skepticism and floating conclusions
Artificial Intelligence
An argument-based approach to reasoning with specificity
Artificial Intelligence
Defeasible reasoning with variable degrees of justification
Artificial Intelligence
A Reasoning Model Based on the Production of Acceptable Arguments
Annals of Mathematics and Artificial Intelligence
Computational Models of Natural Language Argument
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
Relating Defeasible and Default Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Argumentation schemes and generalisations in reasoning about evidence
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Semantics for a theory of defeasible reasoning
Annals of Mathematics and Artificial Intelligence
On the meta-logic of arguments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Towards a Formal and Implemented Model of Argumentation Schemes in Agent Communication
Autonomous Agents and Multi-Agent Systems
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
An axiomatic account of formal argumentation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
A lattice-based approach to computing warranted beliefs in skeptical argumentation frameworks
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Hi-index | 0.00 |
Defeasible argumentation systems are used to model commonsense and defeasible reasoning. Current argumentation systems assume that an argument that appears to be justified also satisfies our expectation in relation to the correct outcome, and, vice versa. In this paper we present an alternative representation of defeasible rules, tailored for argumentation based defeasible reasoning, that is free of such an assumption. We provide a mapping between our argumentation system and Dung's abstract argumentation theory to show its efficacy.