Description: The goal of this workshop is to study articles published in 2024 in the major AI conferences (AAAI'24, IJCAI'24, ECAI'24, etc.) and workshops about logical formalisms dedicated to knowledge reasoning and more specifically dedicated to theory reasoning embedded in temporal/description/modal logics. Knowledge logics form a family of logical formalisms dedicated to represent knowledge and to reason about it. We shall discuss questions related to scientific watch, critical analysis of recently published articles, conference program committees rules, etc.
Pedagogical objectives Based on freshly published articles about theory reasoning in AI, we discuss general questions about scientific watch. Presentation of articles in 10min and presentation in 30 minuts are expected from the students. Any question related to the relevance of the works, to their originality or their correctness shall be also discussed.
Planning: The first session starts on Nov. 12th, 2024. No session on Nov. 26th, 2024.
Grade 50% is based on the general participation to the workshop, 50% is based on two presentations (10min + 30min, details to be discussed).
- Enseignant responsable de l'UE: Stéphane Demri
- Enseignant responsable de l'UE: Stéphane Demri
- Enseignant responsable de l'UE: THOMAS RODET
- Enseignant responsable de l'UE: MIHAELA SIGHIREANU
- Enseignant: JEAN GOUBAULT
- Enseignant responsable de l'UE: MIHAELA SIGHIREANU
- Enseignant: ZOE DE VRIES
- Enseignant: Lindsey Paek
- Enseignant responsable de l'UE: MANON BOUYE