Image de couverture de livre

Parallel Lifted Planning via Semi-Naive Datalog Evaluation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Drexler, Dominik, Joergensen, Oliver, Seipp, Jendrik
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Dynamic Tree Databases in Automated Planning
par: Joergensen, Oliver, et autres
Publié: (2025)

LLM-Evolved Pattern Generators for Optimal Classical Planning
par: Phung, Windy, et autres
Publié: (2026)

Lifted Successor Generation in Numeric Planning
par: Drexler, Dominik
Publié: (2025)

LLM-Evolved Domain-Independent Heuristics for Symbolic AI Planning
par: Gestrin, Elliot, et autres
Publié: (2026)

NL2Plan: Robust LLM-Driven Planning from Minimal Text Descriptions
par: Gestrin, Elliot, et autres
Publié: (2024)

Symmetry-Aware Transformer Training for Automated Planning
par: Fritzsche, Markus, et autres
Publié: (2025)

Consolidating LAMA with Best-First Width Search
par: Corrêa, Augusto B., et autres
Publié: (2024)

Property-Guided LLM Program Synthesis for Planning
par: Pereira, André G., et autres
Publié: (2026)

Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code
par: Corrêa, Augusto B., et autres
Publié: (2025)

Frontier Large Language Models Rival State-of-the-Art Planners
par: Corrêa, Augusto B., et autres
Publié: (2025)

Reinforcement Learning for Long-Horizon Unordered Tasks: From Boolean to Coupled Reward Machines
par: Levina, Kristina, et autres
Publié: (2025)

Reinforcement Learning with Reward Machines for Sleep Control in Mobile Networks
par: Levina, Kristina, et autres
Publié: (2026)

Numeric Reward Machines
par: Levina, Kristina, et autres
Publié: (2024)

On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies
par: Bonet, Blai, et autres
Publié: (2024)

Incremental Maintenance of DatalogMTL Materialisations
par: Zhao, Kaiyue, et autres
Publié: (2025)

Symmetries and Expressive Requirements for Learning General Policies
par: Drexler, Dominik, et autres
Publié: (2024)

Grounding Rule-Based Argumentation Using Datalog
par: Diller, Martin, et autres
Publié: (2025)

Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction
par: Shah, Swapn, et autres
Publié: (2026)

Goal-Driven Reasoning in DatalogMTL with Magic Sets
par: Wang, Shaoyu, et autres
Publié: (2024)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
par: Qureshi, Haya Majid, et autres
Publié: (2024)

Inconsistency Handling in DatalogMTL
par: Bienvenu, Meghyn, et autres
Publié: (2025)

On the Boolean Network Theory of Datalog$^\neg$
par: Trinh, Van-Giang, et autres
Publié: (2025)

Capability Safety as Datalog: A Foundational Equivalence
par: Spera, Cosimo
Publié: (2026)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
par: Lanzinger, Matthias, et autres
Publié: (2024)

Learning Domain-Independent Heuristics for Grounded and Lifted Planning
par: Chen, Dillon Z., et autres
Publié: (2023)

Two Constraint Compilation Methods for Lifted Planning
par: Mantenoglou, Periklis, et autres
Publié: (2025)

Differentiable Learning of Lifted Action Schemas for Classical Planning
par: Reiter, Jonas, et autres
Publié: (2026)

Code and experiment data from the NeurIPS 2025 paper "Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code"
par: Corrêa, Augusto B., et autres
Publié: (2025)

Lifted Relational Probabilistic Inference via Implicit Learning
par: Ge, Luise, et autres
Publié: (2026)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
par: Mantenoglou, Periklis
Publié: (2026)

Lifting Embodied World Models for Planning and Control
par: Wang, Alex N., et autres
Publié: (2026)

Fast Monte Carlo Tree Diffusion: 100x Speedup via Parallel Sparse Planning
par: Yoon, Jaesik, et autres
Publié: (2025)

Naïve Bayes and Random Forest for Crop Yield Prediction
par: Maazallahi, Abbas, et autres
Publié: (2024)

Defeasible Reasoning via Datalog$^\neg$
par: Maher, Michael J.
Publié: (2021)

Naïve PAINE: Lightweight Text-to-Image Generation Improvement with Prompt Evaluation
par: Kim, Joong Ho, et autres
Publié: (2026)

Plan-over-Graph: Towards Parallelable LLM Agent Schedule
par: Zhang, Shiqi, et autres
Publié: (2025)

PixLift: Accelerating Web Browsing via AI Upscaling
par: Atinafu, Yonas, et autres
Publié: (2025)

Meta-operators for Enabling Parallel Planning Using Deep Reinforcement Learning
par: Aso-Mollar, Ángel, et autres
Publié: (2024)

Evaluating the Search Agent in a Parallel World
par: Chen, Jiawei, et autres
Publié: (2026)

NormCode: A Semi-Formal Language for Auditable AI Planning
par: Guan, Xin, et autres
Publié: (2025)