Pages that link to "Item:Q3128365"
From MaRDI portal
The following pages link to Argument-based extended logic programming with defeasible priorities (Q3128365):
Displayed 50 items.
- Revision of defeasible preferences (Q1726329) (← links)
- A characterization of types of support between structured arguments and their relationship with support in abstract argumentation (Q1748533) (← links)
- Semantics for a theory of defeasible reasoning (Q1776195) (← links)
- Relating defeasible and normal logic programming through transformation properties. (Q1853599) (← links)
- Minimal hypotheses: extension-based semantics to argumentation (Q1928824) (← links)
- Evaluation of argument strength in attack graphs: foundations and semantics (Q2060740) (← links)
- Revealed preference in argumentation: algorithms and applications (Q2237149) (← links)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming (Q2269506) (← 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)
- Preference-based argumentation: arguments supporting multiple values (Q2270427) (← links)
- Reasoning in BDI agents using Toulmin's argumentation model (Q2285661) (← links)
- On the equivalence between logic programming semantics and argumentation semantics (Q2344367) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Rich preference-based argumentation frameworks (Q2353975) (← links)
- Weighted argumentation for analysis of discussions in Twitter (Q2409095) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- SCC-recursiveness: a general schema for argumentation semantics (Q2457654) (← links)
- Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems (Q2457665) (← links)
- A formal account of Socratic-style argumentation (Q2480967) (← links)
- Normative KGP agents (Q2509078) (← links)
- Flexible dispute derivations with forward and backward arguments for assumption-based argumentation (Q2695513) (← links)
- Argumentation Theory and Decision Aiding (Q3058464) (← links)
- Normative Systems Represented as Hybrid Knowledge Bases (Q3092311) (← links)
- Defeasible logic with dynamic priorities (Q3156907) (← links)
- Principles Of Talmudic Logic (Q3305655) (← links)
- On the Acceptability of Incompatible Arguments (Q3524934) (← links)
- An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences (Q3524975) (← links)
- DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION (Q3528982) (← links)
- On bipolarity in argumentation frameworks (Q3537543) (← links)
- Assumption-Based Argumentation for Selection and Composition of Services (Q3602953) (← links)
- An Algorithm for Generating Arguments in Classical Predicate Logic (Q3638143) (← links)
- Remedial interchange, contrary-to-duty obligation and commutation (Q3643260) (← links)
- Computing Generalized Specificity (Q3647205) (← links)
- Declarative Representation of Revision Strategies* (Q4443396) (← links)
- Argumentation for Practical Reasoning: An Axiomatic Approach (Q4571138) (← links)
- Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction (Q4571144) (← links)
- Equivalence of defeasible normative systems (Q4583306) (← links)
- Logical limits of abstract argumentation frameworks (Q4583317) (← links)
- Argumentation through a distributed self-stabilizing approach (Q4808099) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs (Q5108512) (← links)
- Approximating agreements in formal argumentation dialogues1 (Q5145459) (← links)
- Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents (Q5385618) (← links)
- Arguing and Explaining Classifications (Q5385620) (← links)
- A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part I) (Q5385622) (← links)
- A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part II) (Q5385623) (← links)
- Probabilistic legal reasoning in CHRiSM (Q5398310) (← links)