点击上方「蓝字」关注我们 |
"西南大学—卑尔根大学逻辑工作坊旨在加强卑尔根大学逻辑与人工智能小组与西南大学逻辑与智能研究中心间的联系，加强中挪两国逻辑研究工作者间的交流与合作。"
The SWU-UiB Logic Workshop aims to strengthen academic interaction and cooperation between the Logic and AI Group at the University of Bergen in Norway and the Institute of Logic and Intelligence at Southwest University, as well as between logic researchers from Norway and China.
The SWU-UiB Logic Workshop 2024 (or say SoBer24) contains 17 talks and covers topics from epistemic logic, coalition logic, dynamic logic, logic of social networks, etc.. SoBer24 is chaired by Prof. Meiyun Guo and Prof. Thomas Ågotnes, and Zuojun Xiong is responsible for the workshop affairs.
Time: 27-28, March, 2024
Chair: Prof. Meiyun Guo & Prof. Thomas Ågotnes
Affairs: Zuojun Xiong
01
—
会议日程（Program）
Download at https://www.jianguoyun.com/p/DXqNdsMQ-Mq7DBjFzbsF for more details, or tap "Read more"(阅读全文) at the bottom of this post.
02
—
LAI of University of Bergen, Bergen, Norway
https://www.uib.no/en/rg/lai
The Logic and Artificial Intelligence group studies the foundations of reasoning about information in socio-technical systems of interacting agents. We consider interactions with both humans and computational agents. Our work finds applications in various subfields of artificial intelligence and multi-agent systems, in particular in logic-based knowledge representation and reasoning. Key interests of our research include pure and applied modal logic (especially epistemic and strategic), machine ethics and normative systems, aggregation of information, judgments and preferences, reasoning about social networks, and networks of text and people. Currently, the LAI has 3 professors, 3 associate professors, 1 postdoc, and 3 Ph.D. students. The head of the LAI is Professor Thomas Ågotnes.
03
—
ILI of Southwest University, Chongqing, China
http://logic.swu.edu.cn/
The Institute of Logic and Intelligence was founded in 2004 as a center for the study of theoretical and applied logic, with a Ph.D. program. The ILI has become a focus of innovation in research and academic management, and was named the Key Liberal Science Research Institute of Chongqing in December 2006. We have close collaborations with researchers in artificial intelligence, cognitive science, psychology, linguistics, and sociology, and have hundreds of publications in the areas of modern logic, artificial intelligence, linguistics, social network analysis, and the logic of philosophy. Currently, the ILI has 3 professors, 2 associate/assistant professors, 1 postdoc, 7 Ph.D. students. The director of the ILI is Professor Meiyun Guo.
文稿：熊作军
审核：郭美云
发布：熊作军
————————————
