Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation.
Lars BengelMatthias ThimmPublished in: KR (2023)
Keyphrases
- abstract argumentation
- abstract argumentation frameworks
- argumentation frameworks
- preferred semantics
- argumentation semantics
- desirable properties
- theorem proving
- grounded semantics
- preference relations
- argumentation theory
- decision problems
- computational problems
- machine learning
- knowledge representation
- special case
- search space
- artificial intelligence