Следващата сбирка на Семинар "Дигитална култура" ще се проведе на 26 май 2026 г. (вторник) от 10:00 часа в зала 278 на ИМИ-БАН. Доклад на тема: Logics for Strategic Reasoning about Socially Interacting Rational Agents ще изнесе Valentin Goranko, Stockholm University, Sweden. Резюме: An important aspect of socially interacting rational agents are the strategic abilities of individual agents and groups (coalitions) of agents to guarantee the achievement of their desired goals, while acting and interacting within an entire society of agents. Several logical systems have been proposed for formalising and capturing such reasoning were introduced the early 2000s, starting with the Coalition Logic (CL), the Alternating Time Temporal Logic (ATL), and some extensions of these. Coalition Logic provides a natural, but rather restricted perspective: the [...]