Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence (2001)
John Breese, Daphne Koller
这是第十七届人工智能不确定性会议的会议记录，会议于2001年8月2日至5日在华盛顿州西雅图举行
This is the Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence, which was held in Seattle, WA, August 2-5 2001
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
本卷包含了在第17届国际研讨会上提交的关于ACL 2定理证明及其应用（ACL 2 2022）的论文选集。这些讲习班是介绍与ACL2有关的研究和经验的主要技术论坛。
Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (1995)
这是第十一届人工智能不确定性会议的会议记录，会议于1995年8月18日至20日在蒙特利尔举行
Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (1996)
这是第十二届人工智能不确定性会议的会议录，会议于1996年8月1日至4日在俄勒冈州波特兰市举行
Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence (1998)
这是第十四届人工智能不确定性会议的会议记录，会议于1998年7月24日至26日在威斯康星州麦迪逊举行
Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence (2002)
这是第十八届人工智能不确定性会议的会议记录，会议于2002年8月1-4日在加拿大阿尔伯塔省举行
Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence (2003)
这是2003年8月7日至10日在墨西哥阿卡普尔科举行的第十九届人工智能不确定性会议的会议记录
Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (2004)
这是第二十届人工智能不确定性会议的会议记录，会议于2004年7月7日至11日在加拿大班夫举行。
Proceedings of the Second Conference on Uncertainty in Artificial Intelligence (1986)
这是第二届人工智能不确定性会议的会议录，会议于1986年8月8日至10日在宾夕法尼亚州费城举行。
Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (1993)
这是第九届人工智能不确定性会议的会议记录，会议于1993年7月9日至11日在华盛顿特区举行。
Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence (1997)
这是第十三届人工智能不确定性会议的会议记录，会议于1997年8月1-3日在美国罗德岛州普罗维登斯举行
Proceedings of the First Conference on Uncertainty in Artificial Intelligence (1985)
这是第一届人工智能不确定性会议的会议记录，会议于1985年7月10日至12日在加利福尼亚州洛杉矶举行。
Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence (1999)
这是1999年7月30日至8月1日在瑞典斯德哥尔摩举行的第十五届人工智能不确定性会议的会议记录
Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (2013)
这是2013年8月11日至15日在华盛顿州贝尔维尤举行的第二十九届人工智能不确定性会议的会议记录。
Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence (2000)
这是第十六届人工智能不确定性会议的会议记录，会议于2000年6月30日至7月3日在加利福尼亚州旧金山举行
Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (2005)
这是2005年7月26日至29日在苏格兰爱丁堡举行的第二十一届人工智能不确定性会议的会议记录。
Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial Intelligence (2008)
这是2008年7月9日至12日在芬兰赫尔辛基举行的第二十四届人工智能不确定性会议的会议记录。
Proceedings of the Twenty-Seventh Conference on Uncertainty in Artificial Intelligence (2011)
这是2011年7月14日至17日在西班牙巴塞罗那举行的第27届人工智能不确定性会议的会议记录。
Proceedings of the Third Conference on Uncertainty in Artificial Intelligence (1987)
这是第三届人工智能不确定性会议的会议记录，会议于1987年7月10日至12日在华盛顿州西雅图举行。
Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence (1994)
这是第十届人工智能不确定性会议的会议记录，会议于1994年7月29日至31日在华盛顿州西雅图举行
Proceedings of the Twenty-Second Conference on Uncertainty in Artificial Intelligence (2006)
这是第二十二届人工智能不确定性会议的会议记录，会议于2006年7月13日至16日在马萨诸塞州剑桥举行。
Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (2009)
这是第25届人工智能不确定性会议的会议记录，会议于2009年6月18日至21日在加拿大魁北克省蒙特利尔举行。
Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (2010)
这是第二十六届人工智能不确定性会议的会议记录，该会议于2010年7月8日至11日在加利福尼亚州卡特琳娜岛举行。
Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence (2012)
这是第28届人工智能不确定性会议的会议记录，该会议于2012年8月14日至18日在加利福尼亚州卡特琳娜岛举行。
Proceedings of the Fourth Conference on Uncertainty in Artificial Intelligence (1988)
这是第四届人工智能不确定性会议的会议记录，会议于1988年7月10日至12日在明尼苏达州明尼阿波利斯举行
Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (1989)
这是第五届人工智能不确定性会议的会议记录，会议于1989年8月18日至20日在安大略省温莎举行
Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence (1991)
这是第七届人工智能不确定性会议的会议记录，会议于1991年7月13日至15日在加利福尼亚州洛杉矶举行。
Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (1990)
这是第六届人工智能不确定性会议的会议记录，会议于1990年7月27日至7月29日在马萨诸塞州剑桥举行。
Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence (1992)
这是第八届人工智能不确定性会议的会议记录，会议于1992年7月17日至19日在加利福尼亚州斯坦福举行。
Proceedings of the Twenty-Third Conference on Uncertainty in Artificial Intelligence (2007)
这是2007年7月19日至22日在不列颠哥伦比亚省温哥华举行的第二十三届人工智能不确定性会议的会议记录。
Proceedings of the 20th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2025)
KICSS 2025会议论文集收录了人工智能、知识工程等领域学者的跨学科研究成果，并经过双盲评审及额外同行评审流程。
Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge
第15届理性与知识的理论方面会议（TARK）于2015年6月4日至6日在美国匹兹堡卡内基梅隆大学举行。TARK会议的使命是汇集来自各个领域的研究人员，包括人工智能，密码学，分布式计算，经济学和博弈论，语言学，哲学和心理学，以进一步我们对涉及理性和知识推理的跨学科问题的理解。这些会议记录包括在TARK会议上提交的论文/摘要的子集。
Conference proceedings KI4Industry AI for SMEs -- The online congress for practical entry into AI for SMEs
德国卡尔斯鲁厄应用科学大学材料与工艺研究所（IMP）与德国工程师协会（Verein Deutscher Ingenie.V）、AEN汽车工程网络及其合作伙伴合作，展示了他们在生产工程领域基于人工智能的解决方案方法的能力。2020年11月12日和13日举行的在线大会KI 4 Industry展示了人工智能的使用为中型制造企业和中小企业提供的机会以及潜在的应用领域。KI 4 Industry的主要目的是增加知识、研究和技术从大学向中小企业的转移，消除人工智能一词的神秘性，并鼓励企业在自己的价值链或产品中使用基于人工智能的解决方案。
Proceedings 40th International Conference on Logic Programming
该论文集收录第40届国际逻辑程序设计会议（ICLP）的技术内容，涵盖逻辑程序设计的语义、语言设计、程序分析及实现方法学等领域，展现该领域的最新研究成果。
Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge
本卷包括在理性和知识的理论方面（TARK）在利物浦大学举行的第十六届会议上提出的论文，英国，从2017年7月24日至26日。TARK会议汇集了来自各个领域的研究人员，包括计算机科学（特别是人工智能，密码学，分布式计算），经济学（特别是决策理论，博弈论，社会选择理论），语言学，哲学（特别是哲学逻辑）和认知心理学，以进一步理解涉及理性和知识推理的问题。
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge
TARK会议（理性和知识的理论方面）是一年两次的会议，旨在汇集来自各种领域的研究人员，包括计算机科学，人工智能，博弈论，决策理论，哲学，逻辑，语言学和认知科学。它的目标是促进我们对涉及理性和知识推理的跨学科问题的理解。感兴趣的主题包括，但不限于，知识，信念，意识和不确定性，有限理性和资源有限的推理，常识认知推理，认知逻辑，认知博弈论，知识和行动，推理知识和其他心理状态的应用，信念修正和多智能体系统的基础的语义模型。这些论文集包含已被接受在第十八届理性和知识的理论方面会议（TARK 2021）上发表的论文，该会议于2021年6月25日至27日在中国北京清华大学举行。
Proceedings 38th International Conference on Logic Programming
ICLP是展示逻辑编程研究的首要国际活动。对ICLP 2022的贡献是在逻辑编程的所有领域，包括但不限于：基础：语义学，形式主义，非单调推理，知识表示。语文问题：并发，对象，协调，移动性，高阶，类型，模式，断言，模块，元编程，基于逻辑的特定领域语言，编程技术。编程支持：程序分析、转换、验证、验证、分析、测试、执行可视化。实施情况：编译、虚拟机、存储管理、并行和分布式执行、约束处理规则、制表、外部接口、用户界面。相关范例和协同作用：归纳和共归纳逻辑编程，约束逻辑编程，答案集编程，与SAT，SMT和CSP求解器的交互，定理证明，论证，概率编程，机器学习。应用领域：数据库、大数据、数据集成和联邦、软件工程、自然语言处理、Web和语义网、代理、人工智能、计算生命科学、网络安全、机器人技术、教育。
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge
本文是第十九届TARK会议论文集的说明，介绍了TARK跨学科会议的宗旨、历史、研究主题，以及2023年牛津会议的基本信息与论文收录情况。
Proceedings of the ICLR Workshop on Computer Vision for Agriculture (CV4A) 2020
这是农业计算机视觉（CV 4A）研讨会的会议记录，该研讨会与2020年国际学习代表会议（ICLR）一起举行。农业计算机视觉（CV 4A）2020研讨会定于2020年4月26日在埃塞俄比亚亚的斯亚贝巴举行。由于COVID-19疫情，会议几乎于同日举行。该研讨会与2020年国际学习代表会议（ICLR）同时举行。
Proceedings 39th International Conference on Logic Programming
本卷为ICLP 2023会议的技术通讯集，涵盖主轨道、博士联盟、应用与系统/演示、近期发表研究、兴趣小组及逻辑程序设计与机器学习、可解释性、伦理和可信赖性等主题轨道。
Proceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP是展示逻辑编程研究的首要国际活动。对ICLP 2021的贡献是在逻辑编程的所有领域，包括但不限于：基础：语义学，形式主义，非单调推理，知识表示。语文问题：并发，对象，协调，移动性，高阶，类型，模式，断言，模块，元编程，基于逻辑的特定领域语言，编程技术。编程支持：程序分析、转换、验证、验证、分析、测试、执行可视化。实施情况：编译、虚拟机、存储管理、并行和分布式执行、约束处理规则、制表、外部接口、用户界面。相关范例和协同作用：归纳和共归纳逻辑编程，约束逻辑编程，答案集编程，与SAT，SMT和CSP求解器的交互，定理证明，论证，概率编程，机器学习。应用领域：数据库、大数据、数据集成和联邦、软件工程、自然语言处理、Web和语义网、代理、人工智能、计算生命科学、网络安全、机器人技术、教育。
Are the confidence scores of reviewers consistent with the review content? Evidence from top conference proceedings in AI
该研究针对AI顶会评审中文本与置信度评分一致性缺乏细粒度分析的问题，从多层面结合深度学习方法开展评估，证实二者高度一致且高置信度与拒稿相关，验证了同行评审的公平性与专家评估的有效性。
Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
TARK 2025会议收录了关于理性与知识理论的最新研究成果，涵盖知识、信念、博弈论等多个领域。
Proceedings of NeurIPS 2019 Workshop on Artificial Intelligence for Humanitarian Assistance and Disaster Response
这些是2019年12月13日在加拿大温哥华举行的第一届AI + HADR研讨会的“会议记录”，作为神经信息处理系统会议的一部分。这些文件不属于档案，仅作为讲习班接受的所有文件的校对。
Proceedings of NeurIPS 2020 Workshop on Artificial Intelligence for Humanitarian Assistance and Disaster Response
这些是第二届AI + HADR研讨会的“会议记录”，该研讨会于2020年12月12日作为神经信息处理系统会议的一部分举行。这些都是非档案，只是作为一种方式来整理所有的文件接受到研讨会。
Proceedings 35th International Conference on Logic Programming (Technical Communications)
自1982年在马赛举行第一次会议以来，ICLP一直是展示逻辑编程研究的首要国际活动。在逻辑编程的所有领域寻求贡献，包括但不限于：基础：语义学，形式主义，非单调推理，知识表示。语言：并发，对象，协调，移动性，高阶，类型，模式，断言，模块，元编程，基于逻辑的领域特定语言，编程技术。声明式编程：声明式程序开发，分析，类型和模式推理，部分求值，抽象解释，转换，验证，验证，编译，分析，测试，执行可视化实现：虚拟机，编译，存储管理，并行/分布式执行，约束处理规则，制表，外部接口，用户界面。相关范例和协同作用：归纳和协同归纳逻辑程序设计、约束逻辑程序设计、答案集程序设计、与SAT、SMT和CSP求解器的交互、类型推断和定理证明的逻辑程序设计技术、论证、概率逻辑程序设计、与面向对象和函数式程序设计的关系。应用领域：数据库、大数据、数据集成和联合、软件工程、自然语言处理、Web和语义网、代理、人工智能、计算生命科学、教育、网络安全和机器人技术。
Proceedings 36th International Conference on Logic Programming (Technical Communications)
自1982年在马赛举行第一次会议以来，ICLP一直是展示逻辑编程研究的首要国际活动。在逻辑编程和相关领域的所有领域征求贡献，包括但不限于：-基础：语义学，形式主义，集合编程，非单调推理，知识表示。- 声明式编程：推理引擎，分析，类型和模式推理，部分求值，抽象解释，转换，验证，验证，建模，分析，测试，基于逻辑的领域特定语言，约束处理规则。- 相关范例和协同作用：归纳和协同归纳逻辑程序设计、约束逻辑程序设计、与SAT、SMT和CSP求解器的交互、用于类型推断和定理证明的逻辑编程技术、论证、概率逻辑程序设计、与面向对象和函数式编程的关系、描述逻辑、神经符号机器学习、混合深度学习和符号推理。- 实施情况：并发和分布，对象，协调，移动性，虚拟机，编译，高阶，类型系统，模块，约束处理规则，元编程，外部接口，用户界面。- 应用领域：数据库、大数据、数据集成和联合、软件工程、自然语言处理、Web和语义网、代理、人工智能、生物信息学、教育、计算生命科学、教育、网络安全和机器人技术。
Proceedings of the 13th International Conference on Automated Deduction in Geometry
几何自动演绎（ADG）是一个交流思想和观点的论坛，展示研究成果和进展，并展示几何和自动演绎之间交叉的软件工具。相关主题包括（但不限于）：多项式代数、不变和无坐标方法;概率、合成和逻辑方法，用于从离散数学、组合学和数值学进行自动几何推理的技术;几何学中的交互式定理证明;用于几何计算、几何约束求解、自动生成/推理和利用图表的操作的符号和数值方法;几何软件、自动定理证明器、专用工具、实验研究的设计和实现; ADG在力学、几何建模、CAGD/CAD、计算机视觉、机器人和教育中的应用。传统上，ADG会议每两年举行一次。历届ADG分别于2018年在南宁、2016年在斯特拉斯堡、2014年在科英布拉、2012年在爱丁堡、2010年在慕尼黑、2008年在上海、2006年在蓬特韦德拉、2004年在盖恩斯维尔、2002年在哈根贝格、2000年在苏黎世、1998年在北京和1996年在图卢兹举办。第13届ADG会议原定于2020年在奥地利哈根贝格举行，但由于COVID-19疫情，会议推迟至2021年，并于2021年9月15日至17日在线举行（仍由奥地利哈根贝格RISC研究所主办）（https：//www.risc.jku.at/conferences/adg2021）。
Proceedings 14th International Conference on Automated Deduction in Geometry
本文介绍ADG 2023会议的定位、历届举办情况、贝尔格莱德会议安排、教育中的推理专题及邀请报告。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。