Pages that link to "Item:Q1855240"
From MaRDI portal
The following pages link to On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games (Q1855240):
Displaying 50 items.
- The computational complexity of ideal semantics (Q1045987) (← links)
- Encoding deductive argumentation in quantified Boolean formulae (Q1045994) (← links)
- Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- An abstract, argumentation-theoretic approach to default reasoning (Q1402718) (← links)
- Abstract argumentation systems (Q1402750) (← links)
- Probabilistic argumentation systems. A new way to combine logic with probability. (Q1427350) (← links)
- Extending abstract argumentation systems theory (Q1575701) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Arguing about informant credibility in open multi-agent systems (Q1647510) (← links)
- Safe inductions and their applications in knowledge representation (Q1647517) (← links)
- How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)? (Q1653442) (← links)
- The first international competition on computational models of argumentation: results and analysis (Q1677447) (← links)
- Logic-based argumentation with existential rules (Q1678415) (← links)
- Inference procedures and engine for probabilistic argumentation (Q1678421) (← links)
- Generalized additive games (Q1684121) (← links)
- A novel weighted defence and its relaxation in abstract argumentation (Q1687271) (← links)
- On the impact of configuration on abstract argumentation automated reasoning (Q1687275) (← links)
- Taking account of the actions of others in value-based reasoning (Q1690960) (← links)
- Fundamental properties of attack relations in structured argumentation with priorities (Q1693566) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- Classical logic, argument and dialectic (Q1711878) (← links)
- On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation (Q1711893) (← links)
- Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations (Q1711894) (← links)
- Revision of defeasible preferences (Q1726329) (← links)
- An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals (Q1726335) (← links)
- Assessing the accuracy of diagnostic probability estimation: evidence for defeasible modus ponens (Q1726353) (← links)
- From fine-grained properties to broad principles for gradual argumentation: a principled spectrum (Q1726355) (← links)
- An extension-based approach to belief revision in abstract argumentation (Q1726407) (← links)
- Empirical evaluation of abstract argumentation: supporting the need for bipolar and probabilistic approaches (Q1726415) (← links)
- On argumentation logic and propositional logic (Q1743995) (← links)
- Deductive argumentation by enhanced sequent calculi and dynamic derivations (Q1744402) (← links)
- Defining stage argumentation semantics in terms of an abducible semantics (Q1744437) (← 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)
- Towards fixed-parameter tractable algorithms for abstract argumentation (Q1761281) (← links)
- Augmenting tractable fragments of abstract argumentation (Q1761284) (← links)
- Semantics for a theory of defeasible reasoning (Q1776195) (← links)
- Local logics, non-monotonicity and defeasible argumentation (Q1778103) (← links)
- Coherence in finite argument systems. (Q1852853) (← links)
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games (Q1855240) (← links)
- Minimal hypotheses: extension-based semantics to argumentation (Q1928824) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- Modelling defeasible and prioritized support in bipolar argumentation (Q1935594) (← links)
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728) (← links)
- Stratified belief bases revision with argumentative inference (Q1947030) (← links)
- A socio-cognitive model of trust using argumentation theory (Q1951301) (← links)
- Judgment aggregation in nonmonotonic logic (Q1990001) (← links)
- Proximity semantics for topic-based abstract argumentation (Q1999092) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
