Raïda Ktari

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 8

Top Topics

Propositional Logic

Revision Operators

Horn Contraction

Top Venues

Int. J. Approx. Reason.

J. Log. Comput.

Publications

Raïda Ktari, Mohamed Ayman Boujelben, Éric Würbel
Toward credible belief base revision. Int. J. Approx. Reason. 162 (2023)
Nadia Creignou, Raïda Ktari, Odile Papini
Belief contraction and erasure in fragments of propositional logic. J. Log. Comput. 32 (7) (2022)
Raïda Ktari, Salma Jamoussi
Answer set programming encoding users opinions merging in social networks. iiWAS (2020)
Raïda Ktari, Mohamed Ayman Boujelben
On the use of evidence theory in belief base revision. CoRR (2020)
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
Parameterised Enumeration for Modification Problems. Algorithms 12 (9) (2019)
Nadia Creignou, Raïda Ktari, Odile Papini
Belief Update within Propositional Fragments. J. Artif. Intell. Res. 61 (2018)
Nadia Creignou, Raïda Ktari, Odile Papini
Complexity of Model Checking for Cardinality-Based Belief Revision Operators. ECSQARU (2017)
Nadia Creignou, Raïda Ktari, Odile Papini
Belief Contraction Within Fragments of Propositional Logic. ECAI (2016)
Nadia Creignou, Raïda Ktari, Odile Papini
Belief Update Within Propositional Fragments. ECSQARU (2015)
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
Parameterized Enumeration for Modification Problems. LATA (2015)
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
Parameterized Enumeration with Ordering. CoRR (2013)
Raïda Ktari, Habib Chabchoub
Essential Particle Swarm Optimization queen with Tabu Search for MKP resolution. Computing 95 (9) (2013)