Defeaters and Eliminative Argumentation in Assurance 2.0.
Robin BloomfieldKateryna NetkachovaJohn RushbyPublished in: CoRR (2024)
Keyphrases
- conflict management
- argumentation frameworks
- defeasible logic programming
- distributed search
- heterogeneous agents
- argumentation systems
- collaborative design
- multi agent
- argumentation semantics
- defeasible reasoning
- argumentation theory
- information security
- multiple agents
- logic programming
- abstract argumentation frameworks
- theoretical framework
- data sets
- expert systems
- agent communication
- case study
- neural network