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
162013
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
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
Belief update within propositional fragments
N Creignou, R Ktari, O Papini
Journal of Artificial Intelligence Research 61, 807-834, 2018
32018
Parameterised enumeration for modification problems
N Creignou, R Ktari, A Meier, JS Müller, F Olive, H Vollmer
Algorithms 12 (9), 189, 2019
22019
Belief Contraction Within Fragments of Propositional Logic.
N Creignou, R Ktari, O Papini
ECAI, 390-398, 2016
22016
Changement de croyances dans des fragments de la logique propositionnelle
R Ktari
Aix-Marseille, 2016
22016
Parameterized enumeration with ordering
N Creignou, R Ktari, A Meier, JS Müller, F Olive, H Vollmer
arXiv preprint arXiv:1309.5009, 2013
12013
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
2017
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–12