Le CRIL en bref

présentation

Le Centre de Recherche en Informatique de Lens (CRIL UMR 8188) est un laboratoire de l’Université d’Artois et du CNRS qui regroupe plus de cinquante membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques.

En savoir

Recherches en intelligence artificielle et applications

mots clés du CRIL

Actualités (RSS)

Séminaire Qu’est-ce que l’informatique ?

Sébastien Konieczny (CRIL, CNRS & Univ. Artois)

Nous présentons une application qui exploite les données issues de DBLP afin de représenter la proximité entre conférences/revues à partir des habitudes de publication des auteurs. Cela permet de mettre en évidence des proximités entre domaines, et d’obtenir une carte représentant les conférences en informatique. Ce travail est encore en cours, et nous devons encore améliorer et ajouter beaucoup de fonctionnalités, donc toutes les suggestions sont les bienvenues. En attendant si vous voulez savoir ce qu’est l’informatique, et où se situe l’IA, rendez-vous dans l’amphi !

En savoir

Invité(s) Visite de Arina Britz (Université de Stellenbosch, Afrique du Sud)

Arina Britz, professeur à l’Université de Stellenbosch, Afrique du sud, sera en visite au CRIL du 21 au 30 juin 2016.

Arina Britz est membre du Centre for Artificial Intelligence Research en Afrique du Sud. Elle travaille sur les logiques modales, de description, l’abduction, la modularité.

Papiers acceptés à ECAI'16

Cette année, ce seront 9 papiers du CRIL qui seront présentés à ECAI 2016 :



Set-valued conditioning in a possibility theory setting, Salem Benferhat, Vladik Kreinovich, Amélie Levray, Karim Tabia


An Improved CNF Encoding Scheme for Probabilistic Inference, Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis


A Computational Approach to Consensus-Finding, Eric Grégoire, Jean-Marie Lagniez


On Redundancy in Simple Temporal Networks, Jae Hee Lee, Sanjiang Li, Zhiguo Long, Michael Sioutis


On the Computation of Top-k Extensions in Abstract Argumentation Frameworks, Said Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi


Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases, Said Jabbour, Lakhdar Sais


On Distances between KD45n Kripke Models and their Use for Belief Revision, Thomas Caridroit, Sebastien Konieczny, Tiago de Lima, Pierre Marquis


Fixed-Parameter Tractable Optimization under DNNF Constraints, Frederic Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis


On Inconsistency Measuring and Resolving, Said Jabbour (short)


En savoir

Séminaire Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness

Hubie Chen

If one looks at typical proof systems for QBF, such as Q-resolution, a dilemma is encountered: lower bounds for Q-resolution are implied immediately by lower bounds for resolution, yet this says nothing about Q-resolution’s ability to cope with quantifier alternation—and moreover clashes severely with the contemporary QBF view of SAT as “easy”.
In this talk, we will discuss this dilemma and present a possible way to escape it.

In particular, we present and study a framework in which one can present alternation-based lower bounds on proof length in proof systems for quantified Boolean formulas. A key notion in this framework is that of proof system ensemble, which is (essentially) a sequence of proof systems where, for each, proof checking can be performed in the polynomial hierarchy. We introduce a proof system ensemble called relaxing QU-res which is based on the established proof system QU-resolution. Our main technical results include an exponential separation of the tree-like and general versions of relaxing QU-res, and an exponential lower bound for relaxing QU-res; these are analogs of classical results in propositional proof complexity.

This talk will focus on a conceptual discussion of the work’s motivation, the framework and the main definitions.

This article will be presented at ICALP ’16; a version of this article is available at http://arxiv.org/abs/1410.5369.

En savoir

Séminaire : Yacine Izza (CRIL, UArtois)