Сотрудники МЛ ЛогЛинФФ приняли участие в международной конференции "uAnalytiCon-2022: Абстрактные объекты"
Международная конференция "uAnalytiCon-2022: Абстрактные объекты" проходила с 13 по 14 мая в Уральском федеральном университете в Екатеринбурге.
В первый день конференции Елена Григорьевна Драгалина-Черная выступила с пленарным докладом "Logics as Formal Ontologies: Abstract Logics, Abstract Systems, and Levels of Abstraction".
Во второй день конференции проходило несколько параллельных заседаний, на которых сотрудники и стажёры лаборатории представили свои секционные доклады как очно, так и онлайн.
Виталий Долгоруков выступил с докладом "Онтологический статус возможных миров в эпистемической логике".
Елена Попова представила доклад "Модель делиберации для агентов с ограниченными ресурсами".
Константин Фролов сделал доклад "О различных критериях существования".
Ангелина Боброва выступила онлайн с докладом "Абдукция и её место в аргументации".
Арнольд Григорян, учебный стажёр МЛ ЛогЛинФФ, представил онлайн-доклад "Всего лишь возможные индивиды как не-конкретные объекты: спор между неcесситизмом и контингентизмом".
Элиа Дзардини выступил на англоязычной сессии онлайн с докладом "The Bearers of Logical Consequence".