Essential particle swarm optimization queen with tabu search for MKP resolution R Ktari, H Chabchoub Computing 95, 897-921, 2013 | 21 | 2013 |
Parameterised enumeration for modification problems N Creignou, R Ktari, A Meier, JS Müller, F Olive, H Vollmer Algorithms 12 (9), 189, 2019 | 16 | 2019 |
Belief update within propositional fragments N Creignou, R Ktari, O Papini Journal of Artificial Intelligence Research 61, 807-834, 2018 | 13 | 2018 |
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 | 8 | 2015 |
Changement de croyances dans des fragments de la logique propositionnelle R Ktari Aix-Marseille, 2016 | 5 | 2016 |
Belief contraction within fragments of propositional logic N Creignou, R Ktari, O Papini ECAI 2016, 390-398, 2016 | 5 | 2016 |
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 | 4 | 2017 |
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 | 4 | 2010 |
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 | 2 | 2022 |
On the use of evidence theory in belief base revision R Ktari, MA Boujelben arXiv preprint arXiv:2009.11640, 2020 | 1 | 2020 |
Parameterized enumeration with ordering N Creignou, R Ktari, A Meier, JS Müller, F Olive, H Vollmer arXiv preprint arXiv:1309.5009, 2013 | 1 | 2013 |
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 Le titre d’un article, 2015 | | 2015 |
Effacement des croyances en logique propositionnelle N Creignou, R Ktari, O Papini JIAF-JFPDA, 8, 0 | | |
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 | | |