Das CRIL im Ũberblick

présentation

Das CRIL (Centre de Recherche en Informatique de Lens CRIL UMR 8188) ist ein gemeinsames Institut der Université d’Artois und des CNRS. Es beherbergt 60 Mitarbeiter: Forscher, Hochschullehrer, Doktoranden, Postdocs sowie Verwaltungs- und technisches Personal.

Mehr erfahren

Recently updated publications

International journals

2023 Alexis de Colnet, Stefan Mengel, Characterizing Tseitin-Formulas with Short Regular Resolution Refutations in Journal of Artificial Intelligence Research, vol. 76, pp. 265-286, 2023.

International conferences

2023 Dragan Doder, Leila Amgoud, Srdjan Vesic, Parameterized Gradual Semantics Dealing with Varied Degrees of Compensation in 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), International Joint Conferences on Artificial Intelligence Organization, pp. 3176--3183, 2023.
2023 Louenas Bounia, Frederic Koriche, Approximating Probabilistic Explanations via Supermodular Minimization (Corrected Version) in Uncertainty in Artificial Intelligence (UAI 2023)., vol. 216, pp. 216--225, 2023.
2023 Ismaïl Baaj, Approximations de Tchebyshev d'un système incompatible d'équations relationnelles floues de type max −T in Rencontres francophones sur la Logique Floue et ses Applications 2023, Cepadues, pp. 101-108, 2023.
2023 Stefan Mengel, Bounds on BDD-Based Bucket Elimination in 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 271, pp. 16:1--16:11, 2023.

Neuigkeiten  (RSS)