Travel: Student Travel Grant for 2022 Logic Programming and Non-Monotonic Reasoning Conference and Doctoral Consortium

这项资助为参加博士导师联盟(DMC)的学生提供资助，该联盟将于2022年9月5日至8日在意大利热诺瓦内尔维举行的第16届国际逻辑编程和非单调推理会议(LPNMR)上。这是一个久负盛名的国际会议，促进了对基于逻辑的编程语言和数据库系统的设计和实现感兴趣的研究人员和实践者与在知识表示和非单调推理领域工作的研究人员之间的互动。这项活动将汇聚该领域广泛的研究人员社区，并在这一关键的职业生涯早期阶段支持初级研究人员。DMC创造了机会，让那些可能因为缺乏资源而没有参加人工智能会议的人参加进来。对于那些在较小机构工作的人和那些人工智能程序开发程度较低的人来说，情况尤其如此。让这些参与者参与进来，有可能将更多的人才吸引到人工智能研究中，在他们的形成阶段改进研究想法，并产生跨学科的合作。这一活动为学生提供了宝贵的机会，让他们在研究的关键时刻接触到外界对他们工作的看法，并使他们能够探索自己的职业目标。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

This grant supports student for select students participating in the Doctoral Mentoring Consortium (DMC) at the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) that will be held in Genova Nervi, Italy, September 5-8, 2022. This is a well-established international conference that facilitates interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. This activity will bring together a broad community of researchers in the field and support junior researchers at this critical early-career stage. The DMC creates the opportunity to bring in participants who might not have attended an AI conference due to lack of resources. This is especially true for those at smaller institutions and those which have less developed AI programs. Engaging such participants has the potential to draw more talent into AI research, improve research ideas in their formative stage, and engender collaborations across the breadth of disciplines. This event provides students with invaluable exposure to outside perspectives on their work at a critical time in their research and enables them to explore their career objectives.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.