AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A metalogic formalization of legal argumentation as game trees with defeasible reasoning
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
On the evaluation of argumentation formalisms
Artificial Intelligence
Strategic argumentation: a game theoretical investigation
Proceedings of the 11th international conference on Artificial intelligence and law
Variants of temporal defeasible logics for modelling norm modifications
Proceedings of the 11th international conference on Artificial intelligence and law
A rule-sceptic characterization of acceptable legal arguments
Proceedings of the 11th international conference on Artificial intelligence and law
DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies
Data & Knowledge Engineering
Computing ideal sceptical argumentation
Artificial Intelligence
The Carneades model of argument and burden of proof
Artificial Intelligence
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
A system for modal and deontic defeasible reasoning
Proceedings of the 2008 ACM symposium on Applied computing
Deploying defeasible logic rule bases for the semantic web
Data & Knowledge Engineering
Assumption-Based Argumentation for Epistemic and Practical Reasoning
Computable Models of the Law
Temporal Deontic Defeasible Logic: An Analytical Approach
Computable Models of the Law
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Towards an Extensible Argumentation System
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Expert Systems with Applications: An International Journal
Towards Context Sensitive Defeasible Rules
Computational Logic in Multi-Agent Systems
Local and Distributed Defeasible Reasoning in Multi-Context Systems
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Distributed Defeasible Contextual Reasoning in Ambient Computing
AmI '08 Proceedings of the European Conference on Ambient Intelligence
An Argumentation Framework Based on Conditional Priorities
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Settling on the Group's Goals: An n-Person Argumentation Game Approach
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Reasoning about preferences in argumentation frameworks
Artificial Intelligence
An Asymmetric Protocol for Argumentation Games in Defeasible Logic
Agent Computing and Multi-Agent Systems
A Compact Argumentation System for Agent System Specification
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Argumentation Semantics for Temporal Defeasible Logic
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Legal rules and argumentation in a metalogic framework
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
A Common Framework for Board Games and Argumentation Games
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Legal reasoning with argumentation schemes
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Contextual Argumentation in Ambient Intelligence
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An axiomatic account of formal argumentation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
An argumentative reasoning service for deliberative agents
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Proof explanation for the semantic web using defeasible logic
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Dialogue games in defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Assumption-based argumentation for closed and consistent defeasible reasoning
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
ANGLE: An autonomous, normative and guidable agent with changing knowledge
Information Sciences: an International Journal
The foundations of DeLP: defeating relations, games and truth values
Annals of Mathematics and Artificial Intelligence
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
A logical model of private international law
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Reasoning with imperfect context and preference information in multi-context systems
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Towards a Logical Model of Induction from Examples and Communication
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
Factual argumentation—a core model for assertions making
Journal on Computing and Cultural Heritage (JOCCH)
AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
A middleware for modeling organizations and roles in jade
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Human and unhuman commonsense reasoning
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Superiority based revision of defeasible theories
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
On judgment aggregation in abstract argumentation
Autonomous Agents and Multi-Agent Systems
Partial preferences and ambiguity resolution in contextual defeasible logic
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Towards a dynamic metalogic implementation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Modelling temporal legal rules
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Rule-based agents, compliance, and intention reconsideration in defeasible logic
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
A dynamic metalogic argumentation framework implementation
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
On the issue of reinstatement in argumentation
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
The proof algorithms of plausible logic form a hierarchy
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Review: an introduction to argumentation semantics
The Knowledge Engineering Review
Approaches to text mining arguments from legal cases
Semantic Processing of Legal Texts
Hardware implementation of temporal nonmonotonic logics
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
A semantic web based architecture for e-contracts in defeasible logic
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Forgetting for defeasible logic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
The modular logic of private international law
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Possible world semantics for defeasible deontic logic
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
The outcomes of logic-based argumentation systems under preferred semantics
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
DEAL: A Distributed Authorization Language for Ambient Intelligence
International Journal of Ambient Computing and Intelligence
Automata for infinite argumentation structures
Artificial Intelligence
Hi-index | 0.00 |
Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules. This paper establishes significant links between defeasible reasoning and argumentation. In particular, Dung-like argumentation semantics is provided for two key defeasible logics, of which one is ambiguity propagating and the other ambiguity blocking. There are several reasons for the significance of this work: (a) establishing links between formal systems leads to a better understanding and cross-fertilization, in particular our work sheds light on the argumentation-theoretic features of defeasible logic; (b) we provide the first ambiguity blocking Dung-like argumentation system; (c) defeasible reasoning may provide an efficient implementation platform for systems of argumentation; and (d) argumentation-based semantics support a deeper understanding of defeasible reasoning, especially in the context of the intended applications.