conftrace_

axiom system

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

rank function (1) argument enforcement (1) propositional logic (1) formal argumentation (1) belief revision (1) knowledge base (1)

Papers

Two Sides of the Same Coin: Belief Revision and Enforcing Arguments IJCAI 2018