ACM Computing Surveys (CSUR)
A Flexible Framework for Defeasible Logics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
A rule-sceptic characterization of acceptable legal arguments
Proceedings of the 11th international conference on Artificial intelligence and law
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
An Asymmetric Protocol for Argumentation Games in Defeasible Logic
Agent Computing and Multi-Agent Systems
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
Dialogue game tree with nondeterministic additive consolidation
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Dialogue games in defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
A dynamic metalogic argumentation framework implementation
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Hi-index | 0.00 |
We outline an approach to logical analysis and formalization of legal argumentation and dispute as game trees, wellknown in AI, using metalogic programming. The argument/counter-argument dialectic is facilitated through defeasible reasoning, and the applied principles are sought demonstrated by unravelling of a legal case within statutory law.