36 citations · 148 across the 24 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Games and Argumentation: Time for a Family Reunion!
Bertram Ludäscher, Yilin Xia
The rule "defeated(X) attacks(Y,X), defeated(Y)" states that an argument is defeated if it is attacked by an argument that is not defeated. The rule "win(X) $\l…
cs.LO2014★ 15 cited
Euler/X: A Toolkit for Logic-based Taxonomy Integration
Mingmin Chen, Shizhuo Yu, Nico Franz +2
We introduce Euler/X, a toolkit for logic-based taxonomy integration. Given two taxonomies and a set of alignment constraints between them, Euler/X provides tools for detecting, ex…