1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2020
On the use of evidence theory in belief base revision
Raïda Ktari, Mohamed Ayman Boujelben
This paper deals with belief base revision that is a form of belief change consisting of the incorporation of new facts into an agent's beliefs represented by a finite set of propo…
cs.CC2013★ 1 cited
Parameterized Enumeration with Ordering
Nadia Creignou, Raïda Ktari, Arne Meier +3
The classes Delay-FPT and Total-FPT recently have been introduced into parameterized complexity in order to capture the notion of efficiently solvable parameterized enumeration pro…