Home page > Publications
De Lima Tiago,
Alternating-time temporal dynamic epistemic logic,
in Journal of Logic and Computation , t. a. (DOI: 10.1093/logcom/exs061) [Download] [BibTeX...]
Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Overriding Subsuming Rules,
in International Journal of Approximate Reasoning (IJAR), vol. 53, Elsevier , pp. 452-466, april 2013. [Abstract] [BibTeX...]
Benferhat Salem, Boudjelida Abdelhamid, Tabia Karim, Drias Habiba, ,
An intrusion detection and alert correlation approach based on revising probabilistic classifiers using expert knowledge,
in Applied Intelligence , Springer Netherlands, pp. 1-21, 2013. [BibTeX...]
Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Overriding Subsuming Rules,
in , Elsevier, 2013. [Abstract] [BibTeX...]
Herzig Andreas, Lang Jérôme, Marquis Pierre,
Propositional Update Operators based on Formula/Literal Dependence,
in ACM Transactions on Computational Logic (ACM TOCL), 2013. (à paraître) [BibTeX...]
Vesic Srdjan,
Identifying the Class of Maxi-Consistent Operators in Argumentation,
in Journal of Artificial Intelligence Research (JAIR), 2013. (to appear) [BibTeX...]
Boukhris Imen, Elouadi zied, Benferhat Salem,
Dealing with External Actions in Belief Causal Networks,
in International Journal of Approximate Reasoning (IJAR), Elsevier, 2013. (A para?tre) [BibTeX...]
Le Berre Daniel, Roussel Stéphanie,
Sat4j 2.3.2: on the fly solver configuration, System Description,
in Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 2013. (to appear) [BibTeX...]
Ayachi Raouia, Ben amor Nahla, Benferhat Salem,
A Generic Framework for a Compilation-based Inference in Probabilistic and Possibilistic Networks.,
in Information Sciences (Information Sciences), Elsevier, 2013. (A para?tre) [BibTeX...]
Benferhat Salem, Tabia Karim,
Inference in possibilistic network classifiers under uncertain observations,
in Annals of Mathematics and Artificial Intelligence (AMAI), vol. 64, n° 2-3, Springer , pp. 269-309, march 2012. [BibTeX...]