Partenaires
Accueil du site > Publications
Rechercher une publication
Quelques publications récentes
Article(s) de revue(s) internationale(s)
De Lima Tiago,
Alternating-time temporal dynamic epistemic logic,
dans Journal of Logic and Computation , t. a. (DOI: 10.1093/logcom/exs061) [Télécharger] [BibTeX...]
Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Overriding Subsuming Rules,
dans International Journal of Approximate Reasoning (IJAR), vol. 53, Elsevier , pp. 452-466, avril 2013. [Résumé] [BibTeX...]
Benferhat Salem, Boudjelida Abdelhamid, Tabia Karim, Drias Habiba, ,
An intrusion detection and alert correlation approach based on revising probabilistic classifiers using expert knowledge,
dans Applied Intelligence , Springer Netherlands, pp. 1-21, 2013. [BibTeX...]
Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Overriding Subsuming Rules,
dans , Elsevier, 2013. [Résumé] [BibTeX...]
Herzig Andreas, Lang Jérôme, Marquis Pierre,
Propositional Update Operators based on Formula/Literal Dependence,
dans ACM Transactions on Computational Logic (ACM TOCL), 2013. (à paraître) [BibTeX...]
Vesic Srdjan,
Identifying the Class of Maxi-Consistent Operators in Argumentation,
dans Journal of Artificial Intelligence Research (JAIR), 2013. (to appear) [BibTeX...]
Boukhris Imen, Elouadi zied, Benferhat Salem,
Dealing with External Actions in Belief Causal Networks,
dans 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,
dans 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.,
dans Information Sciences (Information Sciences), Elsevier, 2013. (A para?tre) [BibTeX...]
Benferhat Salem, Tabia Karim,
Inference in possibilistic network classifiers under uncertain observations,
dans Annals of Mathematics and Artificial Intelligence (AMAI), vol. 64, n° 2-3, Springer , pp. 269-309, mars 2012. [BibTeX...]