Volgen
Raida KTARI
Raida KTARI
Assistant Professor in computer science, Sfax university
Geverifieerd e-mailadres voor isims.usf.tn
Titel
Geciteerd door
Geciteerd door
Jaar
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
132019
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–17