Pages that link to "Item:Q2457643"

The following pages link to Dialectic proof procedures for assumption-based, admissible argumentation (Q2457643):

Displaying 45 items.

• Argument graphs and assumption-based argumentation (Q253995) (← links)
• Normal and strong expansion equivalence for argumentation frameworks (Q359982) (← links)
• Toward incremental computation of argumentation semantics: a decomposition-based approach (Q360248) (← links)
• A general framework for sound assumption-based argumentation dialogues (Q460606) (← links)
• Uses and computation of imprecise probabilities from statistical data and expert arguments (Q505254) (← links)
• Instantiating abstract argumentation with classical logic arguments: postulates and properties (Q646494) (← links)
• Algorithms for generating arguments and counterarguments in propositional logic (Q648354) (← links)
• Dynamics of argumentation systems: a division-based method (Q650522) (← links)
• Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
• An argument-based approach to reasoning with clinical knowledge (Q990964) (← links)
• Evaluating dialectical structures (Q1025574) (← links)
• Audiences in argumentation frameworks (Q1028897) (← links)
• Argumentation in artificial intelligence (Q1028943) (← links)
• Computing ideal sceptical argumentation (Q1028947) (← links)
• Computational properties of argument systems satisfying graph-theoretic constraints (Q1028949) (← links)
• The computational complexity of ideal semantics (Q1045987) (← links)
• Encoding deductive argumentation in quantified Boolean formulae (Q1045994) (← links)
• Inference procedures and engine for probabilistic argumentation (Q1678421) (← links)
• Fundamental properties of attack relations in structured argumentation with priorities (Q1693566) (← links)
• Assumption-based argumentation for extended disjunctive logic programming (Q2103901) (← links)
• Simple contrapositive assumption-based argumentation frameworks (Q2191233) (← links)
• Revealed preference in argumentation: algorithms and applications (Q2237149) (← links)
• A review of the relations between logical argumentation and reasoning with maximal consistency (Q2294581) (← links)
• Methods for solving reasoning problems in abstract argumentation -- a survey (Q2341832) (← links)
• Probabilistic qualification of attack in abstract argumentation (Q2353976) (← links)
• Labellings for assumption-based and abstract argumentation (Q2406908) (← links)
• Logical argumentation by dynamic proof systems (Q2424889) (← links)
• Flexible dispute derivations with forward and backward arguments for assumption-based argumentation (Q2695513) (← links)
• Explanations of non-monotonic inference in admissibility-based abstract argumentation (Q2695516) (← links)
• Reasoning about Exceptions to Contracts (Q3092305) (← links)
• Answers that Have Integrity (Q3092322) (← links)
• Partial Semantics of Argumentation (Q3094004) (← links)
• Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant (Q3393387) (← links)
• Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity (Q3458158) (← links)
• Approved Models for Normal Logic Programs (Q3498486) (← links)
• Assumption-Based Argumentation for Selection and Composition of Services (Q3602953) (← links)
• Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation (Q3612894) (← links)
• An Algorithm for Generating Arguments in Classical Predicate Logic (Q3638143) (← links)
• Justifying answer sets using argumentation (Q4593019) (← links)
• Reasoning on the Web with Assumption-Based Argumentation (Q4647817) (← links)
• Modelling last-act attempted crime in criminal law (Q5243395) (← links)
• Collaborative vs. Conflicting Learning, Evolution and Argumentation (Q5302474) (← links)
• Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents (Q5385618) (← links)
• Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach (Q5445306) (← links)
• Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation (Q6063862) (← links)