Enregistré dans:
| Auteur principal: | Sidorov, Konstantin |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2602.15635 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
par: Sidorov, Konstantin, et autres
Publié: (2024)
par: Sidorov, Konstantin, et autres
Publié: (2024)
Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning
par: Le, Nguyen Cong Nhat, et autres
Publié: (2026)
par: Le, Nguyen Cong Nhat, et autres
Publié: (2026)
HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods
par: Zaidins, Paul, et autres
Publié: (2025)
par: Zaidins, Paul, et autres
Publié: (2025)
Calculating Ultra-Strong and Extended Solutions for Nine Men's Morris, Morabaraba, and Lasker Morris
par: Gévay, Gábor E., et autres
Publié: (2014)
par: Gévay, Gábor E., et autres
Publié: (2014)
Project Patti: Why can You Solve Diabolical Puzzles on one Sudoku Website but not Easy Puzzles on another Sudoku Website?
par: Eisenkolb-Vaithyanathan, Arman
Publié: (2025)
par: Eisenkolb-Vaithyanathan, Arman
Publié: (2025)
Comprehensive Taxonomies of Nature- and Bio-inspired Optimization: Inspiration versus Algorithmic Behavior, Critical Analysis and Recommendations (from 2020 to 2024)
par: Molina, Daniel, et autres
Publié: (2020)
par: Molina, Daniel, et autres
Publié: (2020)
Optimization of Activity Batching Policies in Business Processes
par: López-Pintado, Orlenys, et autres
Publié: (2025)
par: López-Pintado, Orlenys, et autres
Publié: (2025)
Requirements for Recognition and Rapid Response to Unfamiliar Events Outside of Agent Design Scope
par: Wray, Robert E., et autres
Publié: (2025)
par: Wray, Robert E., et autres
Publié: (2025)
VIGIL: A Reflective Runtime for Self-Healing Agents
par: Cruz, Christopher
Publié: (2025)
par: Cruz, Christopher
Publié: (2025)
Relevance Score: A Landmark-Like Heuristic for Planning
par: Kim, Oliver, et autres
Publié: (2024)
par: Kim, Oliver, et autres
Publié: (2024)
Integrating Explanations in Learning LTL Specifications from Demonstrations
par: Gupta, Ashutosh, et autres
Publié: (2024)
par: Gupta, Ashutosh, et autres
Publié: (2024)
Towards a Unified Framework for Sequential Decision Making
par: Núñez-Molina, Carlos, et autres
Publié: (2023)
par: Núñez-Molina, Carlos, et autres
Publié: (2023)
TrafficRAG: A Multimodal RAG Framework for Traffic Accident Liability Determination
par: Li, Xu, et autres
Publié: (2026)
par: Li, Xu, et autres
Publié: (2026)
Constrained Auto-Bidding via Generative Response Modeling
par: Yang, Eunseok, et autres
Publié: (2026)
par: Yang, Eunseok, et autres
Publié: (2026)
Can Semantic Methods Enhance Team Sports Tactics? A Methodology for Football with Broader Applications
par: Di Rubbo, Alessio, et autres
Publié: (2026)
par: Di Rubbo, Alessio, et autres
Publié: (2026)
Partially Observable Reference Policy Programming: Solving POMDPs Sans Numerical Optimisation
par: Kim, Edward, et autres
Publié: (2025)
par: Kim, Edward, et autres
Publié: (2025)
Sketch Decompositions for Classical Planning via Deep Reinforcement Learning
par: Aichmüller, Michael, et autres
Publié: (2024)
par: Aichmüller, Michael, et autres
Publié: (2024)
LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
par: George, Robert Joseph, et autres
Publié: (2025)
par: George, Robert Joseph, et autres
Publié: (2025)
EduQate: Generating Adaptive Curricula through RMABs in Education Settings
par: Tio, Sidney, et autres
Publié: (2024)
par: Tio, Sidney, et autres
Publié: (2024)
A Parallel Hybrid Action Space Reinforcement Learning Model for Real-world Adaptive Traffic Signal Control
par: Wang, Yuxuan, et autres
Publié: (2025)
par: Wang, Yuxuan, et autres
Publié: (2025)
Reducing Human-Robot Goal State Divergence with Environment Design
par: Sikes, Kelsey, et autres
Publié: (2024)
par: Sikes, Kelsey, et autres
Publié: (2024)
ChatGPT4PCG 2 Competition: Prompt Engineering for Science Birds Level Generation
par: Taveekitworachai, Pittawat, et autres
Publié: (2024)
par: Taveekitworachai, Pittawat, et autres
Publié: (2024)
Toward Constraint Compliant Goal Formulation and Planning
par: Jones, Steven J., et autres
Publié: (2024)
par: Jones, Steven J., et autres
Publié: (2024)
NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems
par: Núñez-Molina, Carlos, et autres
Publié: (2023)
par: Núñez-Molina, Carlos, et autres
Publié: (2023)
Learning to Select Goals in Automated Planning with Deep-Q Learning
par: Núñez-Molina, Carlos, et autres
Publié: (2024)
par: Núñez-Molina, Carlos, et autres
Publié: (2024)
Planning with affordances: Integrating learned affordance models and symbolic planning
par: Mangannavar, Rajesh
Publié: (2025)
par: Mangannavar, Rajesh
Publié: (2025)
AEROS: A Single-Agent Operating Architecture with Embodied Capability Modules
par: Qin, Xue, et autres
Publié: (2026)
par: Qin, Xue, et autres
Publié: (2026)
3D-Anchored Lookahead Planning for Persistent Robotic Scene Memory via World-Model-Based MCTS
par: Sidik, Bronislav, et autres
Publié: (2026)
par: Sidik, Bronislav, et autres
Publié: (2026)
To Help or Not to Help: LLM-based Attentive Support for Human-Robot Group Interactions
par: Tanneberg, Daniel, et autres
Publié: (2024)
par: Tanneberg, Daniel, et autres
Publié: (2024)
Dynamic Buffers: Cost-Efficient Planning for Tabletop Rearrangement with Stacking
par: Barghi, Arman, et autres
Publié: (2025)
par: Barghi, Arman, et autres
Publié: (2025)
GRIP: A Unified Framework for Grid-Based Relay and Co-Occurrence-Aware Planning in Dynamic Environments
par: Alanazi, Ahmed, et autres
Publié: (2025)
par: Alanazi, Ahmed, et autres
Publié: (2025)
Previous Knowledge Utilization In Online Anytime Belief Space Planning
par: Novitsky, Michael, et autres
Publié: (2024)
par: Novitsky, Michael, et autres
Publié: (2024)
Task and Motion Planning for Execution in the Real
par: Pan, Tianyang, et autres
Publié: (2024)
par: Pan, Tianyang, et autres
Publié: (2024)
Open-TI: Open Traffic Intelligence with Augmented Language Model
par: Da, Longchao, et autres
Publié: (2023)
par: Da, Longchao, et autres
Publié: (2023)
From Next Token Prediction to (STRIPS) World Models
par: Núñez-Molina, Carlos, et autres
Publié: (2025)
par: Núñez-Molina, Carlos, et autres
Publié: (2025)
PIRS: Physics-Informed Reward Shaping for SAC-Based Building Energy Management
par: Zaregarizi, Shadmehr, et autres
Publié: (2026)
par: Zaregarizi, Shadmehr, et autres
Publié: (2026)
Improving Industrial Injection Molding Processes with Explainable AI for Quality Classification
par: Rottenwalter, Georg, et autres
Publié: (2025)
par: Rottenwalter, Georg, et autres
Publié: (2025)
Novel Approaches to Artificial Intelligence Development Based on the Nearest Neighbor Method
par: Priezzhev, I. I., et autres
Publié: (2025)
par: Priezzhev, I. I., et autres
Publié: (2025)
Advancements in synthetic data extraction for industrial injection molding
par: Rottenwalter, Georg, et autres
Publié: (2025)
par: Rottenwalter, Georg, et autres
Publié: (2025)
Predicting Future Actions of Reinforcement Learning Agents
par: Chung, Stephen, et autres
Publié: (2024)
par: Chung, Stephen, et autres
Publié: (2024)
Documents similaires
-
How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
par: Sidorov, Konstantin, et autres
Publié: (2024) -
Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning
par: Le, Nguyen Cong Nhat, et autres
Publié: (2026) -
HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods
par: Zaidins, Paul, et autres
Publié: (2025) -
Calculating Ultra-Strong and Extended Solutions for Nine Men's Morris, Morabaraba, and Lasker Morris
par: Gévay, Gábor E., et autres
Publié: (2014) -
Project Patti: Why can You Solve Diabolical Puzzles on one Sudoku Website but not Easy Puzzles on another Sudoku Website?
par: Eisenkolb-Vaithyanathan, Arman
Publié: (2025)