1 citations · 2 across the 4 of their papers we have counts for
4 papers
Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version)
Jesse Heyninck, Badran Raddaoui, Christian Straßer
In formal argumentation, a distinction can be made between extension-based semantics, where sets of arguments are either (jointly) accepted or not, and ranking-based semantics, whe…
Extracting Frequent Gradual Patterns Using Constraints Modeling
Jerry Lonlac, Saïdd Jabbour, Engelbert Mephu Nguifo +2
In this paper, we propose a constraint-based modeling approach for the problem of discovering frequent gradual patterns in a numerical dataset. This SAT-based declarative approach…
Efficient Encodings of Conditional Cardinality Constraints
Abdelhamid Boudane, Said Jabbour, Badran Raddaoui +1
In the encoding of many real-world problems to propositional satisfiability, the cardinality constraint is a recurrent constraint that needs to be managed effectively. Several effi…
On the measure of conflicts: A MUS-Decomposition Based Framework
Said Jabbour, Yue Ma, Badran Raddaoui +2
Measuring inconsistency is viewed as an important issue related to handling inconsistencies. Good measures are supposed to satisfy a set of rational properties. However, defining s…