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

该补助金支持学生选择参加博士生导师联盟（DMC）在逻辑编程和非单调推理（LPNMR）将于2022年9月5日至8日在热那亚Nervi，意大利举行的第16届国际会议。这是一个成熟的国际会议，促进了对基于逻辑的编程语言和数据库系统的设计和实现感兴趣的研究人员和实践者之间的互动，以及在知识表示和非单调推理领域工作的研究人员。这项活动将汇集该领域广泛的研究人员，并在这个关键的职业生涯早期阶段为初级研究人员提供支持。DMC为那些由于缺乏资源而可能没有参加AI会议的参与者创造了机会。对于那些在较小的机构和那些人工智能程序不太发达的机构来说，尤其如此。吸引这些参与者有可能吸引更多的人才进入人工智能研究，在形成阶段改进研究思路，并在学科范围内开展合作。该活动为学生提供了宝贵的机会，让他们在研究的关键时刻接触到外部对他们工作的观点，并使他们能够探索自己的职业目标。该奖项反映了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.