知识表示和推理原理国际会议（KR 2025）ICFP

仅收录五年以上有检索的国际会议

平台仅发布5年以上有检索的会议
保障会议真实有效

检索类型	EI Compendex	邮箱
会议状态	征稿结束	网站	https://kr.org/KR2025/
主办单位

会议邮箱
会议状态	征稿结束
会议形式	线下会议
网址	https://kr.org/KR2025/
转发分享

会议简介重要信息征稿主题主讲嘉宾会议投稿

会议简介 Brief Introduction01

知识表示和推理（KR）是人工智能中一个成熟且充满活力的研究领域。KR 建立在基本论点之上，即知识通常可以用明确的声明形式表示，适合由专用的符号推理引擎进行处理。这使得利用原本通过语义基础推理机制隐含的知识成为可能。KR 为 AI 各个领域的理论和实践做出了贡献，包括代理、自动规划、机器人和自然语言处理，以及 AI 以外的领域，包括数据管理、语义网、验证、软件工程、计算生物学和网络安全。KR 会议系列是及时、深入地介绍知识表示和计算管理的理论和实践进展的领先论坛。
KR 2025将包括三个特别的主题轨道（规划与调度中的KR&R，KR和约束，野外的KR），一个视频轨道，一个最近发布的研究轨道，教程，研讨会和一个博士联盟。有关所有这些事件和相应电话的详细信息将适时在网站上公布。

重要信息 Highlights02

1.发表

被录用的论文将在 KR 2025 论文集中发表。每篇被接受的论文至少需要一名作者参加会议并展示工作。

KR 2025 的顶尖论文将被邀请参加人工智能（AIJ） 和人工智能研究杂志（JAIR） 的获奖论文专题。因此，获奖者将有可能在 AIJ 和 JAIR 之间进行选择。

2.组委会

总主席
Magdalena Ortiz，维也纳工业大学，奥地利

程序主席
Renata Wassermann，圣保罗大学，巴西
Torsten Schaub，波茨坦大学及Potassco Solutions GmbH，德国

本地安排主席
Son Tran，迪肯大学，澳大利亚
Richard Dazeley，迪肯大学，澳大利亚
Xiao Liu，迪肯大学，澳大利亚
Patanamon Thongtanunam，墨尔本大学，澳大利亚

征稿主题 Call for Paper03

代理、自动规划、机器人和自然语言处理，以及 AI 以外的领域，包括数据管理、语义网、验证、软件工程、计算生物学和网络安全

主讲嘉宾 Keynote speaker 04

Ana Ozaki · 奥斯陆大学
Ana Ozaki 在挪威奥斯陆大学（全职）和卑尔根大学（兼职）担任副教授。她在人工智能方面的研究重点是知识表示和机器学习理论。尾崎研究学习现象的形式化，以便可以系统地研究和理解涉及可学习性、复杂性和可还原性的问题。她对学习描述逻辑中制定的逻辑理论的算法和知识表示的相关形式特别感兴趣。她作为 NORA 的项目委员会成员以及 KR 和 DL 的指导委员会成员为 AI 社区服务。此外，她还是 Journal of Machine Learning Research 和 Journal of Web Semantics 的编委会成员。Ozaki 最近担任了第 7 届国际规则与推理联合会议和第 36 届国际描述逻辑研讨会的程序委员会主席。Ozaki 是由 RCN 资助的 Learning Description Logic Ontologies 项目的首席研究员。此外，她还担任了由 Unibz 资助的 Apprendimento PAC di Ontologie in Logica Descrittiva （PACO）项目的首席研究员。她还与 Montserrat Hermo 合作了 Modelos y metodos basados en grafos para la computación en gran scala 项目。
David Pearce · Universidad Politécnica de Madrid
西班牙马德里理工大学人工智能教授，他的科学兴趣和研究领域有：纯粹和应用逻辑、知识表示、科学方法、技术哲学、社会本体论、美学和设计、人工智能和伦理学。
Gerardo Simari · Universidad Nacional del Sur in Bahia Blanca
在巴伊亚布兰卡国立南方大学计算机科学与工程系，研究方向为：不确定性下的推理、本体语言语义网、使用 Preferences 进行推理、网络安全和网络战争、不一致管理关系数据库和本体、关于 Complex 的推理网络、逻辑编程，概率逻辑编程、Autonomous Agent 和多智能体系统、信念修正
Son Cao Tran · New Mexico State University
Sylvie Thibeaux · Australian National University
澳大利亚国立大学（Australian National University）和图卢兹大学（University of Toulouse）的 directrice de recherche。在澳大利亚国立大学，是计算机学院规划与优化研究小组的成员。在图卢兹，是人工智能和自然智能（ANITI）研究所和 LAAS-CNRS 实验室的 RIS 小组的成员。她的研究兴趣是自动规划、调度、诊断和搜索，它们与优化、机器学习和验证的集成，以及它们在能源和交通中的应用。