conftrace_

argument compilation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical argument (1) forgetting operation (1) formal argumentation (1) knowledge base (1)

Papers

Compilation of Logical Arguments IJCAI 2019