BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.0.8//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Institute of Mathematics and Informatics
X-ORIGINAL-URL:https://math.bas.bg
X-WR-CALDESC:Събития за Institute of Mathematics and Informatics
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Sofia
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20260526T100000
DTEND;TZID=Europe/Sofia:20260526T113000
DTSTAMP:20260528T083839
CREATED:20260522T001544Z
LAST-MODIFIED:20260522T001544Z
UID:19404-1779789600-1779795000@math.bas.bg
SUMMARY:Семинар "Дигитална култура"
DESCRIPTION:Следващата сбирка на Семинар “Дигитална култура” \nще се проведе на 26 май 2026 г. (вторник) от 10:00 часа в зала 278 на ИМИ-БАН. \nДоклад на тема: \nLogics for Strategic Reasoning about Socially Interacting Rational Agents\nще изнесе Valentin Goranko\, Stockholm University\, Sweden. \nРезюме: 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. \nCoalition Logic provides a natural\, but rather restricted perspective: the agents in the proponent coalition are viewed as acting in full cooperation with each other but in complete opposition to all agents outside of the coalition\, which are thus treated as adversaries. The Alternating Time Temporal Logic extends Coalition Logic with temporal operators allowing for expressing long-term temporised goals. \nThe strategic interaction in real societies is much more complex\, usually involving various patterns combining cooperation and competition. To capture these\, more expressive and versatile logical frameworks are needed. \nIn this talk I will give a brief overview of some of these logics and will illustrate their use with some examples. \n\nZoom link:\nhttps://us06web.zoom.us/j/82219689652?pwd=VbWffI8RD4aPYC8TaNrasukEW7uePV.1
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b4%d0%b8%d0%b3%d0%b8%d1%82%d0%b0%d0%bb%d0%bd%d0%b0-%d0%ba%d1%83%d0%bb%d1%82%d1%83%d1%80%d0%b0-7/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
END:VEVENT
END:VCALENDAR