Follow
Raida KTARI
Raida KTARI
Assistant Professor in computer science, Sfax university
Verified email at isims.usf.tn
Title
Cited by
Cited by
Year
Essential particle swarm optimization queen with tabu search for MKP resolution
R Ktari, H Chabchoub
Computing 95, 897-921, 2013
232013
Parameterised enumeration for modification problems
N Creignou, R Ktari, A Meier, JS Müller, F Olive, H Vollmer
Algorithms 12 (9), 189, 2019
122019
Belief update within propositional fragments
N Creignou, R Ktari, O Papini
Journal of Artificial Intelligence Research 61, 807-834, 2018
122018
Parameterized enumeration for modification problems
N Creignou, R Ktari, A Meier, JS Müller, F Olive, H Vollmer
International Conference on Language and Automata Theory and Applications …, 2015
72015
Belief Contraction Within Fragments of Propositional Logic.
N Creignou, R Ktari, O Papini
ECAI, 390-398, 2016
52016
Complexity of model checking for cardinality-based belief revision operators
N Creignou, R Ktari, O Papini
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2017
42017
Changement de croyances dans des fragments de la logique propositionnelle
R Ktari
Aix-Marseille, 2016
42016
A normalized syntactic lexicon for arabic verbs and its evaluation within the LKB platform
N Loukil, R Ktari, K Haddar, HA Ben
Proceedings of the Sixth IASTED Internationa Conference 689 (051), 189, 2010
42010
Parameterized enumeration with ordering
N Creignou, R Ktari, A Meier, JS Müller, F Olive, H Vollmer
arXiv preprint arXiv:1309.5009, 2013
22013
Belief contraction and erasure in fragments of propositional logic
N Creignou, RÏ Ktari, O Papini
Journal of Logic and Computation 32 (7), 1436-1468, 2022
12022
On the use of evidence theory in belief base revision
R Ktari, MA Boujelben
arXiv preprint arXiv:2009.11640, 2020
12020
Toward credible belief base revision
R Ktari, MA Boujelben, É Würbel
International Journal of Approximate Reasoning 162, 109007, 2023
2023
Contraction et effacement des croyances pour des fragments propositionnels
N Creignou, R Ktari, O Papini
JIAF 2021, 2021
2021
Answer set programming encoding users opinions merging in social networks
R Ktari, S Jamoussi
Proceedings of the 22nd International Conference on Information Integration …, 2020
2020
Révision de bases de croyances: complexité de la vérification de modele
N Creignou, R Ktari, O Papini
La mise-à-jour des croyances pour des fragments de la logique propositionnelle
N Creignou, R Ktari, O Papini
Actes des Huitièmes Journées de l’Intelligence Artificielle Fondamentale, 86, 0
Novel Competences Model for Human resources Assignment Problem under Multi-Projects Environment
R Ktari, S Elkosantini, H Chabchoub
The system can't perform the operation now. Try again later.
Articles 1–17