The next meeting of the Digital Culture Seminar will be held on May 26, 2026 (Tuesday) at 10:00 a.m. in Room 278 of IMI - BAS. A talk on: Logics for Strategic Reasoning about Socially Interacting Rational Agents will be delivered by Valentin Goranko, Stockholm University, Sweden. Abstract: 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, [...]

The next meeting of the Digital Culture Seminar will be held on May 19, 2026 (Tuesday) at 10:00 a.m. in Room 256 of IMI - BAS. A talk on: Competing Conceptions of AGI will be delivered by Pei Wang (Temple University, USA), Edior-in-Chief of the Journal of Artificial General Intelligence. Abstract: While the term "Artificial General Intelligence" (AGI) has been used to identify a research field for 20 years, a consensus on its goal remains controversial. These divergent interpretations are not merely philosophical, as they lead to fundamentally different research agendas and engineering methodologies. In this talk, the NARS (Non-Axiomatic Reasoning System) project is introduced, with an outline of its assumptions, representations, inference rules, and working process. NARS offers a fundamentally different vision of [...]

Digital Culture Seminar of the Mathematical Linguistics Department Date: October 18, 2018 Lecturer: Nektarious Moumoutzis Topic: Design, Implementation and Use of e-Shadow in Formal and Informal Learning Place: Institute of Mathematics and Informatics, BAS, 8, G. Bonchev, Str., room 278 Time: 1:00 p.m.