English
Related papers

Related papers: Rational Deployment of Multiple Heuristics in IDA*

200 papers

In most real-world settings, due to limited time or other resources, an agent cannot perform all potentially useful deliberation and information gathering actions. This leads to the metareasoning problem of selecting such actions.…

Artificial Intelligence · Computer Science 2007-05-23 Vincent Conitzer , Tuomas Sandholm

We introduce Lazy-DaSH, an improvement over the recent state of the art multi-robot task and motion planning method DaSH, which scales to more than double the number of robots and objects compared to the original method and achieves an…

Robotics · Computer Science 2025-10-28 Seongwon Lee , James Motes , Isaac Ngui , Marco Morales , Nancy M. Amato

We describe how to convert the heuristic search algorithm A* into an anytime algorithm that finds a sequence of improved solutions and eventually converges to an optimal solution. The approach we adopt uses weighted heuristic search to find…

Artificial Intelligence · Computer Science 2011-10-13 E. A. Hansen , R. Zhou

Logical frameworks based on intuitionistic or linear logics with higher-type quantification have been successfully used to give high-level, modular, and formal specifications of many important judgments in the area of programming languages…

Logic in Computer Science · Computer Science 2007-05-23 Raymond C. McDowell , Dale A. Miller

Heuristic search is a powerful approach that has successfully been applied to a broad class of planning problems, including classical planning, multi-objective planning, and probabilistic planning modelled as a stochastic shortest path…

Artificial Intelligence · Computer Science 2024-10-29 Dillon Chen , Felipe Trevizan , Sylvie Thiébaux

Recently, the iterative approach named linear tabling has received considerable attention because of its simplicity, ease of implementation, and good space efficiency. Linear tabling is a framework from which different methods can be…

Programming Languages · Computer Science 2007-05-25 Neng-Fa Zhou , Taisuke Sato , Yi-Dong Shen

Multi-objective optimizations are frequently encountered in engineering practices. The solution techniques and parametric selections however are usually problem-specific. In this study we formulate a reinforcement learning hyper-heuristic…

Machine Learning · Computer Science 2018-12-20 Pei Cao , Jiong Tang

In the last few years, the formulation of real-world optimization problems and their efficient solution via metaheuristic algorithms has been a catalyst for a myriad of research studies. In spite of decades of historical advancements on the…

Multi-hop claim verification is inherently challenging, requiring multi-step reasoning to construct verification chains while iteratively searching for information to uncover hidden bridging facts. This process is fundamentally interleaved,…

Artificial Intelligence · Computer Science 2025-08-01 Qisheng Hu , Quanyu Long , Wenya Wang

Open-domain question answering over datalakes requires retrieving and composing information from multiple tables, a challenging subtask that demands semantic relevance and structural coherence (e.g., joinability). While exact optimization…

Information Retrieval · Computer Science 2025-11-18 Allaa Boutaleb , Bernd Amann , Rafael Angarita , Hubert Naacke

Peer review is a cornerstone of quality control in scientific publishing. With the increasing workload, the unintended use of `quick' heuristics, referred to as lazy thinking, has emerged as a recurring issue compromising review quality.…

Computation and Language · Computer Science 2025-06-04 Sukannya Purkayastha , Zhuang Li , Anne Lauscher , Lizhen Qu , Iryna Gurevych

This first chapter intends to review and analyze the powerful new Harmony Search (HS) algorithm in the context of metaheuristic algorithms. I will first outline the fundamental steps of Harmony Search, and how it works. I then try to…

Optimization and Control · Mathematics 2010-03-10 Xin-She Yang

Reinforcement Learning has achieved tremendous success in the many Atari games. In this paper we explored with the lunar lander environment and implemented classical methods including Q-Learning, SARSA, MC as well as tiling coding. We also…

Machine Learning · Computer Science 2024-05-02 Qinru Li , Hao Xiang

An important aspect of artificial intelligence (AI) is the ability to reason in a step-by-step "algorithmic" manner that can be inspected and verified for its correctness. This is especially important in the domain of question answering…

Artificial Intelligence · Computer Science 2021-11-08 Kwabena Nuamah

Current sparse neural information retrieval (IR) methods, and to a lesser extent more traditional models such as BM25, do not take into account the document collection and the complex interplay between different term weights when…

Information Retrieval · Computer Science 2025-05-08 Arthur Satouf , Gabriel Ben Zenou , Benjamin Piwowarski , Habiboulaye Amadou Boubacar , Pablo Piantanida

Low-rank adaptations (LoRA) are widely used to fine-tune large models across various domains for specific downstream tasks. While task-specific LoRAs are often available, concerns about data privacy and intellectual property can restrict…

Machine Learning · Computer Science 2025-04-16 Hongxu Chen , Runshi Li , Bowei Zhu , Zhen Wang , Long Chen

I pinpoint an interesting similarity between a recent account to rational parsing and the treatment of sequential decisions problems in a dynamical systems approach. I argue that expectation-driven search heuristics aiming at fast…

Computation and Language · Computer Science 2012-09-28 Peter beim Graben

Metacognition is the concept of reasoning about an agent's own internal processes, and it has recently received renewed attention with respect to artificial intelligence (AI) and, more specifically, machine learning systems. This paper…

Artificial Intelligence · Computer Science 2025-08-11 Paulo Shakarian , Gerardo I. Simari , Nathaniel D. Bastian

Metaheuristic algorithms are essential for solving complex optimization problems in different fields. However, the difficulty in comparing and rating these algorithms remains due to the wide range of performance metrics and problem…

Neural and Evolutionary Computing · Computer Science 2024-11-28 Evgenia-Maria K. Goula , Dimitris G. Sotiropoulos

Meta-heuristic techniques are important as they are used to find solutions to computationally intractable problems. Simplistic methods such as exhaustive search become computationally expensive and unreliable as the solution space for…

Neural and Evolutionary Computing · Computer Science 2021-06-29 Patrick Kenekayoro
‹ Prev 1 4 5 6 7 8 10 Next ›