A Formalism for Optimal Search with Dynamic Heuristics (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Christen, Remo, Pommerening, Florian, Büchner, Clemens, Helmert, Malte
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
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)

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)

Bidirectional Bounded-Suboptimal Heuristic Search with Consistent Heuristics
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)

Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
di: Chen, Dillon Z., et al.
Pubblicazione: (2025)

Comprehensive Autonomous Vehicle Optimal Routing With Dynamic Heuristics
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)

Recommending Actionable Strategies: A Semantic Approach to Integrating Analytical Frameworks with Decision Heuristics
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)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
di: Schön, Oliver, et al.
Pubblicazione: (2025)

Heuristic Search for Multi-Objective Probabilistic Planning
di: Chen, Dillon, et al.
Pubblicazione: (2023)

The Explanation Game -- Rekindled (Extended Version)
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)

Subgoal-Guided Policy Heuristic Search with Learned Subgoals
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)

Vulcan: Instance-Optimal Systems Heuristics Through LLM-Driven Search
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)

Latent Heuristic Search: Continuous Optimization for Automated Algorithm Design
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)

Petri Net Induced Heuristic Search for Resource Constrained Scheduling
di: Lublin, Ido, et al.
Pubblicazione: (2026)

Heuristic Search for Path Finding with Refuelling
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)

Monitoring Data-aware Temporal Properties (Extended Version)
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)

HUGO -- Highlighting Unseen Grid Options: Combining Deep Reinforcement Learning with a Heuristic Target Topology Approach
di: Lehna, Malte, et al.
Pubblicazione: (2024)

Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
di: Khan, Shakil M., et al.
Pubblicazione: (2024)

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
di: Micheli, Andrea, et al.
Pubblicazione: (2026)

Safe Learning of PDDL Domains with Conditional Effects -- Extended Version
di: Mordoch, Argaman, et al.
Pubblicazione: (2024)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
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)

A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
di: Thielscher, Michael, et al.
Pubblicazione: (2026)

Operationalising Extended Cognition: Formal Metrics for Corporate Knowledge and Legal Accountability
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)

Improving Learnt Local MAPF Policies with Heuristic Search
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)

Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
di: Gorczyca, Piotr, et al.
Pubblicazione: (2025)

Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version
di: Andrews, Uri, et al.
Pubblicazione: (2026)