Pages that link to "Item:Q1028909"

The following pages link to On the evaluation of argumentation formalisms (Q1028909):

Displaying 50 items.

• Preferences in artificial intelligence (Q314443) (← links)
• On rejected arguments and implicit conflicts: the hidden power of argumentation semantics (Q334820) (← links)
• Normal and strong expansion equivalence for argumentation frameworks (Q359982) (← links)
• Generating possible intentions with constrained argumentation systems (Q433517) (← links)
• Postulates for logic-based argumentation systems (Q465599) (← links)
• Approximating operators and semantics for abstract dialectical frameworks (Q490444) (← links)
• Modeling time and valuation in structured argumentation frameworks (Q508777) (← links)
• Assessing the epistemological relevance of Dung-style argumentation theories (Q524939) (← links)
• Theory of semi-instantiation in abstract argumentation (Q528522) (← links)
• On the resolution-based family of abstract argumentation semantics and its grounded instance (Q543626) (← links)
• Instantiating abstract argumentation with classical logic arguments: postulates and properties (Q646494) (← links)
• A new approach for preference-based argumentation frameworks (Q766045) (← links)
• Complexity of abstract argumentation under a claim-centric view (Q785236) (← links)
• A logic programming framework for possibilistic argumentation: Formalization and logical properties (Q835125) (← links)
• Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack (Q846524) (← links)
• Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory (Q898737) (← links)
• Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
• Value-based argumentation framework built from prioritized qualitative choice logic (Q899191) (← links)
• An axiomatic analysis of structured argumentation with priorities (Q899441) (← links)
• Argumentation in artificial intelligence (Q1028943) (← links)
• Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction (Q1037610) (← links)
• Logic-based argumentation with existential rules (Q1678415) (← links)
• Fundamental properties of attack relations in structured argumentation with priorities (Q1693566) (← links)
• Classical logic, argument and dialectic (Q1711878) (← links)
• An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals (Q1726335) (← links)
• Corrigendum to: ``A general account of argumentation with preferences'' (Q1731838) (← links)
• A characterization of types of support between structured arguments and their relationship with support in abstract argumentation (Q1748533) (← links)
• A general semi-structured formalism for computational argumentation: definition, properties, and examples of application (Q1749391) (← links)
• Minimal hypotheses: extension-based semantics to argumentation (Q1928824) (← links)
• A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
• Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728) (← links)
• A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
• Simple contrapositive assumption-based argumentation. II: Reasoning with preferences (Q2060783) (← links)
• Assumption-based argumentation for extended disjunctive logic programming (Q2103901) (← links)
• A paraconsistent approach to deal with epistemic inconsistencies in argumentation (Q2146014) (← links)
• A probabilistic deontic argumentation framework (Q2206475) (← links)
• Revealed preference in argumentation: algorithms and applications (Q2237149) (← links)
• t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
• Using argument strength for building dialectical bonsai (Q2248521) (← links)
• Complete extensions in argumentation coincide with 3-valued stable models in logic programming (Q2269506) (← links)
• Meta-argumentation modelling. I: Methodology and techniques (Q2269509) (← links)
• Logical modes of attack in argumentation networks (Q2269513) (← links)
• A logical account of formal argumentation (Q2269515) (← links)
• Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification (Q2270426) (← links)
• A review of the relations between logical argumentation and reasoning with maximal consistency (Q2294581) (← links)
• EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface (Q2299238) (← links)
• A polynomial-time fragment of epistemic probabilistic argumentation (Q2302822) (← links)
• Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
• Connecting fuzzy logic and argumentation frames via logical attack principles (Q2317516) (← links)
• Preservation of semantic properties in collective argumentation: the case of aggregating abstract argumentation frameworks (Q2321270) (← links)