1 citations · 1 across the 1 of their papers we have counts for
1 paper
Antoine Martina, Alexander Steen
An approach for encoding abstract dialectical frameworks and their semantics into classical higher-order logic is presented. Important properties and semantic relationships are for…