中文
相关论文

相关论文: The 3rd International Planning Competition: Result…

200 篇论文

The article contains a few questions and speculations related to the moduli spaces of curves, K3 surfaces, maps, and sheaves presented in the problem session of the AGNES conference in Amherst (April 2010).

代数几何 · 数学 2010-04-27 R. Pandharipande

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

编程语言 · 计算机科学 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

Planning has been part of the core pursuit for artificial intelligence since its conception, but earlier AI agents mostly focused on constrained settings because many of the cognitive substrates necessary for human-level planning have been…

计算与语言 · 计算机科学 2024-10-24 Jian Xie , Kai Zhang , Jiangjie Chen , Tinghui Zhu , Renze Lou , Yuandong Tian , Yanghua Xiao , Yu Su

Scheduling with testing is a recent online problem within the framework of explorable uncertainty motivated by environments where some preliminary action can influence the duration of a task. Jobs have an unknown processing time that can be…

数据结构与算法 · 计算机科学 2021-08-20 Susanne Albers , Alexander Eckl

AI-based Intelligent Tutoring Systems (ITS) have significant potential to transform teaching and learning. As efforts continue to design, develop, and integrate ITS into educational contexts, mixed results about their effectiveness have…

信息检索 · 计算机科学 2025-07-28 Meriem Zerkouk , Miloud Mihoubi , Belkacem Chikhaoui

In recent decades, challenges have become very popular in scientific research as these are crowdsourcing schemes. In particular, challenges are essential for developing machine learning algorithms. For the challenges settings, it is vital…

机器学习 · 计算机科学 2023-05-19 Sergio Nava-Muñoz , Mario Graff Guerrero , Hugo Jair Escalante

In the last few decades, the size of spatial and spatio-temporal datasets in many research areas has rapidly increased with the development of data collection technologies. As a result, classical statistical methods in spatial statistics…

其他统计学 · 统计学 2022-11-08 Sameh Abdulah , Faten Alamri , Pratik Nag , Ying Sun , Hatem Ltaief , David E. Keyes , Marc G. Genton

Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, i.e., solutions to planning problems, that transform a given state of the world to another state. The development of efficient and scalable answer set…

人工智能 · 计算机科学 2022-02-14 Tran Cao Son , Enrico Pontelli , Marcello Balduccini , Torsten Schaub

Assessing fairness in artificial intelligence (AI) typically involves AI experts who select protected features, fairness metrics, and set fairness thresholds to assess outcome fairness. However, little is known about how stakeholders,…

人工智能 · 计算机科学 2026-02-27 Lin Luo , Yuri Nakao , Mathieu Chollet , Hiroya Inakoshi , Simone Stumpf

In a variety of application settings, the user preference for a planning task - the precise optimization objective - is difficult to elicit. One possible remedy is planning as an iterative process, allowing the user to iteratively refine…

人工智能 · 计算机科学 2020-11-20 Rebecca Eifler , Jörg Hoffmann

The number of international benchmarking competitions is steadily increasing in various fields of machine learning (ML) research and practice. So far, however, little is known about the common practice as well as bottlenecks faced by the…

计算机视觉与模式识别 · 计算机科学 2023-09-13 Matthias Eisenmann , Annika Reinke , Vivienn Weru , Minu Dietlinde Tizabi , Fabian Isensee , Tim J. Adler , Patrick Godau , Veronika Cheplygina , Michal Kozubek , Sharib Ali , Anubha Gupta , Jan Kybic , Alison Noble , Carlos Ortiz de Solórzano , Samiksha Pachade , Caroline Petitjean , Daniel Sage , Donglai Wei , Elizabeth Wilden , Deepak Alapatt , Vincent Andrearczyk , Ujjwal Baid , Spyridon Bakas , Niranjan Balu , Sophia Bano , Vivek Singh Bawa , Jorge Bernal , Sebastian Bodenstedt , Alessandro Casella , Jinwook Choi , Olivier Commowick , Marie Daum , Adrien Depeursinge , Reuben Dorent , Jan Egger , Hannah Eichhorn , Sandy Engelhardt , Melanie Ganz , Gabriel Girard , Lasse Hansen , Mattias Heinrich , Nicholas Heller , Alessa Hering , Arnaud Huaulmé , Hyunjeong Kim , Bennett Landman , Hongwei Bran Li , Jianning Li , Jun Ma , Anne Martel , Carlos Martín-Isla , Bjoern Menze , Chinedu Innocent Nwoye , Valentin Oreiller , Nicolas Padoy , Sarthak Pati , Kelly Payette , Carole Sudre , Kimberlin van Wijnen , Armine Vardazaryan , Tom Vercauteren , Martin Wagner , Chuanbo Wang , Moi Hoon Yap , Zeyun Yu , Chun Yuan , Maximilian Zenk , Aneeq Zia , David Zimmerer , Rina Bao , Chanyeol Choi , Andrew Cohen , Oleh Dzyubachyk , Adrian Galdran , Tianyuan Gan , Tianqi Guo , Pradyumna Gupta , Mahmood Haithami , Edward Ho , Ikbeom Jang , Zhili Li , Zhengbo Luo , Filip Lux , Sokratis Makrogiannis , Dominik Müller , Young-tack Oh , Subeen Pang , Constantin Pape , Gorkem Polat , Charlotte Rosalie Reed , Kanghyun Ryu , Tim Scherr , Vajira Thambawita , Haoyu Wang , Xinliang Wang , Kele Xu , Hung Yeh , Doyeob Yeo , Yixuan Yuan , Yan Zeng , Xin Zhao , Julian Abbing , Jannes Adam , Nagesh Adluru , Niklas Agethen , Salman Ahmed , Yasmina Al Khalil , Mireia Alenyà , Esa Alhoniemi , Chengyang An , Talha Anwar , Tewodros Weldebirhan Arega , Netanell Avisdris , Dogu Baran Aydogan , Yingbin Bai , Maria Baldeon Calisto , Berke Doga Basaran , Marcel Beetz , Cheng Bian , Hao Bian , Kevin Blansit , Louise Bloch , Robert Bohnsack , Sara Bosticardo , Jack Breen , Mikael Brudfors , Raphael Brüngel , Mariano Cabezas , Alberto Cacciola , Zhiwei Chen , Yucong Chen , Daniel Tianming Chen , Minjeong Cho , Min-Kook Choi , Chuantao Xie Chuantao Xie , Dana Cobzas , Julien Cohen-Adad , Jorge Corral Acero , Sujit Kumar Das , Marcela de Oliveira , Hanqiu Deng , Guiming Dong , Lars Doorenbos , Cory Efird , Sergio Escalera , Di Fan , Mehdi Fatan Serj , Alexandre Fenneteau , Lucas Fidon , Patryk Filipiak , René Finzel , Nuno R. Freitas , Christoph M. Friedrich , Mitchell Fulton , Finn Gaida , Francesco Galati , Christoforos Galazis , Chang Hee Gan , Zheyao Gao , Shengbo Gao , Matej Gazda , Beerend Gerats , Neil Getty , Adam Gibicar , Ryan Gifford , Sajan Gohil , Maria Grammatikopoulou , Daniel Grzech , Orhun Güley , Timo Günnemann , Chunxu Guo , Sylvain Guy , Heonjin Ha , Luyi Han , Il Song Han , Ali Hatamizadeh , Tian He , Jimin Heo , Sebastian Hitziger , SeulGi Hong , SeungBum Hong , Rian Huang , Ziyan Huang , Markus Huellebrand , Stephan Huschauer , Mustaffa Hussain , Tomoo Inubushi , Ece Isik Polat , Mojtaba Jafaritadi , SeongHun Jeong , Bailiang Jian , Yuanhong Jiang , Zhifan Jiang , Yueming Jin , Smriti Joshi , Abdolrahim Kadkhodamohammadi , Reda Abdellah Kamraoui , Inha Kang , Junghwa Kang , Davood Karimi , April Khademi , Muhammad Irfan Khan , Suleiman A. Khan , Rishab Khantwal , Kwang-Ju Kim , Timothy Kline , Satoshi Kondo , Elina Kontio , Adrian Krenzer , Artem Kroviakov , Hugo Kuijf , Satyadwyoom Kumar , Francesco La Rosa , Abhi Lad , Doohee Lee , Minho Lee , Chiara Lena , Hao Li , Ling Li , Xingyu Li , Fuyuan Liao , KuanLun Liao , Arlindo Limede Oliveira , Chaonan Lin , Shan Lin , Akis Linardos , Marius George Linguraru , Han Liu , Tao Liu , Di Liu , Yanling Liu , João Lourenço-Silva , Jingpei Lu , Jiangshan Lu , Imanol Luengo , Christina B. Lund , Huan Minh Luu , Yi Lv , Yi Lv , Uzay Macar , Leon Maechler , Sina Mansour L. , Kenji Marshall , Moona Mazher , Richard McKinley , Alfonso Medela , Felix Meissen , Mingyuan Meng , Dylan Miller , Seyed Hossein Mirjahanmardi , Arnab Mishra , Samir Mitha , Hassan Mohy-ud-Din , Tony Chi Wing Mok , Gowtham Krishnan Murugesan , Enamundram Naga Karthik , Sahil Nalawade , Jakub Nalepa , Mohamed Naser , Ramin Nateghi , Hammad Naveed , Quang-Minh Nguyen , Cuong Nguyen Quoc , Brennan Nichyporuk , Bruno Oliveira , David Owen , Jimut Bahan Pal , Junwen Pan , Wentao Pan , Winnie Pang , Bogyu Park , Vivek Pawar , Kamlesh Pawar , Michael Peven , Lena Philipp , Tomasz Pieciak , Szymon Plotka , Marcel Plutat , Fattaneh Pourakpour , Domen Preložnik , Kumaradevan Punithakumar , Abdul Qayyum , Sandro Queirós , Arman Rahmim , Salar Razavi , Jintao Ren , Mina Rezaei , Jonathan Adam Rico , ZunHyan Rieu , Markus Rink , Johannes Roth , Yusely Ruiz-Gonzalez , Numan Saeed , Anindo Saha , Mostafa Salem , Ricardo Sanchez-Matilla , Kurt Schilling , Wei Shao , Zhiqiang Shen , Ruize Shi , Pengcheng Shi , Daniel Sobotka , Théodore Soulier , Bella Specktor Fadida , Danail Stoyanov , Timothy Sum Hon Mun , Xiaowu Sun , Rong Tao , Franz Thaler , Antoine Théberge , Felix Thielke , Helena Torres , Kareem A. Wahid , Jiacheng Wang , YiFei Wang , Wei Wang , Xiong Wang , Jianhui Wen , Ning Wen , Marek Wodzinski , Ye Wu , Fangfang Xia , Tianqi Xiang , Chen Xiaofei , Lizhan Xu , Tingting Xue , Yuxuan Yang , Lin Yang , Kai Yao , Huifeng Yao , Amirsaeed Yazdani , Michael Yip , Hwanseung Yoo , Fereshteh Yousefirizi , Shunkai Yu , Lei Yu , Jonathan Zamora , Ramy Ashraf Zeineldin , Dewen Zeng , Jianpeng Zhang , Bokai Zhang , Jiapeng Zhang , Fan Zhang , Huahong Zhang , Zhongchen Zhao , Zixuan Zhao , Jiachen Zhao , Can Zhao , Qingshuo Zheng , Yuheng Zhi , Ziqi Zhou , Baosheng Zou , Klaus Maier-Hein , Paul F. Jäger , Annette Kopp-Schneider , Lena Maier-Hein

Though competitive analysis is often a very good tool for the analysis of online algorithms, sometimes it does not give any insight and sometimes it gives counter-intuitive results. Much work has gone into exploring other performance…

数据结构与算法 · 计算机科学 2017-06-14 Joan Boyar , Leah Epstein , Lene M. Favrholdt , Kim S. Larsen , Asaf Levin

In 2016, 2017, and 2018 at the IEEE Conference on Computational Intelligence in Games, the authors of this paper ran a competition for agents that can play classic text-based adventure games. This competition fills a gap in existing game AI…

人工智能 · 计算机科学 2019-01-25 Timothy Atkinson , Hendrik Baier , Tara Copplestone , Sam Devlin , Jerry Swan

This volume contains the post-proceedings of PLACES 2014, the seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, which was held in Grenoble, France, on April 12th 2014, and co-located with…

分布式、并行与集群计算 · 计算机科学 2014-06-13 Alastair F. Donaldson , Vasco T. Vasconcelos

The AI4GCC competition presents a bold step forward in the direction of integrating machine learning with traditional economic policy analysis. Below, we highlight two potential areas for improvement that could enhance the competition's…

人工智能 · 计算机科学 2023-08-11 Marco Jiralerspong , Gauthier Gidel

Planning under uncertainty is a central problem in the study of automated sequential decision making, and has been addressed by researchers in many different fields, including AI planning, decision analysis, operations research, control…

人工智能 · 计算机科学 2011-05-30 C. Boutilier , T. Dean , S. Hanks

Skillful mobile operation in three-dimensional environments is a primary topic of study in Artificial Intelligence. The past two years have seen a surge of creative work on navigation. This creative output has produced a plethora of…

In real-world applications, the ability to reason about incomplete knowledge, sensing, temporal notions, and numeric constraints is vital. While several AI planners are capable of dealing with some of these requirements, they are mostly…

人工智能 · 计算机科学 2022-07-21 Yaniel Carreno , Yvan Petillot , Ronald P. A. Petrick

Since 2015, the International Competition on Computational Models of Argumentation (ICCMA) provides a systematic comparison of the different algorithms for solving some classical reasoning problems in the domain of abstract argumentation.…

人工智能 · 计算机科学 2021-10-07 Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly , Julien Rossit

The Flatland Challenge, which was first held in 2019 and reported in NeurIPS 2020, is designed to answer the question: How to efficiently manage dense traffic on complex rail networks? Considering the significance of punctuality in…

机器人学 · 计算机科学 2023-06-13 Zhe Chen , Jiaoyang Li , Daniel Harabor , Peter J. Stuckey