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 (9), 897-921, 2013
182013
Belief update within propositional fragments
N Creignou, R Ktari, O Papini
Journal of Artificial Intelligence Research 61, 807-834, 2018
72018
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
Parameterised enumeration for modification problems
N Creignou, R Ktari, A Meier, JS Müller, F Olive, H Vollmer
Algorithms 12 (9), 189, 2019
42019
Belief Contraction Within Fragments of Propositional Logic.
N Creignou, R Ktari, O Papini
ECAI, 390-398, 2016
42016
A normalized syntactic lexicon for arabic verbs and its evaluation within the LKB platform
N Loukil, R Ktari, K Haddar, A Benhamadou
Proceedings of the Sixth IASTED Internationa Conference 689 (051), 189, 2010
42010
Changement de croyances dans des fragments de la logique propositionnelle
R Ktari
Aix-Marseille, 2016
32016
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
12017
Parameterized enumeration with ordering
N Creignou, R Ktari, A Meier, JS Müller, F Olive, H Vollmer
arXiv preprint arXiv:1309.5009, 2013
12013
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
On the use of evidence theory in belief base revision
R Ktari, MA Boujelben
arXiv preprint arXiv:2009.11640, 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–15