Международный семинар "Logic Matters (LM 2022)"
27 декабря 2022 г. состоится традиционный международный семинар "Logic Matters 2022"
Во вторник, 27 декабря 2022 г. в 11.30 в аудитории G303 совместно с Международной лабораторией интеллектуальных систем и структурного анализа и Департаментом анализа данных и искусственного интеллекта будет проведен традиционный международный воркошоп "Logic Matters 2022".
ПРОГРАММА | ||
время | докладчик | тема доклада |
11:30 - 12:00 | Арсений Коровко (НИУ ВШЭ) | Marrying Machine Learning and Logic: Embedding Queries to Knowledge Graphs and First-Order Query Answering |
12:00- 12:30 | Станислав Кикоть (ИППИ РАН) | Как беспилотный автомобиль принимает решения |
12:30 - 13:00 | Михаил Захарьящев (Birbeck, University of London) | Reverse Engineering of Temporal Queries Mediated by LTL Ontologies |
ОБЕД (13.00-13.30) | ||
13:30 -14:00 | Станислав Сперанский (МИАН им. Стеклова) | Sharpening complexity results in quantified probability logic |
14:00 - 14:30 | Степан Кузнецов (МИАН им. Стеклова, НИУ ВШЭ) | Инфинитарная логика действий с экспоненциальными модальностями |
14:30 - 15:00 | Макс Канович (University college London) | Multiplexing/Copying against Contraction |
15:00 - 15:30 | Андрей Щедров (UPenn, Philadelphia) | Algorithmic Properties of CatLog3 |
15:30 - 15:45 | Сергей Кузнецов (НИУ ВШЭ) | Короткие формулы логики высказываний против чёрных ящиков |