27 citations · 39 across the 20 of their papers we have counts for
1 paper · 1 filter
Ryuta Arisaka
We make three contributions. First, we formulate a discussion-graph semantics for first-order logic with equality, enabling reasoning about discussion and argumentation in AI more…