OSCAR
From MaRDI portal
Software:38059
swMATH26328MaRDI QIDQ38059FDOQ38059
Author name not available (Why is that?)
Cited In (41)
- Augmenting tractable fragments of abstract argumentation
- Epistemic entrenchment and arithmetical hierarchy
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
- Semi-stable semantics
- A QBF-based formalization of abstract argumentation semantics
- Cost-bounded argumentation
- Argumentation in artificial intelligence
- The Logical Handling of Threats, Rewards, Tips, and Warnings
- Inductive inference and argumentation methods in modern intelligent decision support systems
- SCC-recursiveness: a general schema for argumentation semantics
- A characterization of types of support between structured arguments and their relationship with support in abstract argumentation
- Abstract argumentation systems
- Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Generating possible intentions with constrained argumentation systems
- A formal account of Socratic-style argumentation
- A logic-based theory of deductive arguments
- Backdoors to satisfaction
- Evaluation of arguments in weighted bipolar graphs
- Logical argumentation by dynamic proof systems
- A review of the relations between logical argumentation and reasoning with maximal consistency
- Justification and defeat
- Dynamic reasoning with qualified syllogisms
- A neural cognitive model of argumentation with application to legal inference and decision making
- A new approach for preference-based argumentation frameworks
- Postulates for logic-based argumentation systems
- Valued preference-based instantiation of argumentation frameworks with varied strength defeats
- Minimal hypotheses: extension-based semantics to argumentation
- Extending abstract argumentation systems theory
- On the evaluation of argumentation formalisms
- An argumentation system for defeasible reasoning
- Reaching agreements through argumentation: a logical model and implementation
- On three-valued acceptance conditions of abstract dialectical frameworks
- On principle-based evaluation of extension-based argumentation semantics
- Uses and computation of imprecise probabilities from statistical data and expert arguments
- A relevance-theoretic framework for constructing and deconstructing enthymemes
- Algorithms and complexity results for persuasive argumentation
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Deductive argumentation by enhanced sequent calculi and dynamic derivations
- I don't care, I don't know \(\dots \) I know too much! on incompleteness and undecidedness in abstract argumentation
- Building an epistemic logic for argumentation
This page was built for software: OSCAR