• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Международный семинар "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 Сергей Кузнецов (НИУ ВШЭ) Короткие формулы логики высказываний против чёрных ящиков

Регистрация