Artificial Intelligence
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
The Pleadings Game: an exercise in computational dialectics
Artificial Intelligence and Law
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
The Zeno argumentation framework
Proceedings of the 6th international conference on Artificial intelligence and law
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Cognitive Carpentry: A Blueprint for how to Build a Person
Cognitive Carpentry: A Blueprint for how to Build a Person
Revised Report on the Algorithmic Language Scheme
Higher-Order and Symbolic Computation
Discourse Support Systems for Deliberative Democracy
EGOV '02 Proceedings of the First International Conference on Electronic Government
Argumentation Machines: New Frontiers in Argument and Computation
Argumentation Machines: New Frontiers in Argument and Computation
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
SCC-recursiveness: a general schema for argumentation semantics
Artificial Intelligence
Towards a formal account of reasoning about evidence: argumentation schemes and generalisations
Artificial Intelligence and Law - Law, logic and defeasibility
Dialectical argumentation with argumentation schemes: an approach to legal logic
Artificial Intelligence and Law - Law, logic and defeasibility
Dialogues about the burden of proof
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Formal systems for persuasion dialogue
The Knowledge Engineering Review
Coherence and Flexibility in Dialogue Games for Argumentation
Journal of Logic and Computation
Modelling Defeasibility in Law: Logic or Procedure?
Fundamenta Informaticae - Deontic Logic in Computer Science
Presumptions and Burdens of Proof
Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference
The Carneades Argumentation FrameworkUsing Presumptions and Exceptions to Model Critical Questions
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Formalising arguments about the burden of persuasion
Proceedings of the 11th international conference on Artificial intelligence and law
Proceedings of the 11th international conference on Artificial intelligence and law
Mass argumentation and the semantic web
Web Semantics: Science, Services and Agents on the World Wide Web
MetaLex XML and the Legal Knowledge Interchange Format
Computable Models of the Law
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF)
Computable Models of the Law
Deterrence and Defeasibility in Argumentation Process for ALIS Project
Computable Models of the Law
Abstract Argumentation Scheme Frameworks
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Combining Modes of Reasoning: An Application of Abstract Argumentation
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A dialogical theory of presumption
Artificial Intelligence and Law
Contextual Extension with Concept Maps in the Argument Interchange Format
Argumentation in Multi-Agent Systems
An object model for use in oral and written advocacy
Artificial Intelligence and Law
LKIF Core: Principled Ontology Development for the Legal Domain
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
About the logical relations between cases and rules
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
More on Presumptions and Burdens of Proof
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
Proposed XML Standards for Law: MetaLex and LKIF
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
Beyond boxes and arrows: argumentation support in terms of the knowledge structure of a legal topic
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
Argument Schemes for Legal Case-based Reasoning
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Argument Schemes and Critical Questions for Decision Aiding Process
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Arguments in OWL: A Progress Report
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Diagramming the Argument Interchange Format
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Modelling Judicial Context in Argumentation Frameworks
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Modular argumentation for modelling legal doctrines of performance relief
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Legal reasoning with argumentation schemes
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Toward assessing law students' argument diagrams
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Argument Diagramming and Diagnostic Reliability
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
Automatically classifying case texts and predicting outcomes
Artificial Intelligence and Law
A taxonomy of argumentation models used for knowledge representation
Artificial Intelligence Review
Modular argumentation for modelling legal doctrines in common law of contract
Artificial Intelligence and Law
Legal concepts as inferential nodes and ontological categories
Artificial Intelligence and Law
Teaching a process model of legal argument with hypotheticals
Artificial Intelligence and Law
Carneades and Abstract Dialectical Frameworks: A Reconstruction
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Types of Dialogue and Burdens of Proof
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Some design guidelines for practical argumentation systems
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Probabilistic Semantics for the Carneades Argument Model Using Bayesian Networks
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
How Argumentation can Enhance Dialogues in Social Networks
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Dealing with the dynamics of proof-standard in argumentation-based decision aiding
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
From policy-making statements to first-order logic
EGOVIS'10 Proceedings of the First international conference on Electronic government and the information systems perspective
Nonmonotonic tools for argumentation
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Dealing with the dynamics of proof-standard in argumentation-based decision aiding
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Similarity, precedent and argument from analogy
Artificial Intelligence and Law
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Analyzing open source license compatibility issues with Carneades
Proceedings of the 13th International Conference on Artificial Intelligence and Law
An agent-based legal knowledge acquisition methodology for agile public administration
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Arguing about the trustworthiness of the information sources
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Towards a structured online consultation tool
ePart'11 Proceedings of the Third IFIP WG 8.5 international conference on Electronic participation
Review: representing and classifying arguments on the semantic web
The Knowledge Engineering Review
Burden of proof in deliberation dialogs
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Approaches to text mining arguments from legal cases
Semantic Processing of Legal Texts
JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
UMAP'11 Proceedings of the 19th international conference on Advances in User Modeling
Deliberation dialogues for reasoning about safety critical actions
Autonomous Agents and Multi-Agent Systems
A three-layer argumentation framework
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Relating the semantics of abstract dialectical frameworks and standard AFs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Relating Carneades with abstract argumentation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
The modular logic of private international law
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
The process of reaching agreement in meaning negotiation
Transactions on Computational Collective Intelligence VII
LASAD: Flexible representations for computer-based collaborative argumentation
International Journal of Human-Computer Studies
Argumentation logic to assist in security administration
Proceedings of the 2012 workshop on New security paradigms
A general account of argumentation with preferences
Artificial Intelligence
Using Argumentation Schemes for Argument Extraction: A Bottom-Up Method
International Journal of Cognitive Informatics and Natural Intelligence
Research opportunities for argumentation in social networks
Artificial Intelligence Review
Using Argumentation Schemes for Argument Extraction: A Bottom-Up Method
International Journal of Cognitive Informatics and Natural Intelligence
A socio-cognitive model of trust using argumentation theory
International Journal of Approximate Reasoning
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Introducing the Carneades web application
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Argumentation-Based Learning for Communities of Practice
International Journal of Knowledge Society Research
Abstract dialectical frameworks revisited
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Approximating operators and semantics for abstract dialectical frameworks
Artificial Intelligence
Hi-index | 0.00 |
We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof standards to determine the acceptability of statements on an issue-by-issue basis. The model uses different types of premises (ordinary premises, assumptions and exceptions) and information about the dialectical status of statements (stated, questioned, accepted or rejected) to allow the burden of proof to be allocated to the proponent or the respondent, as appropriate, for each premise separately. Our approach allows the burden of proof for a premise to be assigned to a different party than the one who has the burden of proving the conclusion of the argument, and also to change the burden of proof or applicable proof standard as the dialogue progresses from stage to stage. Useful for modeling legal dialogues, the burden of production and burden of persuasion can be handled separately, with a different responsible party and applicable proof standard for each. Carneades enables critical questions of argumentation schemes to be modeled as additional premises, using premise types to capture the varying effect on the burden of proof of different kinds of questions.