Student Travel Grant for 2018 Principles of Knowledge Representation and Reasoning Conference and Doctoral Consortium
2018年知识表示与推理原理会议及博士联盟学生旅费补助
基本信息
- 批准号:1838259
- 负责人:
- 金额:$ 1万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2018
- 资助国家:美国
- 起止时间:2018-08-15 至 2019-07-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This award will support US students to attend the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR&R) and its Doctoral Consortium, which will be held in Tempe, Arizona from October 29 to November 2, 2018. The Principles of KR&R conference series, established in 1989, is driven by some of the key researchers in the field of knowledge representation, and attracts a substantial number of highly visible researchers and submissions each year. In response to the high demands for graduate students in this area, the conference has established a practice of the Doctoral Consortium event during the conference, where students can deeply interact with the researchers, and is pursuing options to further enhance the educational aspect of its events. This year there will be 7 workshops and 8 tutorials prior to the main conference. A dedicated mentoring program and other student-centered events will be put in place for the maximum benefit of the participating students.The KR&R Doctoral Consortium provides an opportunity for student education in the field of knowledge representation and reasoning. The conference is a premier event attended by prominent researchers in the area. The principal investigators are among the main drivers of the conference series, and established researchers with high visibility and proven track record of successful student mentoring. The planned activity furthers technological advancement in the emerging area of knowledge representation and reasoning -- which is currently seeing substantial industrial interest and uptake -- through the enhancement of next generation computer scientists, with long-term benefits both to industry and academia. Actions will be implemented in order to broaden visibility, by trying to attract students from new research groups.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
该奖项将支持我们的学生参加第16届知识代表与推理原则国际会议(KR&R)及其博士联盟,该会议将于2018年10月29日至11月2日在亚利桑那州的坦佩举行。KR&R会议系列的原理成立于1989年,是由知识代表的一些关键研究者驱动的,并吸引了一年级的研究者,并吸引了一年级的一年和数字和数量的数字和数量的数字。为了应对该领域的研究生的高度要求,会议在会议期间建立了博士联盟活动的实践,学生可以与研究人员进行深入互动,并寻求选择进一步增强其活动的教育方面。今年将在主要会议之前有7个研讨会和8个教程。将进行一项专门的指导计划和其他以学生为中心的活动,以最大程度地利用参与学生。KR&R博士联盟为学生教育提供了知识代表和推理领域的教育机会。该会议是该地区著名研究人员参加的首要活动。首席研究人员是会议系列的主要驱动力之一,并确定了知名度很高的研究人员,并在成功的学生指导方面得到了验证。计划的活动通过增强下一代计算机科学家的能力,进一步推进了知识代表和推理的新兴领域的技术进步,目前正在看到实质性的工业兴趣和吸收,这些计算机科学家对行业和学术界都有长期利益。将通过试图吸引新研究小组的学生来实施行动以扩大可见性。该奖项反映了NSF的法定任务,并被认为是使用基金会的知识分子优点和更广泛影响的审查标准来通过评估来获得支持的。
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Implementing Logic Programs with Ordered Disjunction Using asprin
使用 asprin 实现具有有序析取的逻辑程序
- DOI:
- 发表时间:2018
- 期刊:
- 影响因子:0
- 作者:Lee, Joohyung;Yang, Zhun
- 通讯作者:Yang, Zhun
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Joohyung Lee其他文献
Multi-homing in Heterogeneous Wireless Access Networks: A Stackelberg Game for Pricing
- DOI:
10.3837/tiis.2018.05.004 - 发表时间:
2018-05 - 期刊:
- 影响因子:0
- 作者:
Joohyung Lee - 通讯作者:
Joohyung Lee
Potentiation of cholinergic transmission in the rat hippocampus by angiotensin IV and LVV-hemorphin-7
血管紧张素 IV 和 LVV-hemorphin-7 增强大鼠海马胆碱能传递
- DOI:
10.1016/s0028-3908(00)00188-x - 发表时间:
2001 - 期刊:
- 影响因子:4.7
- 作者:
Joohyung Lee;S. Chai;F. Mendelsohn;M. Morris;A. Allen - 通讯作者:
A. Allen
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Functional Stable Model Semantics and Answer Set Programming Modulo Theories
第二十三届人工智能函数稳定模型语义与答案集规划模理论国际联合会议论文集
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
Joohyung Lee;Yunsong Meng;Yi Wang - 通讯作者:
Yi Wang
Charge carriers created by interaction of a nonionic surfactant with water in a nonpolar medium
非离子表面活性剂与水在非极性介质中相互作用产生电荷载体
- DOI:
10.1016/j.colsurfa.2018.06.050 - 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
Joohyung Lee - 通讯作者:
Joohyung Lee
Large-scale assembly of carbon nanotube-based flexible circuits for DNA sensors
用于 DNA 传感器的基于碳纳米管的柔性电路的大规模组装
- DOI:
10.1088/0957-4484/19/13/135305 - 发表时间:
2008 - 期刊:
- 影响因子:3.5
- 作者:
Juwan Kang;Joohyung Lee;T. H. Kim;June;M. Seong;Seunghun Hong - 通讯作者:
Seunghun Hong
Joohyung Lee的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Joohyung Lee', 18)}}的其他基金
RI: Small: Embracing Deep Neural Networks into Probabilistic Answer Set Programming
RI:小:将深度神经网络融入概率答案集编程
- 批准号:
2006747 - 财政年份:2020
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
RI: Small: Expressive Reasoning and Learning about Actions under Uncertainty via Probabilistic Extension of Action Language
RI:小:通过动作语言的概率扩展来表达推理和学习不确定性下的动作
- 批准号:
1815337 - 财政年份:2018
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
RI: Small: Knowledge Representation and Reasoning under Uncertainty with Probabilistic Answer Set Programming
RI:小:不确定性下的知识表示和推理与概率答案集编程
- 批准号:
1526301 - 财政年份:2015
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
RI: Small: Answer Set Programming Modulo Theories
RI:小:答案集编程模理论
- 批准号:
1319794 - 财政年份:2013
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
RI: Small: Enhancing Nonmonotonic Declarative Knowledge Representation and Reasoning by Merging Answer Set Programming with Other Computing Paradigms
RI:小:通过将答案集编程与其他计算范式合并来增强非单调声明性知识表示和推理
- 批准号:
0916116 - 财政年份:2009
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
SGER: Grounding-Independent Reasoning in Answer Set Programming
SGER:答案集编程中与基础无关的推理
- 批准号:
0839821 - 财政年份:2008
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
相似国自然基金
旅行身份宽度对游客不道德行为的影响逻辑:身份过程理论视角
- 批准号:72302233
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
在线旅游推荐方法研究:基于用户旅行阶段视角
- 批准号:72301144
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
非对称旅行商相关问题的近似算法研究
- 批准号:12301414
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
灵长类动物内侧颞叶心理旅行构建过程的神经元机制
- 批准号:
- 批准年份:2022
- 资助金额:54 万元
- 项目类别:面上项目
面向大规模复杂任务的多约束着色旅行商问题建模和智能优化算法研究
- 批准号:62203108
- 批准年份:2022
- 资助金额:20 万元
- 项目类别:青年科学基金项目
相似海外基金
Travel: NSF Student Travel Grant for 2024 ACM/IEEE International Conference on Software Engineering
旅行:2024 年 ACM/IEEE 软件工程国际会议 NSF 学生旅行补助金
- 批准号:
2413092 - 财政年份:2024
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 Digital Forensics Research Conference (DFRWS)
旅行:2024 年数字取证研究会议 (DFRWS) 的 NSF 学生旅行补助金
- 批准号:
2409934 - 财政年份:2024
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for Real World Cryptography 2024 (RWC'24)
旅行:2024 年现实世界密码学 NSF 学生旅行补助金 (RWC24)
- 批准号:
2410618 - 财政年份:2024
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
Travel: Student Travel Grant for the 2024 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems
旅费:2024 年 ACM SIGMETRICS 国际计算机系统测量和建模会议学生旅费补助
- 批准号:
2412676 - 财政年份:2024
- 资助金额:
$ 1万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 ACM SIGSIM Principles of Advanced Discrete Simulation (PADS)
旅行:2024 年 ACM SIGSIM 高级离散仿真原理 (PADS) 的 NSF 学生旅行补助金
- 批准号:
2416160 - 财政年份:2024
- 资助金额:
$ 1万 - 项目类别:
Standard Grant