CRIL - Centre de Recherche en Informatique de Lens


15 nov. 2024 Vidéo [KR'24] Collective Satisfaction Semantics for Opinion Based Argumentation Paper: Juliete Rossie, Jérôme Delobelle, Sébastien Konieczny, Clément Lens, Srdjan Vesic. “Collective Satisfaction Semantics for Opinion Based Argumentation”. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning — Main Track. Pages 631–641. (2024). https://doi.org/10.24963/kr.2024/59 Abstract: Voting on arguments in a debate is a natural approach for reaching a consensual decision. Despite this, there are few formal methods of abstract argumentation dealing with the use of votes in the process of selecting accepted arguments.
10 oct. 2024 Événement Festival du CNRS Hauts-de-France 2024 Pendant 3 jours, du 10 au 12 octobre 2024, le CRIL a participé au Festival du CNRS, organisé par la Délégation Hauts-de-France du CNRS, dans le cadre de la fête de la science 2024. L’événement s’est déroulé dans la Somme, à l’Entrepôt des Sels de Saint-Valery-sur-Somme. Le CRIL a proposé un atelier intitulé “Comment découvrir la vérité grâce à la décision collective ? (Est-ce que la démocratie ça marche ?)”
20 juil. 2023 Vidéo The Silent (R)evolution of SAT This is a video promoting an article of the same name by Johannes K. Fichte, Daniel Le Berre, Markus Hecher, and Stefan Szeider published in Communications of the ACM, June 2023, Vol. 66 No. 6, Pages 64-72 10.1145/3560469. The propositional satisfiability problem (SAT) was the first to be shown NP-complete by Cook and Levin. SAT remained the embodiment of theoretical worst-case hardness. However, in stark contrast to its theoretical hardness, SAT has emerged as a central target problem for efficiently solving a wide variety of computational problems.

15 nov. 2024 Vidéo [KR'24] Collective Satisfaction Semantics for Opinion Based Argumentation

Paper: Juliete Rossie, Jérôme Delobelle, Sébastien Konieczny, Clément Lens, Srdjan Vesic. “Collective Satisfaction Semantics for Opinion Based Argumentation”. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning — Main Track. Pages 631–641. (2024). https://doi.org/10.24963/kr.2024/59 Abstract: Voting on arguments in a debate is a natural approach for reaching a consensual decision. Despite this, there are few formal methods of abstract argumentation dealing with the use of votes in the process of selecting accepted arguments.

10 oct. 2024 Événement Festival du CNRS Hauts-de-France 2024

Pendant 3 jours, du 10 au 12 octobre 2024, le CRIL a participé au Festival du CNRS, organisé par la Délégation Hauts-de-France du CNRS, dans le cadre de la fête de la science 2024. L’événement s’est déroulé dans la Somme, à l’Entrepôt des Sels de Saint-Valery-sur-Somme. Le CRIL a proposé un atelier intitulé “Comment découvrir la vérité grâce à la décision collective ? (Est-ce que la démocratie ça marche ?)”

20 juil. 2023 Vidéo The Silent (R)evolution of SAT

This is a video promoting an article of the same name by Johannes K. Fichte, Daniel Le Berre, Markus Hecher, and Stefan Szeider published in Communications of the ACM, June 2023, Vol. 66 No. 6, Pages 64-72 10.1145/3560469. The propositional satisfiability problem (SAT) was the first to be shown NP-complete by Cook and Levin. SAT remained the embodiment of theoretical worst-case hardness. However, in stark contrast to its theoretical hardness, SAT has emerged as a central target problem for efficiently solving a wide variety of computational problems.

Médiation scientifique

Nous contacter

Nos adresses