Skip to content
conftrace_

verification problem

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

abstract argumentation (2) computational complexity (2) probabilistic abstract argumentation (1) complexity characterization (1) incomplete framework (1) argument correlation (1) extension semantics (1) semantic extension (1) probabilistic argumentation (1) acceptance problem (1)

Papers

An end-to-end approach for the verification problem: learning the right distance ICML 2020 Revisiting the Notion of Extension over Incomplete Abstract Argumentation Frameworks IJCAI 2020 Complexity of Fundamental Problems in Probabilistic Abstract Argumentation: Beyond Independence (Extended Abstract) IJCAI 2019