图 书 馆境外开放课程——按学科专业列表
开放课程→自然科学→数学→数理逻辑与数学基础::
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
61Lecture 7 - Nash equilibrium: shopping, standing and voting on a line[讲座7 - 纳什均衡：购物，站立和投票上线]
Benjamin Polak(耶鲁大学) 我们首先考虑了伯特兰 "的替代模式" 两家公司之间不完全竞争的模式, 在这种竞争中, 两家公司制定价格, 而不是确定数量。然后我们考虑一种更丰富的模式, 即企业仍...
热度：122
Benjamin Polak(耶鲁大学) 我们首先考虑了伯特兰 "的替代模式" 两家公司之间不完全竞争的模式, 在这种竞争中, 两家公司制定价格, 而不是确定数量。然后我们考虑一种更丰富的模式, 即企业仍...
热度：122
62Lecture 1: Course Logistics[讲座1：逻辑课程]
Stephen P. Boyd(斯坦福大学) 我想我们开始了。我想我会保持性格，欢迎来到364b，现在我会解释为什么会保持性格。我相信我们正在创造历史。据我所知，这是世界上第一盘落后的磁带。我们是否知...
热度：83
Stephen P. Boyd(斯坦福大学) 我想我们开始了。我想我会保持性格，欢迎来到364b，现在我会解释为什么会保持性格。我相信我们正在创造历史。据我所知，这是世界上第一盘落后的磁带。我们是否知...
热度：83
63Dynamical Logic[动态逻辑]
Schmitt Peter H(卡尔斯鲁厄大学) 动态逻辑是由大卫·哈里尔在V.R.Pratt之前的工作基础上于1970年代后期开发的。它是一种模态逻辑，作为任何一种模态逻辑，它允许对不同状态（或世界）的陈述的真实...
热度：73
Schmitt Peter H(卡尔斯鲁厄大学) 动态逻辑是由大卫·哈里尔在V.R.Pratt之前的工作基础上于1970年代后期开发的。它是一种模态逻辑，作为任何一种模态逻辑，它允许对不同状态（或世界）的陈述的真实...
热度：73
64Artificial Intelligence Planning[人工智能规划]
Jussi Rintanen(澳大利亚信息通信技术研究中心) 本课程介绍了规划中使用的最重要的状态空间遍历方法，包括基于命题满足性测试的技术、启发式状态空间搜索以及基于逻辑的数据结构，如二进制决策图。讨论了这些技...
热度：64
Jussi Rintanen(澳大利亚信息通信技术研究中心) 本课程介绍了规划中使用的最重要的状态空间遍历方法，包括基于命题满足性测试的技术、启发式状态空间搜索以及基于逻辑的数据结构，如二进制决策图。讨论了这些技...
热度：64
65Logic, Automata & Games[逻辑，自动机与游戏]
Sophie Pinchinat(IRISA公司) 本课程为学生们提供时间逻辑、MU演算、两人无限博弈、交替树自动机等基本概念，以及他们回答模型检验和满足性问题的关系。
热度：54
Sophie Pinchinat(IRISA公司) 本课程为学生们提供时间逻辑、MU演算、两人无限博弈、交替树自动机等基本概念，以及他们回答模型检验和满足性问题的关系。
热度：54
66Knowledge Representation and Reasoning[知识表达与推理]
Maurice Pagnucco(新南威尔士大学) 知识表示和推理的研究在人工智能领域有着悠久的历史，基于逻辑的方法在该领域的发展中发挥了重要作用。在本课程中，我们将从非单调逻辑到描述逻辑和语义网，对KR...
热度：209
Maurice Pagnucco(新南威尔士大学) 知识表示和推理的研究在人工智能领域有着悠久的历史，基于逻辑的方法在该领域的发展中发挥了重要作用。在本课程中，我们将从非单调逻辑到描述逻辑和语义网，对KR...
热度：209
67Overview of Automated Reasoning[自动推理的概述]
Michael Norrish(澳大利亚信息通信技术研究中心) 课程描述：在许多应用中，我们期望计算机逻辑推理。我们可能天真地认为这是计算机擅长的，但事实上，他们发现这非常困难。在本概述课程中，我们将简要介绍几种机...
热度：83
Michael Norrish(澳大利亚信息通信技术研究中心) 课程描述：在许多应用中，我们期望计算机逻辑推理。我们可能天真地认为这是计算机擅长的，但事实上，他们发现这非常困难。在本概述课程中，我们将简要介绍几种机...
热度：83
68Understanding Spatiality in the Brain or: does Spatiality matter?[理解大脑内的空间性或：空间性重要吗？]
Steve Womble(利兹大学)
热度：62
Steve Womble(利兹大学)
热度：62
69Language Modeling with Tree Substitution Grammars[语言建模与树替代文法]
Matt Post(罗切斯特大学) 我们发现，使用折叠的吉布斯采样器产生的树替换语法（TSG）比标准上下文无关语法和其他启发式训练的TSG对测试数据的困惑更低，这表明它更适合于语言建模。跨TSG...
热度：16
Matt Post(罗切斯特大学) 我们发现，使用折叠的吉布斯采样器产生的树替换语法（TSG）比标准上下文无关语法和其他启发式训练的TSG对测试数据的困惑更低，这表明它更适合于语言建模。跨TSG...
热度：16
70On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference[对一阶知识编译的完整性概率推理]
Guy Van den Broeck(加州大学洛杉矶分校) 概率逻辑由于其对知识表示和学习的表达能力，在今天受到了广泛的关注。然而，当在命题层次上进行推理时，这种表达方式不利于推理的可驾驭性。为了解决这一问题，...
热度：61
Guy Van den Broeck(加州大学洛杉矶分校) 概率逻辑由于其对知识表示和学习的表达能力，在今天受到了广泛的关注。然而，当在命题层次上进行推理时，这种表达方式不利于推理的可驾驭性。为了解决这一问题，...
热度：61
71Opening - The 5th International Workshop on Mining and Learning with Graphs[开幕式-第五届国际图形学习与学习研讨会]
() 近年来，已经举办了几次关于挖掘和从图形中学习的研讨会，例如去年的MLG及其先驱MGTS关于挖掘图形、树和序列的研讨会系列。这是成功的，但与一个研究团体的会议...
热度：38
() 近年来，已经举办了几次关于挖掘和从图形中学习的研讨会，例如去年的MLG及其先驱MGTS关于挖掘图形、树和序列的研讨会系列。这是成功的，但与一个研究团体的会议...
热度：38
72Temporal Pattern Mining in Symbolic Time Point and Time Interval Data[在象征性时间点和时间间隔数据中的时间模式挖掘]
Fabian Moerchen(西门子公司) 我们提出了一个统一的时间概念和数据模型的观点，以便从符号时间数据中分类现有的无监督模式挖掘方法。我们区分了基于时间点的方法和基于区间的方法，以及单变量...
热度：57
Fabian Moerchen(西门子公司) 我们提出了一个统一的时间概念和数据模型的观点，以便从符号时间数据中分类现有的无监督模式挖掘方法。我们区分了基于时间点的方法和基于区间的方法，以及单变量...
热度：57
73An architecture for semantic navigation and reasoning with patient data - experiences of the Health-e-Child project[一个关于孩子健康项目的病人数据语义导航和推理的结构]
Tamás Hauer(欧洲核子研究组织) 医学本体已经成为记录和获取概念化生物和医学知识的标准手段。这些本体论的表现力从简单的概念表到分类法再到形式逻辑理论。在患者信息的上下文中，它们的应用主...
热度：30
Tamás Hauer(欧洲核子研究组织) 医学本体已经成为记录和获取概念化生物和医学知识的标准手段。这些本体论的表现力从简单的概念表到分类法再到形式逻辑理论。在患者信息的上下文中，它们的应用主...
热度：30
74Ontology-based Data Access[基于本体的数据访问]
Domenico Lembo(罗马大学) 在本教程中，我们从理论和实践两个角度全面了解了基于本体的数据访问问题。我们解决了在这方面至关重要的几个问题，例如表达/效率权衡、查询处理、本体和数据层...
热度：79
Domenico Lembo(罗马大学) 在本教程中，我们从理论和实践两个角度全面了解了基于本体的数据访问问题。我们解决了在这方面至关重要的几个问题，例如表达/效率权衡、查询处理、本体和数据层...
热度：79
75