research
∙
07/31/2023
Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version)
In formal argumentation, a distinction can be made between extension-bas...
share
research
∙
03/20/2019
Extracting Frequent Gradual Patterns Using Constraints Modeling
In this paper, we propose a constraint-based modeling approach for the p...
research
∙
03/31/2018
Efficient Encodings of Conditional Cardinality Constraints
In the encoding of many real-world problems to propositional satisfiabil...
research
∙
06/01/2014