A Formalism for Optimal Search with Dynamic Heuristics (Extended Version)
Fuente:
arXiv
Salvato in:
| Autori principali: | Christen, Remo, Pommerening, Florian, Büchner, Clemens, Helmert, Malte |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Pseudo-Boolean Proof Logging for Optimal Classical Planning
di: Dold, Simon, et al.
Pubblicazione: (2025)
di: Dold, Simon, et al.
Pubblicazione: (2025)
Planning as Goal Recognition: Deriving Heuristics from Intention Models -- Extended Version
di: Rosa, Giacomo, et al.
Pubblicazione: (2026)
di: Rosa, Giacomo, et al.
Pubblicazione: (2026)
An Extended Jump Functions Benchmark for the Analysis of Randomized Search Heuristics
di: Bambury, Henry, et al.
Pubblicazione: (2021)
di: Bambury, Henry, et al.
Pubblicazione: (2021)
A Fast Heuristic Search Approach for Energy-Optimal Profile Routing for Electric Vehicles
di: Ahmadi, Saman, et al.
Pubblicazione: (2025)
di: Ahmadi, Saman, et al.
Pubblicazione: (2025)
Tree of Thoughts as a Classical Heuristic Search Problem: Formal Foundations and Design Patterns
di: Sharon, Guni
Pubblicazione: (2026)
di: Sharon, Guni
Pubblicazione: (2026)
Bidirectional Bounded-Suboptimal Heuristic Search with Consistent Heuristics
di: Shperberg, Shahaf S., et al.
Pubblicazione: (2025)
di: Shperberg, Shahaf S., et al.
Pubblicazione: (2025)
Privacy in Practice: Private COVID-19 Detection in X-Ray Images (Extended Version)
di: Lange, Lucas, et al.
Pubblicazione: (2022)
di: Lange, Lucas, et al.
Pubblicazione: (2022)
Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
di: Chen, Dillon Z., et al.
Pubblicazione: (2025)
di: Chen, Dillon Z., et al.
Pubblicazione: (2025)
Comprehensive Autonomous Vehicle Optimal Routing With Dynamic Heuristics
di: V, Ragav, et al.
Pubblicazione: (2024)
di: V, Ragav, et al.
Pubblicazione: (2024)
From Extraction to Synthesis: Entangled Heuristics for Agent-Augmented Strategic Reasoning
di: Ghisellini, Renato, et al.
Pubblicazione: (2025)
di: Ghisellini, Renato, et al.
Pubblicazione: (2025)
Recommending Actionable Strategies: A Semantic Approach to Integrating Analytical Frameworks with Decision Heuristics
di: Ghisellini, Renato, et al.
Pubblicazione: (2025)
di: Ghisellini, Renato, et al.
Pubblicazione: (2025)
Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers
di: Wang, Haoyu, et al.
Pubblicazione: (2026)
di: Wang, Haoyu, et al.
Pubblicazione: (2026)
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
di: Schön, Oliver, et al.
Pubblicazione: (2025)
di: Schön, Oliver, et al.
Pubblicazione: (2025)
Heuristic Search for Multi-Objective Probabilistic Planning
di: Chen, Dillon, et al.
Pubblicazione: (2023)
di: Chen, Dillon, et al.
Pubblicazione: (2023)
The Explanation Game -- Rekindled (Extended Version)
di: Marques-Silva, Joao, et al.
Pubblicazione: (2025)
di: Marques-Silva, Joao, et al.
Pubblicazione: (2025)
SQL-o1: A Self-Reward Heuristic Dynamic Search Method for Text-to-SQL
di: Lyu, Shuai, et al.
Pubblicazione: (2025)
di: Lyu, Shuai, et al.
Pubblicazione: (2025)
Subgoal-Guided Policy Heuristic Search with Learned Subgoals
di: Tuero, Jake, et al.
Pubblicazione: (2025)
di: Tuero, Jake, et al.
Pubblicazione: (2025)
Combining Monte Carlo Tree Search and Heuristic Search for Weighted Vertex Coloring
di: Grelier, Cyril, et al.
Pubblicazione: (2023)
di: Grelier, Cyril, et al.
Pubblicazione: (2023)
Vulcan: Instance-Optimal Systems Heuristics Through LLM-Driven Search
di: Dwivedula, Rohit, et al.
Pubblicazione: (2025)
di: Dwivedula, Rohit, et al.
Pubblicazione: (2025)
Planning of Heuristics: Strategic Planning on Large Language Models with Monte Carlo Tree Search for Automating Heuristic Optimization
di: Wang, Hui, et al.
Pubblicazione: (2025)
di: Wang, Hui, et al.
Pubblicazione: (2025)
Latent Heuristic Search: Continuous Optimization for Automated Algorithm Design
di: Ahmed, Cheikh, et al.
Pubblicazione: (2026)
di: Ahmed, Cheikh, et al.
Pubblicazione: (2026)
Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning
di: Chen, Dillon Z., et al.
Pubblicazione: (2024)
di: Chen, Dillon Z., et al.
Pubblicazione: (2024)
Petri Net Induced Heuristic Search for Resource Constrained Scheduling
di: Lublin, Ido, et al.
Pubblicazione: (2026)
di: Lublin, Ido, et al.
Pubblicazione: (2026)
Heuristic Search for Path Finding with Refuelling
di: Zhao, Shizhe, et al.
Pubblicazione: (2023)
di: Zhao, Shizhe, et al.
Pubblicazione: (2023)
MMP-A*: Multimodal Perception Enhanced Incremental Heuristic Search on Path Planning
di: Ha, Minh Hieu, et al.
Pubblicazione: (2026)
di: Ha, Minh Hieu, et al.
Pubblicazione: (2026)
Monitoring Data-aware Temporal Properties (Extended Version)
di: Gianola, Alessandro, et al.
Pubblicazione: (2026)
di: Gianola, Alessandro, et al.
Pubblicazione: (2026)
A Parallel CPU-GPU Framework for Batching Heuristic Operations in Depth-First Heuristic Search
di: Futuhi, Ehsan, et al.
Pubblicazione: (2025)
di: Futuhi, Ehsan, et al.
Pubblicazione: (2025)
HUGO -- Highlighting Unseen Grid Options: Combining Deep Reinforcement Learning with a Heuristic Target Topology Approach
di: Lehna, Malte, et al.
Pubblicazione: (2024)
di: Lehna, Malte, et al.
Pubblicazione: (2024)
Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
di: Khan, Shakil M., et al.
Pubblicazione: (2024)
di: Khan, Shakil M., et al.
Pubblicazione: (2024)
Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
di: Micheli, Andrea, et al.
Pubblicazione: (2026)
di: Micheli, Andrea, et al.
Pubblicazione: (2026)
Safe Learning of PDDL Domains with Conditional Effects -- Extended Version
di: Mordoch, Argaman, et al.
Pubblicazione: (2024)
di: Mordoch, Argaman, et al.
Pubblicazione: (2024)
Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
di: Blümel, Lydia, et al.
Pubblicazione: (2024)
di: Blümel, Lydia, et al.
Pubblicazione: (2024)
Beyond Single-Step Updates: Reinforcement Learning of Heuristics with Limited-Horizon Search
di: Hadar, Gal, et al.
Pubblicazione: (2025)
di: Hadar, Gal, et al.
Pubblicazione: (2025)
A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
di: Thielscher, Michael, et al.
Pubblicazione: (2026)
di: Thielscher, Michael, et al.
Pubblicazione: (2026)
Operationalising Extended Cognition: Formal Metrics for Corporate Knowledge and Legal Accountability
di: Perrier, Elija
Pubblicazione: (2025)
di: Perrier, Elija
Pubblicazione: (2025)
A Heuristic Algorithm Based on Beam Search and Iterated Local Search for the Maritime Inventory Routing Problem
di: Sanghikian, Nathalie, et al.
Pubblicazione: (2025)
di: Sanghikian, Nathalie, et al.
Pubblicazione: (2025)
Improving Learnt Local MAPF Policies with Heuristic Search
di: Veerapaneni, Rishi, et al.
Pubblicazione: (2024)
di: Veerapaneni, Rishi, et al.
Pubblicazione: (2024)
PDDL Axioms Are Equivalent to Least Fixed Point Logic (Extended Version)
di: Grundke, Claudia, et al.
Pubblicazione: (2025)
di: Grundke, Claudia, et al.
Pubblicazione: (2025)
Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
di: Gorczyca, Piotr, et al.
Pubblicazione: (2025)
di: Gorczyca, Piotr, et al.
Pubblicazione: (2025)
Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version
di: Andrews, Uri, et al.
Pubblicazione: (2026)
di: Andrews, Uri, et al.
Pubblicazione: (2026)
Documenti analoghi
-
Pseudo-Boolean Proof Logging for Optimal Classical Planning
di: Dold, Simon, et al.
Pubblicazione: (2025) -
Planning as Goal Recognition: Deriving Heuristics from Intention Models -- Extended Version
di: Rosa, Giacomo, et al.
Pubblicazione: (2026) -
An Extended Jump Functions Benchmark for the Analysis of Randomized Search Heuristics
di: Bambury, Henry, et al.
Pubblicazione: (2021) -
A Fast Heuristic Search Approach for Energy-Optimal Profile Routing for Electric Vehicles
di: Ahmadi, Saman, et al.
Pubblicazione: (2025) -
Tree of Thoughts as a Classical Heuristic Search Problem: Formal Foundations and Design Patterns
di: Sharon, Guni
Pubblicazione: (2026)