Raïda Ktari

According to our database, Raïda Ktari authored at least 11 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Toward credible belief base revision.

Raïda Ktari, Mohamed Ayman Boujelben, Éric Würbel

Int. J. Approx. Reason., November, 2023

2022

Belief contraction and erasure in fragments of propositional logic.

Nadia Creignou, Raïda Ktari, Odile Papini

J. Log. Comput., 2022

2020

On the use of evidence theory in belief base revision.

Raïda Ktari, Mohamed Ayman Boujelben

CoRR, 2020

Answer set programming encoding users opinions merging in social networks.

Raïda Ktari, Salma Jamoussi

Proceedings of the iiWAS '20: The 22nd International Conference on Information Integration and Web-based Applications & Services, Virtual Event / Chiang Mai, Thailand, November 30, 2020

2019

Parameterised Enumeration for Modification Problems.

Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer

Algorithms, 2019

2018

Belief Update within Propositional Fragments.

Nadia Creignou, Raïda Ktari, Odile Papini

J. Artif. Intell. Res., 2018

2017

Complexity of Model Checking for Cardinality-Based Belief Revision Operators.

Nadia Creignou, Raïda Ktari, Odile Papini

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

2016

Belief Contraction Within Fragments of Propositional Logic.

Nadia Creignou, Raïda Ktari, Odile Papini

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Parameterized Enumeration for Modification Problems.

Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer

Proceedings of the Language and Automata Theory and Applications, 2015

2013

Parameterized Enumeration with Ordering.

Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer

CoRR, 2013

Essential Particle Swarm Optimization queen with Tabu Search for MKP resolution.

Raïda Ktari, Habib Chabchoub

Computing, 2013